Grok-4 Jailbreak with Echo Chamber and Crescendo
neuraltrust.ai·16h·
Discuss: Hacker News
🛡️seL4
LLM Failures
funcall.blogspot.com·6d·
Discuss: Hacker News
🔠Type-Level Programming
How Not to Think About Cells
subanima.org·7h·
Discuss: Hacker News
➡️Category Theory
My Pi 4B homelab taught me more about infrastructure than any course ever did
dataengineeringtoolkit.substack.com·13h·
Discuss: r/homelab
🏠HomeLab
From Prompt to Plant Shutdown: Agent Context Contamination in MCP
veganmosfet.github.io·20h·
Discuss: Hacker News
🛡️seL4
Postman to Bruno: Weekend migration + AI workflow for automated API documentation
ashwch.com·1d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Interview with Alan Kay
web.archive.org·1d·
Discuss: Hacker News
💾Retro Computing
Discover tools that work with Claude
anthropic.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·4d·
Discuss: Hacker News
🤖Program Synthesis
Help validate a new open-source prototyping platform!
reddit.com·1d·
Discuss: r/homelab
🐫Embedded OCaml
Mailstation Development
fybertech.net·5h·
Discuss: Hacker News
🔬Unikernels
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3d·
Discuss: Substack
🔍Formal Verification
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·3d·
Discuss: r/programming
❄️Nixified Development
Show HN: Portia – A stateful Crew AI alternative, with auth and 1000 tools
github.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Minimum-Peak-Cost Flows Over Time
arxiv.org·1h
📡Network Protocol Design
Unmixing Optical Signals from Undersampled Volumetric Measurements by Filtering the Pixel Latent Variables
arxiv.org·1h
🐫Embedded OCaml
Could you be wrong: Debiasing LLMs using a metacognitive prompt for improving human decision making
arxiv.org·1h
✓Automated Theorem Proving
Investigating the Robustness of Extreme Precipitation Super-Resolution Across Climates
arxiv.org·1h
🧱Immutable Infrastructure
Incomplete Multiview Learning via Wyner Common Information
arxiv.org·1h
🔠Type-Level Programming