ChatGPT and other AI models can be ‘poisoned’ to spew gibberish, researchers warn
the-independent.com·1d
🔓Hacking
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·11h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Physical Warp Drives
arxiv.org·8h·
Discuss: Hacker News
🌡️Preservation Physics
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·2d
🧠Machine Learning
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
⬆️Lambda Lifting
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
💻Local LLMs
Show HN: I built a LSP with its own parser to learn Rust
github.com·21h·
Discuss: Hacker News
⚡Dependent Rust
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1d
🎯Gradual Typing
The Custom Conveyor: Building Your Own Iterators
dev.to·20h·
Discuss: DEV
🔄Burrows-Wheeler
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·13h·
Discuss: DEV
⚔️Lean Tactics
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·2d·
Discuss: DEV
✅Format Verification
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·7h·
Discuss: Hacker News
🌀Brotli Internals
Responsible Vibe Coding
dev.to·10h·
Discuss: DEV
📏Code Metrics
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·15h·
Discuss: DEV
⚛️Quantum Algorithms
A Manifesto for the Programming Desperado
github.com·1d·
Discuss: Hacker News
💻Programming languages
Announcing state-machines: Rust Port of Ruby's state_machines Gem
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros