Detection Engineering: Practicing Detection-as-Code โ€“ Introduction โ€“ Part 1
blog.nviso.euยท5d
๐ŸŽฏThreat Hunting
Dumb-init, an init system for Docker containers
engineeringblog.yelp.comยท16hยท
Discuss: Hacker News
๐ŸšShell Calculus
Moonshot AIโ€™s Kimi K2 outperforms GPT-4 in key benchmarks โ€” and itโ€™s free
venturebeat.comยท1dยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
AWS Challenges โ€“ Verifying the Rust standard library
model-checking.github.ioยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Orca Build System
orca-app.devยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”„Language Evolution
New Software from 'Ruฤ‘er' for Faster Supercomputer Simulations
irb.hrยท2dยท
Discuss: Hacker News
โš›๏ธInformation Physics
Small teams should avoid Large Companies Processes
idiallo.comยท1dยท
Discuss: Hacker News
โ„๏ธNix Adoption
Why No Single Algorithm Solves Deduplication โ€” and What to Do Instead
hackernoon.comยท3d
๐Ÿ”MinHash Variants
The price of software freedom is eternal politics
theregister.comยท1d
๐ŸงFOSS
How to Build an Agent
blog.langchain.comยท3dยท
Discuss: Hacker News
โšกProof Automation
Iโ€™m non-technical, tried to add RAG to my AI agentโ€ฆ and ended up building a tool that does that
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
Show HN: LlamaFarm โ€“ Working on binary AI Project deployment โ€“ (early preview)
github.comยท2dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Building an AI-Powered Gmail Assistant with TypeScript
dev.toยท14hยท
Discuss: DEV
๐ŸŽฏGradual Typing
Accelerating translations with continuous integration
dev.toยท3dยท
Discuss: DEV
๐Ÿ”„Language Evolution
On Jailbreaking Quantized Language Models Through Fault Injection Attacks
arxiv.orgยท5d
๐Ÿ”งBinary Parsers
The Context Update: We Finally Solved AI Memory Loss.
dev.toยท21hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.orgยท4d
๐ŸงฎDatalog Engines
Bitchat: notes on the path forward ("yo!")
github.comยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
I built GoStudio.ai solo from a small Indian town โ€” now reaching $1K
dev.toยท2hยท
Discuss: DEV
๐Ÿš€Indie Hacking
Stop forcing AI tools on your engineers
newsletter.manager.devยท5dยท
Discuss: Hacker News, Hacker News, r/programming
๐Ÿ”„Language Evolution