derived set
ncatlab.org·1d
🧮Algebraic Archives
Golang and Let's Encrypt: a free software story
dotat.at·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Blazing matrix products
panadestein.github.io·8h·
Discuss: Lobsters
⚡SIMD Optimization
CSS Functions and Mixins Module
w3.org·13h·
Discuss: Hacker News
🔗Concatenative Programming
RAG Blueprint
docs.vespa.ai·14h·
Discuss: Hacker News
🤖Archive Automation
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
Speeding up sideeffects with JIT in mountaineer
pierce.dev·8h·
Discuss: Hacker News
🦀Rust Macros
Show HN: Clip All King Soopers and Other Kroger Stores' Digital Coupons
github.com·12h·
Discuss: Hacker News
📦Deflate
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·1d·
Discuss: DEV
λLambda Encodings
Optional Chaining (.?) in JS — Write Shorter & Safer Code!
dev.to·18h·
Discuss: DEV
✅Format Verification
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
The Engineering Tradeoffs Behind HNSW-Based Vector Search
dev.to·21h·
Discuss: DEV
🗂️Vector Databases
QuranMorph: Morphologically Annotated Quranic Corpus
arxiv.org·3d
📋Document Grammar
From expected to actual: Kotlin doesn't reinvent, it reuses 🔄
dev.to·4h·
Discuss: DEV
💧Liquid Types
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1d·
Discuss: DEV
🤖Lisp Machines
Existing LLMs Are Not Self-Consistent For Simple Tasks
arxiv.org·3d
💻Local LLMs
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750952117902400）
dev.to·12h·
Discuss: DEV
🌐Network Protocols
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
higher: Your favourite Haskell type classes for Rust (2023)
github.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving