LLMs and Algorithmic Trading
architect.co·1h·
Discuss: Hacker News
🐫Embedded OCaml
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·23h·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Claude Code Watchdog :: GH Action for self-healing tests
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
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
So You Think You've Awoken ChatGPT
justismills.substack.com·1h·
Discuss: Substack
✓Automated Theorem Proving
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·12h
🎮Verification Games
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com·3d·
Discuss: Substack
👁️System Observability
Vibe Coding in BASIC
goto10retro.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·2d
🔄Reproducible Builds
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News
👁️System Observability
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
What happens when an AI is your customer?
frontierai.substack.com·22h·
Discuss: Substack
👁️System Observability
Curriculum Negative Mining For Temporal Networks
arxiv.org·12h
➡️Category Theory
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·11h·
Discuss: Hacker News, r/programming
✓Automated Theorem Proving