Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·2d
🔓Decompilation
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·13h·
Discuss: Substack
🧠Machine Learning
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
Chatbots, My Rules of Engagement
christophedujarric.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·6h·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Mitre ATT&CK v18 released
medium.com·8h·
Discuss: Hacker News
📦Container Security
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·21h·
Discuss: Lobsters, Hacker News, Hacker News
🕸️WebAssembly
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·18h·
Discuss: Hacker News
🔄Sync Engine
Flag this post
🧠 Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.to·23h·
Discuss: DEV
🇯🇵Japanese Computing
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·1h·
Discuss: Lobsters, Hacker News
🐡OpenBSD
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
📜Digital Philology
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
⚡Proof Automation
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·10h·
Discuss: Hacker News
🕸️Mesh Networks
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·4d·
Discuss: r/programming
📜Binary Philology
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·1d·
Discuss: DEV
📋Format Specification
Flag this post
Hardware to Prove Humanity
juliver.bearblog.dev·2d·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·1d·
Discuss: Hacker News
🔗Monadic Parsing
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·6h·
Discuss: DEV
📜Family History Data
Flag this post