In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·7h
🦠Malware Analysis
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·23h·
Discuss: DEV
🦀Rust Borrowing
BNFGen: A random text generator based on context-free grammars
baturin.org·1h·
Discuss: Hacker News
🌳Context free grammars
LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1h·
Discuss: Hacker News
⚡Proof Automation
How to (Almost) solve cybersecurity once and for all
adaptive.live·23h·
Discuss: Hacker News
🔐Systems Hardening
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🎯Gradual Typing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·6h·
Discuss: DEV
🤖Lisp Machines
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·5h·
Discuss: DEV
📏Code Metrics
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems