Developing with Nix
andrestc.com·7h
❄️Nixpkgs
derived set
ncatlab.org·1d
🧮Algebraic Archives
Unlock deeper insights with the new Python client library for Data Commons
developers.googleblog.com·6h
🏷️Metadata Standards
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·9h·
Discuss: Hacker News
💧Liquid Types
The Whole Code Catalog
futureofcoding.org·8h·
Discuss: Hacker News
🔗Concatenative Programming
Create Flow Builder with Multiple Triggers
nocode-js.com·6h·
Discuss: Hacker News
🔗Concatenative Programming
Structured data response with Amazon Bedrock: Prompt Engineering and Tool Use
aws.amazon.com·6h
🌀Brotli Internals
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·3d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
How Do You Handle Orphaned Processes?
reddit.com·21h·
Discuss: r/golang
🎯Gradual Typing
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Language Modeling by Language Models
arxiv.org·18h
🤖Grammar Induction
daily quizzz
dev.to·1d·
Discuss: DEV
λLambda Encodings
Simulating the Waterfall Model: A Systematic Review
arxiv.org·1d
⚡Incremental Computation
The Second Raku Core Summit
dev.to·1d·
Discuss: DEV
🤝Consensus Algorithms
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·18h
🧮Theorem Proving
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Signal Use and Emergent Cooperation
arxiv.org·1d
🔲Cellular Automata
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression