Google's Software is Malware and Malware in Mobile Devices
techrights.orgยท20h
๐Ÿ›ก๏ธCapability Security
NixCon 2025 Trip Report
michael.stapelberg.chยท18hยท
๐Ÿ—๏ธBuild Systems
LingoDB โ€“ Data Processing with Compiler Technology
lingo-db.comยท1dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธQuery Compilation
garn: A Faster, Friendlier Nix in TypeScript (nixcon2025)
cdn.media.ccc.deยท3d
๐Ÿš‚Cranelift IR
FORTRAN Milestone On This Day
i-programmer.infoยท16h
๐Ÿ“šForth
Getting Started with Python
youtu.beยท4hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Thoughts about OpenAI GPT-5-Codex from my conversation with Greg Brockman and Thibault Sottiaux
andrewmayne.comยท8h
๐ŸŽฎLanguage Ergonomics
Git: Introduce Rust and announce that it will become mandatorty
lore.kernel.orgยท1dยท
๐Ÿ—๏ธCranelift
๐Ÿšข Titanic App Streamlit "Machine Learning Scikit Learn-Random Forest"
dev.toยท10hยท
Discuss: DEV
๐Ÿ”„Incremental Parsers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท6dยท
๐ŸชOCaml
Is It Even Possible? On the Parallel Composition of Asynchronous MPC Protocols
eprint.iacr.orgยท2d
๐Ÿ“กAsync Channels
GenSecAI is a non-profit community to to defend against AI-powered attacks
github.comยท9h
๐Ÿ›ก๏ธSecurity Type Systems
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.comยท2dยท
Discuss: r/programming
๐ŸŒณPattern Match Compilation
Connecting to LLMs: Building a Simple HTTP Client for AI Integration
dev.toยท3dยท
Discuss: DEV
๐Ÿ”งAPI Design
Why You Need to Learn Functional Programming: And What It Is
dev.toยท2dยท
Discuss: DEV
๐Ÿš‚Error Propagation
The Case Against DRY
reddit.comยท1dยท
Discuss: r/webdev
๐ŸŒณTree Shaking
Understanding the difference between identity and equality, and why it matters more than it seems.
dev.toยท1dยท
Discuss: DEV
๐ŸชžHomoiconicity
Python Casting Explained: A Complete Guide to Type Conversion
dev.toยท17hยท
Discuss: DEV
๐Ÿ”งNickel
And Yet, Defend your Thoughts from AI Writing
lesswrong.comยท10h
๐Ÿ’ฌInteractive REPLs