Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Pragma Unroll
sandordargo.com·17h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·3h·
Discuss: Hacker News
Time Management
Flag this post
Building a Custom Calendar Generator with React/Next.js
calendar-vibe.com·1h·
Discuss: DEV
🌐Web Development
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·17h·
Discuss: r/ClaudeAI
FastAPI
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·2d·
Discuss: Hacker News
🖥️Emulation
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·1d·
Discuss: Hacker News
🚀MLOps
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
💬Prompt Engineering
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🗄️Database Internals
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
⚛️Quantum Computing
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·1d
🔍RAG
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.com·9h
🧠Machine Learning
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·22h
🧬Computational Biology
Flag this post
🌀 Brent's Algorithm Explained – Faster Cycle Detection for Beginners
dev.to·4d·
Discuss: DEV
🌲Segment Trees
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·3h·
Discuss: Hacker News
🎨Design Systems
Flag this post