Git's First Major Release in 11 Years: What's in Git 3.0
deployhq.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Incremental Compilation
Flag this post
Nebula Is a New GTK Frontend for Managing Void Linux Packages
linuxiac.comยท1d
๐ŸŒฑForth Kernels
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
From Theory to Practice: Introducing Architectural Prisms, an Experiment in AI-First Academic Dialogue
sigarch.orgยท8h
๐Ÿ”ฎMetacircular Evaluators
Flag this post
Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.orgยท3d
๐Ÿฆ€MIR Optimization
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท2d
๐Ÿ“–Literate Programming
Flag this post
Project Banana
404wolf.comยท2d
๐ŸŒHTTP Servers
Flag this post
Formal Verificationโ€™s Value Grows
semiengineering.comยท14h
๐ŸŽญProgram Synthesis
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท5dยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Field notes from making a living without writing a line of code
ag404labs.comยท14hยท
Discuss: Hacker News
โšกLive Coding
Flag this post
One of the most devious malware strains might have been cracked - and it's all thanks to Gen AI
techradar.comยท1d
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
How an Attacker Drained $128M from Balancer Through Rounding Error Exploitation
research.checkpoint.comยท10h
๐Ÿ“ฆAllocation Elision
Flag this post
Functional Ruby Programming with Trailblazer
dev.toยท2dยท
Discuss: DEV
โšกfunctional programming
Flag this post
Managing long contexts in agentic coding systems
cto.newยท6hยท
Discuss: Hacker News
โšกIncremental Parsing
Flag this post
[CrabGraph] A Modern, Safe, and Ergonomic Rust Cryptography Library
reddit.comยท3dยท
Discuss: r/rust
๐Ÿ—๏ธCranelift
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠQuery Optimizers
Flag this post
Top 7 API Testing Tools That Transform Team Collaboration
dev.toยท12hยท
Discuss: DEV
๐Ÿ›ก๏ธError Ergonomics
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.orgยท17h
๐Ÿ”ML Language
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.orgยท1d
๐ŸŽญProgram Synthesis
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.toยท3hยท
Discuss: DEV
๐ŸŒBrowser Compilers
Flag this post