LLMs and Algorithmic Trading
architect.co·2h·
Discuss: Hacker News
🐫Embedded OCaml
Vibe Coding in BASIC
goto10retro.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
BMFM-DNA: A SNP-aware DNA foundation model to capture variant effects
arxiv.org·2d
🔠Type-Level Programming
AI Agent Smart Contract Exploit Generation
arxiv.org·2d
✓Automated Theorem Proving
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
Emergent misalignment as prompt sensitivity: A research note
arxiv.org·1d
✓Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Claude Code Watchdog :: GH Action for self-healing tests
github.com·3d·
Discuss: Hacker News
🔬Static Analysis
Feint and Attack: Attention-Based Strategies for Jailbreaking and Protecting LLMs
arxiv.org·2d
🌐NetworkProtocols
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·13h
🎮Verification Games
So You Think You've Awoken ChatGPT
justismills.substack.com·3h·
Discuss: Substack
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com·3d·
Discuss: Substack
👁️System Observability
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·2d
🔄Reproducible Builds
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
👁️System Observability