Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·1d·
Discuss: Hacker News
📝Lisp
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·1d·
Discuss: Hacker News
🏗️Software Architecture
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.com·15h·
Discuss: www.blogger.com
🦀Rust
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·1d·
Discuss: Hacker News, r/cpp
🏗Computer Architecture
Flag this post
Prog8
github.com·59m·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·11h
✅Formal Verification
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Using eBPF to attribute packet drops to netfilter rules
developers.redhat.com·1d
🔌Network Programming
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·19h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·4h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
📈Complexity Theory
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Analysis of NGate malware campaign (NFC relay)
cert.pl·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Reflections of Hacktoberfest
dev.to·21h·
Discuss: DEV
👐Open Source Software
Flag this post
Learning C As An Intermediate
reddit.com·2d·
Discuss: r/C_Programming
📝Lisp
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·21h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
🔗Parser Combinators
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·3h·
Discuss: DEV
🧩Theorem Proving
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·9h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post