Developing with Nix
andrestc.com·3h
❄️Nixpkgs
derived set
ncatlab.org·1d
🧮Algebraic Archives
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·5h·
Discuss: Hacker News
💧Liquid Types
Create Flow Builder with Multiple Triggers
nocode-js.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Structured data response with Amazon Bedrock: Prompt Engineering and Tool Use
aws.amazon.com·2h
🌀Brotli Internals
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·3d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
Context Engineering: A Primer
ai.intellectronica.net·2h·
Discuss: Hacker News
⚙️TLA+
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·22h·
Discuss: DEV
📋DFDL
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·6h
🔬Academic Search
Probing AI Safety with Source Code
arxiv.org·14h
✨Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·2h·
Discuss: DEV
🌐Network Protocols
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·14h
🤖Grammar Induction
daily quizzz
dev.to·1d·
Discuss: DEV
λLambda Encodings
The Second Raku Core Summit
dev.to·1d·
Discuss: DEV
🤝Consensus Algorithms
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Simulating the Waterfall Model: A Systematic Review
arxiv.org·1d
⚡Incremental Computation
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·14h
🧮Theorem Proving