All Hail The OC71
hackaday.com·1d
🔌Operating system internals
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
How to Approximate Curves Using Bézier and Euler Spiral Segments
hackernoon.com·1d
📊Computational Geometry
Flag this post
High-Performance Syntax Highlighting with CSS Highlights API
pavi2410.com·23h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Building the Analytics Agent on Metabase: A Progress Report
medium.com·13h·
Discuss: Hacker News
🔄Schema Evolution
Flag this post
Reconsider W3C Recommendation status of XSLT 2.0 and XSLT 3.0
github.com·2d·
Discuss: Hacker News
🔀XSLT
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
How Reliable Are Your AI Agents?
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Enhanced Protein Folding Prediction via Multi-Modal Data Assimilation and Bayesian Hyperparameter Optimization
dev.to·16h·
Discuss: DEV
🧠Machine Learning
Flag this post
Building from First Principles
marvinh.dev·2h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
You Don't Need Types in Ruby
zhisme.com·5h·
Discuss: Hacker News
💧Liquid Types
Flag this post
We built a vector search engine that lets you choose precision at query time
clickhouse.com·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Increase Performance when sending struct accross HTTP / TCP
reddit.com·15h·
Discuss: r/golang
🌐WebSocket Framing
Flag this post
Convert any GitHub repo to coding puzzles
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·1d·
Discuss: DEV
🦀Rust Verification
Flag this post
I am a beginner to Golang, what mini-projects would you suggest?
reddit.com·1d·
Discuss: r/golang
🐚Shell Monads
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·11h
🎵Audio ML
Flag this post
I built an faster Notion in Rust
imedadel.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
MMM-Fact: A Multimodal, Multi-Domain Fact-Checking Dataset with Multi-Level Retrieval Difficulty
arxiv.org·11h
🧪Archive Fuzzing
Flag this post