F*ck School
warandpeas.com·7h
📝Lisp
Collaborative scheduling of seaport integrated energy, logistics, and vessels: A bi-level nash-stackelberg-nash game approach
sciencedirect.com·1d
⚖Algorithmic Game Theory
Projects I'm working on right now!
trixnotes.com·9h
🔧Compiler Design
Golang Concurrency: How to use Mutexes
cookie.engineer·1d
⚡Concurrency
an audience of One
lnebres.bearblog.dev·1h
📊Information Theory
C++20 Modules: Practical Insights, Status and TODOs
chuanqixu9.github.io·2d·
Discuss: r/cpp
🔧Compiler Design
Rust Borrowing Demystified — From Safety Rules to Practical Example
manjushaps.github.io·3d·
Discuss: DEV
🦀Rust
How I Built a Simple AI Text Summarizer in Python
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
How Intlayer helps to speed up i18n
dev.to·3h·
Discuss: DEV
🔌Network Programming
This Google Labs experiment is even better than NotebookLM for studying
xda-developers.com·10h
🧩Theorem Proving
[D] Cool new ways to mix linear optimization with GNNs? (LP layers, simplex-like updates, etc.)
reddit.com·1d·
Discuss: r/MachineLearning
🔗Parser Combinators
On Difference, Respect, and the Grounds of Connection
psychologytoday.com·1d
📐Type Theory
The Death of HLD: How AI Renders High-Level Design Obsolete
dev.to·1d·
Discuss: DEV
🔧Compiler Design
⭐ AckslD nvim-FeMaco.lua
waylonwalker.com·1d
🔧Compiler Design
Middleware Architecture Patterns for Request Processing(8872)
dev.to·10h·
Discuss: DEV
🏗️Software Architecture
Getting started with Computer Science - A beginner's journey.
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
AI is the Present and the Future, but How did we get here? A detailed Timeline of AI and the IT Revolution that enabled it.
reddit.com·1d·
Discuss: r/compsci
🤖Sci-Fi
[Article] Divooka, Where We Are, or Public Roadmap
dev.to·1d·
Discuss: DEV
🔌Network Programming
⭐ JackMcKew python-interrogate-check
waylonwalker.com·1d
✅Formal Verification
Heartificial Intelligence: Exploring Empathy in Language Models
arxiv.org·4d
📐Type Theory