GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท2d
๐Ÿ”—Functional Compilers
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.ioยท36mยท
Discuss: Hacker News
๐ŸงชCBOR Fuzzing
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.ioยท37mยท
Discuss: Hacker News
๐ŸŽฎGameboy Emulation
Dealing with Eventual Consistency and Idempotency in projections
event-driven.ioยท13hยท
Discuss: r/programming
๐ŸŒŠStream Processing
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท3dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Tech With Tim: How to Build AI Agents in Python
dev.toยท4hยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Show HN: I built a LSP with its own parser to learn Rust
github.comยท17hยท
Discuss: Hacker News
โšกDependent Rust
Python For Data Engineering
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Aligning Large Language Models via Fully Self-Synthetic Data
arxiv.orgยท2d
๐Ÿ”—Monadic Parsing
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
AI Just Killed Traditional Coding - Here's What's Next
dev.toยท15hยท
Discuss: DEV
๐ŸŒณIncremental Parsing
The Custom Conveyor: Building Your Own Iterators
dev.toยท16hยท
Discuss: DEV
๐Ÿ”„Burrows-Wheeler
From Clicks to Code: Building a Productionโ€‘Ready EVM Transaction Client (Approve, Mint, Swap, EIPโ€‘1559)
dev.toยท2dยท
Discuss: DEV
โœ…Format Verification
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.comยท1dยท
Discuss: r/golang
๐Ÿฆ€Rust Borrowing
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท1d
๐ŸŽฏGradual Typing
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.toยท14hยท
Discuss: DEV
๐Ÿ”Vector Forensics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท10hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Refactoring: A way to write better Code
dev.toยท18hยท
Discuss: DEV
โš™๏ธOperational Semantics