Kawaiicon 3 - Day 1
rodger.donaldson.gen.nz·16h
✅Formal Verification
Flag this post
Proof of the Riemann Hypothesis. - Phaztwø
i.redd.it·1d·
Discuss: r/compsci
🔢Mathematical Logic
Flag this post
Switching from GPG to Age
luke.hsiao.dev·2d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Waterfall Methodology AI: The Smart Evolution of Traditional Project Management
writegenic.ai·8h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·1d·
Discuss: r/programming
🔍Static Analysis
Flag this post
Rubber Duck Debugging with LLMs: Why Explaining Your Problem Is the Solution
tidesofsea.com·12h·
Discuss: Hacker News
🧫Cellular Automata
Flag this post
Compio: a thread-per-core Rust runtime with IOCP/io_uring/polling
github.com·2h·
Discuss: r/rust
🦀Rust
Flag this post
Training-efficient density quantum machine learning
nature.com·4h
🔐Cryptography
Flag this post
Fisher Meets Lindahl: A Unified Duality Framework for Market Equilibrium
arxiv.org·18h
⚖Algorithmic Game Theory
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·3d·
Discuss: DEV
📈Complexity Theory
Flag this post
<p>**Abstract:** This paper introduces a novel framework for optimizing predictive maintenance schedules in inland container terminal (ICT) yard operations, a c...
freederia.com·10h
🎲Probabilistic Programming
Flag this post
A memo on Takeoff
lesswrong.com·1d
🔌Network Programming
Flag this post
Go Generics: Use Cases and Patterns
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Flag this post
How I Built a 95+ PageSpeed Website in <24h (Without Being a Developer)
dev.to·7h·
Discuss: DEV
🔌Network Programming
Flag this post
I've created a leetcode for system design
reddit.com·2d·
Discuss: r/programming
👐Open Source Software
Flag this post
Fair and Explainable Credit-Scoring under Concept Drift: Adaptive Explanation Frameworks for Evolving Populations
arxiv.org·18h
🎲Probabilistic Programming
Flag this post
From Legacy To Learning Intelligence: Knowing When To Replace Your LMS
elearningindustry.com·1d
📈Complexity Theory
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·3d
🎲Probabilistic Programming
Flag this post