Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·17h·
Discuss: Hacker News
🔧Compiler Design
Machine Learning Fundamentals: logistic regression tutorial
dev.to·8h·
Discuss: DEV
🎲Probabilistic Programming
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🔗Parser Combinators
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
I can write nested loops and they work, but I feel like I'm missing the deeper intuition. I’m hoping to hear from others who’ve had that “aha!” moment with nest...
reddit.com·1h·
Discuss: r/C_Programming
📝Lisp
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·9h
🦀Rust
Partner with the AI, throw away the code
martinfowler.com·1d
🧩Theorem Proving
Review of CWE-843 Type Confusion Vulnerability and Exploit
dev.to·5h·
Discuss: DEV
🧠Memory Management
Announcing Precomputed Reachability Analysis in Socket
socket.dev·2d·
Discuss: Hacker News
✅Formal Verification
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·1d·
Discuss: DEV
🏗Computer Architecture
Constraint Catalog
sofdem.github.io·21h
🎯Constraint Programming
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·12h
🎲Probabilistic Programming
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
'Hello world' in Bismuth
enikofox.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
LLMs' AI-Generated Code Remains Wildly Insecure
darkreading.com·8h
🔧Compiler Design
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
July: The Rest of the Story - JVM Weekly vol. 139
jvm-weekly.com·1d
🔧Compiler Design