Libxml2's "no security embargoes" policy
lwn.net·9h·
Discuss: Hacker News
🔓Open Source Software
Threaded Code
muforth.dev·17h·
Discuss: Hacker News
🦀Rust Macros
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·10h·
Discuss: Hacker News
👑Isabelle
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The collective waste caused by poor documentation
shanrauf.com·1d·
Discuss: Hacker News
📦Deflate
Infrastructure Designed for Agents
gensx.com·2d·
Discuss: Hacker News
🌊Streaming Systems
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·12h
💻Local LLMs
Automating Persona Enriched Prompting
maxirwin.com·2d·
Discuss: Hacker News
🕵️Metadata Mining
Large Language Models for Spreadsheets: Benchmarking Progress and Evaluating Performance with FLARE
arxiv.org·2d
💧Liquid Types
Best Programming Language for 2026
dev.to·17h·
Discuss: DEV
🔄Language Evolution
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol·4d·
Discuss: Hacker News
🦀Rust Macros
DSPy for Rubyists
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Learning Plan Architect: Design Your Mastery Blueprint 🏗️🎯🤖🌠
dev.to·3h·
Discuss: DEV
📐Proof Assistants
Heartbeat of Modern Web Real Time Patterns User Design（1750836074761900）
dev.to·21h·
Discuss: DEV
🌊Stream Processing
Multilingual innovation in LLMs: How open models help unlock global communication
developers.googleblog.com·2d
🌀Brotli Internals
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
My AI Workflow for Understanding Any Codebase
steipete.me·18h
⚡Proof Automation
Web Development with Homebrew in 2025: Is It Still a Good Idea?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·5h·
Discuss: DEV
🔬Refinement Types