Infinity is not a big number
mnvr.in·2d·
Discuss: Hacker News
🛡️seL4
Are the Busy Beaver numbers independent of mathematics?
risingentropy.com·5d·
Discuss: Hacker News
🎮Verification Games
SEO, Logorrhoea and the Rise of Sick AI
purpleorca.co.uk·19h·
Discuss: Hacker News
✓Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·1d·
Discuss: Hacker News
🛡️seL4
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·1d
🎮Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🔍Formal Verification
Ready lists
11011110.github.io·4d·
Discuss: Hacker News
💻CS
JAX-MPM: A Learning-Augmented Differentiable Meshfree Framework for GPU-Accelerated Lagrangian Simulation and Geophysical Inverse Modeling
arxiv.org·4d
🐫OCaml
LLMs for coding (+ free workflow templates)
blog.n8n.io·6h·
Discuss: Hacker News
🤖Program Synthesis
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·1d
🔍Formal Verification
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·1d
🐫OCaml
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Interleaving Logic and Counting
arxiv.org·4d
✓Automated Theorem Proving
On the Semantics of Large Language Models
arxiv.org·3d
✓Automated Theorem Proving
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·2d
🔠Type-Level Programming
A Principled Framework for Multi-View Contrastive Learning
arxiv.org·2d
🐫OCaml
KPFlow: An Operator Perspective on Dynamic Collapse Under Gradient Descent Training of Recurrent Networks
arxiv.org·2d
🎮Verification Games
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·1d
✓Automated Theorem Proving
LLMs are telepathy. We just don't know it yet
monarchwadia.com·23h·
Discuss: Hacker News
🛡️seL4
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml