derived set
ncatlab.org·13h
🧮Algebraic Archives
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·22h
📝Concrete Syntax
Returning Iterators from Functions
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·43m
🎯Performance Proofs
Machine Learning Fundamentals: active learning
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
C++ Seeding Surprises (2015)
pcg-random.org·12h·
Discuss: Hacker News
🔢Bitwise Algorithms
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·9h·
Discuss: DEV
📋DFDL
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·6h·
Discuss: DEV
🔌Operating system internals
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·10h·
Discuss: DEV
🌊Stream Processing
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
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