derived set
ncatlab.org·18h
🧮Algebraic Archives
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: Lobsters, Hacker News, r/golang
⬆️Lambda Lifting
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·2d
🧪CBOR Fuzzing
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·11h·
Discuss: DEV
🔌Operating system internals
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·2d
📏Linear Logic
SPD-CFL: Stepwise Parameter Dropout for Efficient Continual Federated Learning
arxiv.org·2d
📊Learned Metrics
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.org·5h
🌀Brotli Internals
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·1d·
Discuss: DEV
📐Error Bounds
Probing AI Safety with Source Code
arxiv.org·5h
✨Effect Handlers
Memory Safety in Web Rust System Zero Cost Secure（1750632264828500）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
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·5h
🤖Grammar Induction
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
daily quizzz
dev.to·20h·
Discuss: DEV
λLambda Encodings