Roadmap for Improving the Type Checker
forums.swift.org·8h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·5h
🎙️Whisper
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·8h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Issue 496
haskellweekly.news·21h
🔗Functional Compilers
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·1d
🦠Malware Analysis
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·20h
λLambda Formalization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·1d·
Discuss: r/javascript, r/programming
λLambda Encodings
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·7h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2h·
Discuss: Hacker News
λLambda Formalization
Flag this post
Rust 1.91.0 released
lwn.net·12h
🦀Embedded Rust
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·13h
🌀Brotli Dictionary
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·17h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·49m·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
HTML Minifier: A 12-Year Journey Building and Maintaining an Open Source Tool
deanhume.com·18h
🔄Language Evolution
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·16h
🔗Combinatory Logic
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·7h·
Discuss: Hacker News
🔐CBOR
Flag this post
Ajla Tutorial
ajla-lang.cz·9h·
Discuss: Hacker News
💧Liquid Types
Flag this post
My First Rust Project
binwang.me·3d
🦀Rust Macros
Flag this post
De Bruijn Numerals
text.marvinborner.de·19h·
Discuss: Hacker News
λLambda Encodings
Flag this post