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·3d
⚙Functional Programming
One Bug, Many Faces: Understanding Every Type of Race Condition Vulnerability
dev.to·1h·
Discuss: DEV
🤝Protocol Design
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
🔧Compiler Design
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2d
🔗Parser Combinators
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Notes and Takes from Computer Systems, A Programmer's Perspective - Chapter 1, from a Non-CS Grad
youtube.com·1d·
Discuss: DEV
🏗Computer Architecture
Machine Learning Fundamentals: logistic regression tutorial
dev.to·17h·
Discuss: DEV
🎲Probabilistic Programming
Partner with the AI, throw away the code
martinfowler.com·1d
🧩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·11h·
Discuss: r/C_Programming
📝Lisp
Announcing Precomputed Reachability Analysis in Socket
socket.dev·2d·
Discuss: Hacker News
✅Formal Verification
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·22h
🎲Probabilistic Programming
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·19h
🦀Rust
Compilers vs Interpreters: Understanding How Code Gets Executed
dev.to·1d·
Discuss: DEV
🔧Compiler Design
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·16h·
Discuss: DEV
🧩Theorem Proving
'Hello world' in Bismuth
enikofox.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
LLMs' AI-Generated Code Remains Wildly Insecure
darkreading.com·17h
🔧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