Introducing modrpc, a modular RPC framework
reddit.com·5h·
Discuss: r/rust
📦Binary Serialization
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💻Programming languages
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·9h
🏆LLM Benchmarking
MCP Servers for Rust Developers
shuttle.dev·19h
🦀Rust
AI Guardrails, Gateways, Governance Nightmares
go.mcptotal.io·11h·
Discuss: Hacker News
🛡️AI Security
MECE — The AI Principle You’ll Never Stop Using After Reading This
pub.towardsai.net·8h
🔍AI Interpretability
Three ways formally verified code can go wrong in practice
buttondown.com·2h
💻Programming languages
timelinize/timelinize
github.com·17h
🗜️Zstd
Show HN: TrustMesh – Open-source reputation layer for AI agents
github.com·6h·
Discuss: Hacker News, r/opensource
🛡️AI Security
A sprinkle of Rust - bind, don't rewrite, in the age of MCP servers
medium.com·20h·
Discuss: r/rust
🦀Rust
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·6h·
Discuss: r/programming
🌿Leptos
LLMs and reinforcement learning
sicpers.info·9h
🪄Prompt Engineering
MultiPar 1.3.3.5 Beta / 1.3.2.9
majorgeeks.com·11h
📄File Formats
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🔧Developer tools
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·3h
⚛️Physics
I vibecoded an open source Grok Heavy emulator [CODE]
reddit.com·23h·
Discuss: r/LocalLLaMA
✏️Code Editors
Ship Broken Things
matmul.net·23h·
Discuss: Hacker News
🪄Prompt Engineering
You don't avoid the chaos. You filter it.
threadreaderapp.com·2h
🧹Spam Filters
How to use tls_native TlsSocket if they cannot be split?
docs.rs·22h·
Discuss: r/rust
📘Typescript
Portable device could help scientists track Alzheimer's disease as it unfolds in real time
medicalxpress.com·23h
🔬Chip Fabrication