📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Writing tests for Nim libraries with Nimble and unittest
serv.peterme.net·11h·
Discuss: Hacker News
🔍Static Analysis
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·1d·
Discuss: Hacker News
📦WebAssembly
Serverless and Microservices Architecture
kysinfotech.in·14h·
Discuss: DEV
🌍Distributed Systems
Babel & navigating a contradictory existence
thebirdhouse.bearblog.dev·1d
🧮Programming Language Theory
TypeScript 5.9 Brings Less Friction, More Features
thenewstack.io·1d
🤝Protocol Design
The Power Of The <code>Intl</code> API: A Definitive Guide To Browser-Native Internationalization
smashingmagazine.com·2d
🧮Programming Language Theory
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·1d
🔗Parser Combinators
Conditional probability is the single most important concept in statistics.
threadreaderapp.com·2d
🔢Mathematical Logic
A TypeScript Utility for Type-Safe Angular Forms
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
I tried vibe coding, and survived to tell (well kinda) - Part 1
dev.to·13h·
Discuss: DEV
🔧Compiler Design
Vibe coding is not the AI utopia it seems
northpodie.blogspot.com·1d·
Discuss: Hacker News
👐Open Source Software
SOLID Principles
dev.to·3d·
Discuss: DEV
🧮Programming Language Theory
Turso python API (SQL API)
reddit.com·1d·
Discuss: r/opensource
🧮Programming Language Theory
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·3d
🎲Probabilistic Programming
Middleware Architecture Patterns for Request Processing(1333)
dev.to·9h·
Discuss: DEV
🏗️Software Architecture
Serverless Computing in Kubernetes: A Developer’s Guide
dev.to·12h·
Discuss: DEV
🦀Rust
Zeus – Athena Query Sharing Platform
github.com·8h·
Discuss: Hacker News
🏗️Software Architecture
Merge-based syntax is mediated by distinct neurocognitive mechanisms: A clustering analysis of comprehension abilities in 84,000 individuals with language defic...
arxiv.org·4d
🧮Programming Language Theory
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·3d
🔗Parser Combinators
GPT-5 vs GPT-4: A very detailed coding comparison 🤖
dev.to·10h·
Discuss: DEV
🤝Protocol Design