4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.comยท17h
๐Ÿ”ฌBinary Analysis
Orange Me2eets: We made an end-to-end encrypted video calling app and it was easy
blog.cloudflare.comยท2h
๐Ÿ“žWebRTC
An OCC Idea
lambdacreate.comยท1d
๐Ÿ—„๏ธDatabase Internals
Counting with Categories (Part 3)
golem.ph.utexas.eduยท2d
ฮปLambda Formalization
AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs
2025.ecoop.orgยท16hยท
Discuss: Hacker News
๐Ÿ”คDSLs
[$] Supporting kernel development with large language models
lwn.netยท2h
๐Ÿ’ปLocal LLMs
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.orgยท2d
โšกModern Compression
Cross-Compiling 10,000+ Rust CLI Crates Statically
blog.pkgforge.devยท1hยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Macros
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.orgยท2d
โš–๏ธHoare Logic
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750594760521200๏ผ‰
dev.toยท4dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
PEGTL -- Parsing Expression Grammar Template Library
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.orgยท12h
๐ŸŽฏPerformance Proofs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.comยท2dยท
Discuss: r/rust
๐Ÿฆ€Rust Verification
bootc-image-builder: Build your entire OS from a Containerfile
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.comยท8h
๐Ÿ”“Password Cracking
Automate MongoDB Database Backups with C# Console Application and Windows Task Scheduler
dev.toยท3dยท
Discuss: DEV
๐Ÿค–Archive Automation
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.toยท19hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Entelligence vs CodeRabbit
dev.toยท3hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
๐Ÿ” Throwback Thursday: That Time I Thought I Understood Microservices
dev.toยท6hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
DigitalOcean Fundamentals: API
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution