Phoenix Framework
phoenixframework.org·13h·
Discuss: Hacker News
🔄Reproducible Builds
Education 3.0
doc.searls.com·1d·
Discuss: Hacker News
🎮Verification Games
I Changed My Mind: AI Will Replace Us
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Forex Trading Robot Using Fuzzy Logic
arxiv.org·2d
💻CS
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·1d·
Discuss: Substack
🧪Property-Based Testing
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·2d
🛡️seL4
Improving Trust in AI Systems
searchcraft.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
OLG++: A Semantic Extension of Obligation Logic Graph
arxiv.org·3d
🔍Formal Verification
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🔄Finite State Machines
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·3d
🧪Property-Based Testing
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
Verified Language Processing with Hybrid Explainability: A Technical Report
arxiv.org·4d
🛡️seL4
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🛡️seL4
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4
Seeing Like an LLM
strangeloopcanon.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·3d
🔬Static Analysis
Stop Converting Your REST APIs to MCP
jlowin.dev·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Leverage AI in Technical Due Diligence Engagements
spin.atomicobject.com·3d·
Discuss: Hacker News
👁️System Observability
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.org·1d
🔄Finite State Machines