Golang and Let's Encrypt: a free software story
dotat.at·47m
🌳Archive Merkle Trees
Schemars v1 is now released
reddit.com·8h·
Discuss: r/rust
🦀Rust Macros
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·7h·
Discuss: Hacker News
👑Isabelle
The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·12h·
Discuss: Hacker News
📋DFDL
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Creating Truly Custom Events for Web Components
dev.to·13h·
Discuss: DEV
📞Session Types
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·16h·
Discuss: DEV
🧮Kolmogorov Complexity
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
LLM-driven Medical Report Generation via Communication-efficient Heterogeneous Federated Learning
arxiv.org·1d
💻Local LLMs
Autonomous E-commerce Intelligence Agent - From Data to Decisions
dev.to·9h·
Discuss: DEV
📊Feed Optimization
OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
Alleviating User-Sensitive bias with Fair Generative Sequential Recommendation Model
arxiv.org·22h
🎛️Feed Filtering