📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·2d
🧮Programming Language Theory
SuperNICs Explained and Compared to DPUs
technetbooks.com·15h·
Discuss: Hacker News
🔌Network Programming
Врач Казанцев : Обострение психических недугов зависит не только от времени года
life.ru·1d
🔢Mathematical Logic
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🕸️Graph Theory
Wan-S2V: Audio-Driven Cinematic Video Generation
humanaigc.github.io·17h·
Discuss: Hacker News
🔧Compiler Design
CTF - Intigriti - 0825
zhero-web-sec.github.io·1d
🦀Rust
Local LLMs and Ollama
groveronline.com·1d
💾Retrocomputing
The TTY Demystified
linusakesson.net·22h·
Discuss: Hacker News, r/programming
💻Operating Systems
Timers, UARTs and OS Threads as global objects
reddit.com·2d·
Discuss: r/embedded
🧠Memory Management
Required fields in Builder pattern
reddit.com·2d·
Discuss: r/SoftwareEngineering
💭Prolog
Step 1: Basic Theme Structure – FSE Theme Development
dev.to·22h·
Discuss: DEV
🏗️Software Architecture
Understand the Temporary Allocator; Understand Arenas
zylinski.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🎲Probabilistic Programming
DX for integrating data & analytics infra in javascript apps
reddit.com·11h·
Discuss: r/javascript
🔧Compiler Design
Safety integrity level assessment for safety instrumented system in oil and gas station with cyber threat
sciencedirect.com·21h
🛡️IoT Security
Genetic architecture of a light-temperature coincidence detector
nature.com·20h
🎲Probabilistic Programming
FRAME : Comprehensive Risk Assessment Framework for Adversarial Machine Learning Threats
arxiv.org·1d
🔍Static Analysis
NEAT: Concept driven Neuron Attribution in LLMs
arxiv.org·2d
🔗Parser Combinators
Take our college football nicknames quiz: How well do you know teams and mascots?
nytimes.com·14h
🧫Cellular Automata
AI Models Exceed Individual Human Accuracy in Predicting Everyday Social Norms
arxiv.org·5h
🎲Probabilistic Programming