I started using VeraCrypt to protect my files and I should have sooner
makeuseof.com·2d
🔗Hash Functions
Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·1d·
Discuss: r/compsci, r/programming
🌳Tree Shaking
The (software) quality without a name
kieranpotts.com·21h·
Discuss: Hacker News, r/programming
🧱First Principles
New Straight-Line Extractable NIZKPs for Cryptographic Group Actions
eprint.iacr.org·4d
🔀SSA Construction
Embedding Lua in Nim
lambdacreate.com·1d
🌙Lua
OpenAI Gives Us a Glimpse of How It Monitors for Misuse on ChatGPT
gizmodo.com·7h
🔍Execution Tracing
HackSpire'25: Igniting Innovation, Forging Futures 🚀
dev.to·32m·
Discuss: DEV
🔬Nanopasses
Show HN: Boilerplate auth server implementing RBAC
github.com·3d·
Discuss: Hacker News
🛡️Capability Security
Retool’s New AI-Powered App Builder Lets Non-Developers Build Enterprise Apps
thenewstack.io·7h
🎮Language Ergonomics
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.org·1d
↔️Bidirectional Typing
Pull request for issue #845
github.com·3d
💬Interactive REPLs
DXC Launches Assure Broking Essentials: AI-Powered SaaS for Small and Mid-Sized Insurance Brokers
prnewswire.com·23h
🔢Algebraic Datatypes
Detecting Distillation Data from Reasoning Models
arxiv.org·23h
✅Type Checking
Your-Deployments-Are-Stuck-in-the-Past-The-Lost-Art-of-the-Hot-Restart
dev.to·38m·
Discuss: DEV
📡Erlang BEAM
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·23h
✨Gleam
That-Real-Time-Headache-Its-Not-The-WebSockets-Its-Your-Framework
dev.to·5h·
Discuss: DEV
🌍HTTP Servers
Experience Report - ML4Good Bootcamp Singapore, Sep'25
lesswrong.com·1d
🎮Language Ergonomics
The Ultimate Guide to Building Real-Time Apps with SignalR
dev.to·3d·
Discuss: DEV
🔗Concurrency Primitives
#Pre-Day 1: Preparation
zeroday.forem.com·1d·
Discuss: DEV
🔐Capability Protocols
wyr: Typesafe Dependency Injection for TypeScript (and why I built it)
dev.to·3d·
Discuss: DEV
📦Monorepos