Let's Help NetBSD Cross the Finish Line Before 2025 Ends
mail-index.netbsd.org
10k Downloadable Movie Posters From The 40s, 50s, 60s, and 70s
hrc.contentdm.oclc.org
The bug that taught me more about PyTorch than years of using it
elanapearl.github.io
Asbestosis
diamondgeezer.blogspot.com
A worker fell into a nuclear reactor pool
nrc.gov
Eavesdropping on Internal Networks via Unencrypted Satellites
satcom.sysnet.ucsd.edu
You Already Have a Git Server
maurycyz.com
Connect to a 1980s Atari BBS through the web
southernamis.com
Clojure Land – Discover open-source Clojure libraries and frameworks
clojure.land
The Linux Boot Process: From Power Button to Kernel
0xkato.xyz
Writing a RISC-V Emulator in Rust
book.rvemu.app
Advent of Code 2025: Number of puzzles reduce from 25 to 12 for the first time
adventofcode.com
LaserTweezer – Optical Trap
gaudi.ch
Torchcomms: A modern PyTorch communications API
pytorch.org
The FSF considers large language models
lwn.net
D2: Diagram Scripting Language
d2lang.com
The Journey Before main()
amit.prasad.me
PCB Edge USB C Connector Library
github.com
NextSilicon reveals new processor chip in challenge to Intel, AMD
reuters.com
Project Amplify: Powered footwear for running and walking
about.nike.com
Bitmovin (YC S15) Is Hiring Engineering ICs and Managers in Europe
bitmovin.com
Since LLMs are great at coding but bad at logic, maybe an approach like this can bridge the gap? So first let it translate natural language to a formal language, from there allow it to use a logic engine to make verifiable transformations (correctness-preserving), and finally translate back to natural language.