HackerLinks pulls useful tools, books, products, talks, hardware, and other finds out of sprawling Hacker News threads—then saves the context that made each one worth a look.
Get the daily finds@hn_links_bot5 useful finds without the thread-diving—each with the Hacker News context that made it worth saving.
.NET decompiler praised for inspecting NuGet packages and uncovering implementation gaps.
Source discussion: REA Reverse – Engineer Anything
“With C#, whenever codex need some info about the packages we use, it just use ILSpy to decompile the nuget instead of checking the docs. its much effective though. Even in my own packages, it use to gave back the bugs or gaps that i need to patch up.”
sreekanth850 · recommendation · first hand use
Direct HN comment
Rust verification toolchain translating programs into functional models for proof assistants.
Source discussion: Compiling Rust to readable C with Eurydice
“I highly recommend checking out the other projects from AeneasVerif (and Jonathan Protzenko). Scylla is kind of Eurydice's dual. But also Charon and the eponymous Aeneas.”
weinzierl · recommendation
Direct HN comment
Worked implementations for learning how dependent-type elaboration operates under the hood.
Source discussion: What mathematicians should know about the Lean Theorem Prover: reliability & AI
“And if you want to see worked examples elaboration of dependent types then the `elaboration-zoo` is a great thing to look at:”
solomonb · recommendation
Direct HN comment
Code-driven 3D modeller praised for productive geometric designs and fabric printing.
Source discussion: OpenSCAD the Programmers Solid 3D CAD Modeller
“I have been using OpenSCAD to create cool geometric designs for 3D printing on fabric, with great results. The functional model is likely unfamiliar to most developers, but I have found that I can be efficient and productive with it.”
jeffbarr · recommendation · first hand use
Direct HN comment
CadQuery editor recommended as an easy entry point to Python-based CAD.
Source discussion: OpenSCAD the Programmers Solid 3D CAD Modeller
“(I recommend CQ-editor for an easy install:”
wren6991 · recommendation
Direct HN comment