CERN’s Large Hadron Collider Runs on A Bendix G-15 in 2025
hackaday.com·7h
🇬🇧British Computing
Saleae Analyzer for the BDM protocol
zetier.com·5d
🔬Binary Analysis
Can large language models figure out the real world?
news.mit.edu·2h
🧮Kolmogorov Bounds
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·4d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Making Sense of AI Job Titles
dbreunig.com·4d·
Discuss: Hacker News
🗺️Competency Maps
Safeguarding VS Code against prompt injections
github.blog·7h·
Discuss: Hacker News
🌐WASI
Vif, a new webframework for OCaml 5
discuss.ocaml.org·4d·
Discuss: Hacker News
📝ABNF Parsing
Made a one piece knowledge benchmark
reddit.com·1d·
Discuss: r/artificial
🧮Z3 Solver
LLMs and the Russellian Inversion
philosophicalhacker.com·1d·
Discuss: Hacker News
💻Programming languages
How To Argue With An AI Booster
wheresyoured.at·7h·
Discuss: Hacker News
⚡Proof Automation
Multiagent orchestration framework to manage swarms via drag and drop
github.com·3d·
Discuss: Hacker News
🌊Streaming Systems
[D] How did JAX fare in the post transformer world?
reddit.com·2d·
Discuss: r/MachineLearning
🌀Brotli Internals
Persuasiveness and Bias in LLM: Investigating the Impact of Persuasiveness and Reinforcement of Bias in Language Models
arxiv.org·19h
🎙️Whisper
DAIQ: Auditing Demographic Attribute Inference from Question in LLMs
arxiv.org·19h
💻Local LLMs
Docx templating with golang
reddit.com·22h·
Discuss: r/golang
🦀Rust Macros
🔥 Why Everyone Is Sleeping On TinyGo: Run Go on Microcontrollers and the Web (WASM) Today!
dev.to·1d·
Discuss: DEV
🌐WASI
Vibe Coding: What Developers Should Know
dev.to·13h·
Discuss: DEV
⚡Effectful Programming
Node, Python and the Daily Dev Apocalypse: Why I Escaped to Go
dev.to·1d·
Discuss: DEV
❄️Nix Flakes
Beyond the ban: A better way to secure generative AI applications
blog.cloudflare.com·9h
🔒Language-based security
Enhance Geospatial Analysis and GIS Workflows with Amazon Bedrock Capabilities
aws.amazon.com·3d
🌊Streaming Systems