📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Prof . Metin Izeti : Demokracia liberale në krizë dhe kërkimi për zgjidhje : A është përgjigjja tradita ? – Almakos . com
almakos.com·5h
🧮Programming Language Theory
It's not the fanciest way of doing things, but a couple of GPIOs and a logic analyzer make for a pretty good approximation of a tracing profiler.
bsky.app·13h·
Discuss: Bluesky
🏗Computer Architecture
Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·4d
📈Complexity Theory
Kodee’s Kotlin Roundup: 2.2.20-Beta2, Shipaton 2025, and a New Face on the Foundation Board
blog.jetbrains.com·4d
🔧Compiler Design
Happy 100000th birthday, Debian
lists.debian.org·1d·
Discuss: Lobsters
🐧Linux
Redux in react
medium.com·1d·
Discuss: DEV
🦀Rust
A LeetCode Discussion: Coin Change Problems
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
⭐ Mar1cX kedro-toolkit
waylonwalker.com·1d
🦀Rust
Make the easy things easy
waylonwalker.com·1d
🔧Compiler Design
🎯 Cracking Cyfrin's NFT Challenge: Guessing Pseudo-Randomness Like a Pro
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·2d
🔗Parser Combinators
🛠 Type‑Safe DSLs in Go — No Magic, Just Go ⚡
dev.to·5d·
Discuss: DEV
🧮Programming Language Theory
Help! Confused between python and web dev
reddit.com·1d·
Discuss: r/AskProgramming
🧮Programming Language Theory
A to Z Placement KIT
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
World.exe: From Gods to NPCs 😇🤖🍎
dev.to·13h·
Discuss: DEV
🤖Sci-Fi
⭐ microsoft vscode-python
waylonwalker.com·1d
🔧Compiler Design
⭐ pysonDB pysonDB
waylonwalker.com·1d
🗄️Database Theory
Bridging AI Innovation and Healthcare Needs: Lessons Learned from Incorporating Modern NLP at The BC Cancer Registry
arxiv.org·2d
🔗Parser Combinators
What is the Most Effective AI Tool for App Development Today?
dev.to·9h·
Discuss: DEV
🏗️Software Architecture
The Hidden Engineering Behind Building Massive Software Images
dev.to·12h·
Discuss: DEV
🏗️Software Architecture