📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·3d
🔐Cryptography
A Mega Malware Analysis Tutorial Featuring Donut-Generated Shellcode
unit42.paloaltonetworks.com·2d
🦀Rust
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·1d
🧩Theorem Proving
My AI-Driven Identity Crisis
dusty.phillips.codes·2d·
Discuss: Hacker News
🧮Programming Language Theory
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·2d·
Discuss: Hacker News
🔍Static Analysis
Is anyone here attending the LambdaTest’s Testμ Conference 2025 in August? I really need some advice.
reddit.com·1d·
Discuss: r/devops
🧮Programming Language Theory
⭐ cwebster2 github-coauthors.nvim
waylonwalker.com·6h
🧩Theorem Proving
An Introduction to Web Development
youtube.com·3d·
Discuss: DEV
🧮Programming Language Theory
⭐ wbthomason packer.nvim
waylonwalker.com·6h
🧮Programming Language Theory
⭐ Slackadays Clipboard
waylonwalker.com·6h
👐Open Source Software
Advanced Contract Patterns and Testing Strategies for AI-Safe Development
dev.to·4d·
Discuss: DEV
⚙Functional Programming
Claude Memory Lazy Method v2.1 - Quick Update**
reddit.com·19h·
Discuss: r/ClaudeAI
🧠Memory Management
Resume Tips
waylonwalker.com·6h
🔧Compiler Design
STAMP: Multi-pattern Attention-aware Multiple Instance Learning for STAS Diagnosis in Multi-center Histopathology Images
arxiv.org·1d
🎲Probabilistic Programming
FedCoT: Communication-Efficient Federated Reasoning Enhancement for Large Language Models
arxiv.org·1d
⚖️Logic Programming
From Hackathon to Nokia Interview: My Unexpected Journey
dev.to·17h·
Discuss: DEV
🧮Programming Language Theory
Flutter Lesson 18: Device Feature Integration in Flutter
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Always Up-to-Date API Docs Are Real (And No, It’s Not AI)
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Building a Battle Royale game | Tiny Projects
tinyprojects.dev·3h
🔍Static Analysis
From Black Box to Transparency: Enhancing Automated Interpreting Assessment with Explainable AI in College Classrooms
arxiv.org·1d
🔗Parser Combinators