Zetk: CLI utilities, fzf-based scripts, C++ lib for managing your Zettelkasten Zettelkasten notes implemented as a library with a set of CLI utils https://news.ycombinator.com/item?id=31969931 Tags: zettelkasten, software, personal-knowledge, application, tool, cli, fzf, search, wiki, imported, hacker-news Id: 5017abd4-fb79-11ec-ad8c-0242ac110003 Read: Sun Jul 3 18:38:57 2022 Show HN: C3 – A C alternative that looks like C https://news.ycombinator.com/item?id=32005678 Tags: imported, hacker-news Id: d665c1c0-c1a4-11ed-a153-0242ac110004 Read: Wed Jul 6 19:31:01 2022 Formally Verifying Industry Cryptography https://news.

Connecting from Python to C, using Cython Have a look at the generate-kat-core repo. At the time of writing, it’s not open-source yet. Takeaways Automate the creation of the library Create a make goal to: Copy the library LIBRARY from its origin to its destination Compile the cython code Execute the above when executing the test goal (to always have an up-to-date version when committing) If needed, in PyCharm, require the test configuration to execute the make goal first (as a prerequisite)

Meet developers 1:1 every week and team up on projects https://news.ycombinator.com/item?id=31627089 Tags: imported, hacker-news Id: 96b84628-c1a0-11ed-b3f2-0242ac110004 Read: Sun Jun 5 01:42:05 2022 AirPlay and Touch Bar = Network Disaster An account of the interaction between AirPlay and Touch Bar (in mac) https://news.ycombinator.com/item?id=31706283 Tags: airplay, debugging, touch-bar, mac-os, imported, hacker-news Id: f82bd9d0-ebf2-11ec-a47b-0242ac110003 Read: Sat Jun 11 17:31:03 2022 Cython: Extension types How to create a Cython class that can wrap a cdef field.

Trunk – Build, bundle and ship your rust WASM application to the web https://news.ycombinator.com/item?id=31463454 Tags: imported, hacker-news Id: 946cb19c-c1a0-11ed-9794-0242ac110004 Read: Sun May 22 00:00:29 2022

Hexagonal Architecture and Domain Driven Design https://news.ycombinator.com/item?id=30999322 Tags: imported, hacker-news Id: 9210a1a6-c1a0-11ed-a323-0242ac110004 Read: Tue Apr 12 06:29:35 2022

Show HN: My Book Bulletproof TLS and PKI (Second Edition) Is Out https://news.ycombinator.com/item?id=30529727 Tags: imported, hacker-news Id: 4ca532b2-c1a0-11ed-8343-0242ac110004 Read: Wed Mar 2 17:10:32 2022 Show HN: My Book Bulletproof TLS and PKI (Second Edition) Is Out https://news.ycombinator.com/item?id=30529727 Tags: imported, hacker-news Id: 759a178c-c1a0-11ed-be9f-0242ac110004 Read: Wed Mar 2 17:10:32 2022 Minimal Viable Product is old and busted https://news.ycombinator.com/item?id=30642452 Tags: imported, hacker-news Id: 8f7db8ca-c1a0-11ed-a571-0242ac110004 Read: Fri Mar 11 16:58:34 2022 Programming Languages and Learning https://news.