Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
✅formal methods
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·15h·
Discuss: Hacker News
🔄compilers
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
✅formal methods
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3d·
Discuss: Hacker News
🔄compilers
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·1d·
Discuss: Hacker News
✅formal methods
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
✅formal methods
libsemigroups: C++ library for semigroups and monoids
github.com·2d·
Discuss: Hacker News, r/cpp
✅formal methods
A Gentle Introduction To Fortran
hackaday.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Writing Your Own Simple Tab-Completions for Bash and Zsh
mill-build.org·3h·
Discuss: Hacker News, r/programming
🔄compilers
Radiofrequency radiation injures trees around mobile phone base stations (2016)
pubmed.ncbi.nlm.nih.gov·21h·
Discuss: Hacker News
✅formal methods
Arenas in Rust
russellw.github.io·1d·
Discuss: Hacker News
🔄compilers
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d·
Discuss: Lobsters, Hacker News
🔄compilers
A New Concurrent ML in Guile Scheme
wingolog.org·2d·
Discuss: Hacker News
✅formal methods
In Support Of Shitty Types
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
✅formal methods
The hiring test that defeated AI
bitecode.dev·1d·
Discuss: Hacker News
⚙️systems programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
🔄compilers
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🔄compilers
The Generativity Pattern in Rust
arhan.sh·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Cross-Entropy. Intuition and Applications
hclimente.eu·8h·
Discuss: Hacker News
⚙️systems programming
Lexiq – Learn English for Computer Science with Quizzes and Flashcards
lexiq.etudionet.life·9h·
Discuss: Hacker News
🔄compilers