Lowering in Reverse
buttondown.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·21h·
Discuss: Hacker News
Existential Types
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Thinking of learning Go for backend instead of Python -- worth it?
reddit.com·1d·
Discuss: r/golang
🔤DSLs
Flag this post
SilencioHardwareStore - Mobile App
dev.to·12h·
Discuss: DEV
🔧Unikernel Development
Flag this post
Programming music with Rust
reddit.com·17h·
Discuss: r/programming
⚙️Compiler Design
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·2d
🔄Reproducible Builds
Flag this post
Qartographer: Quantum Chip Design... Reimagined!
dev.to·8h·
Discuss: DEV
🔧Microcontrollers
Flag this post
Leveling the Playing Field: Fairer AI with Kernelized Null-Space Projections
dev.to·11h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Emotion Detection From Social Media Posts
arxiv.org·1d
🕸️Graph Theory
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·1d
📦OPAM
Flag this post
Learning to Land Anywhere: Transferable Generative Models for Aircraft Trajectories
arxiv.org·5h
🛡️Privacy Engineering
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·5h
📐Linear Algebra
Flag this post
Mastering Logging in Python
dev.to·2h·
Discuss: DEV
📊Runtime Verification
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·3d
💎Refinement Types
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·3d
📚Automata Learning
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.org·3d
🔲Cellular Automata
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·3d
🔍CBMC
Flag this post