Opportunistically Parallel Lambda Calculus
dl.acm.orgยท4hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท9h
๐Ÿ”—Combinatory Logic
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.orgยท1d
๐Ÿ’ปProgramming languages
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท1hยท
๐Ÿ’งLiquid Types
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท22h
๐Ÿ”€Category Theory
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.orgยท4dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Flag this post
Everything About Transformers
krupadave.comยท21h
๐Ÿ“Text Parsing
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท16h
๐Ÿ’ปProgramming languages
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท13h
ฮปLambda Formalization
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท6h
๐ŸŒ€Brotli Dictionary
Flag this post
Writing an LLM from scratch, part 25 โ€“ instruction fine-tuning
gilesthomas.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Issue 496
haskellweekly.newsยท14h
๐Ÿ”—Functional Compilers
Flag this post
LLM Experimentation: Optimizing My Journaling Agent
dev.toยท10hยท
Discuss: DEV
๐Ÿค–Grammar Induction
Flag this post
De Bruijn Numerals
text.marvinborner.deยท12hยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
Show HN: sjl โ€“ Simple JSON Logger for Rust
github.comยท41mยท
Discuss: Hacker News
๐Ÿ”CBOR
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท2hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Ajla Tutorial
ajla-lang.czยท2hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.comยท1dยท
Discuss: Hacker News
๐ŸงฎVector Embeddings
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ“ŠStatic Analysis
Flag this post
Context engineering
chrisloy.devยท17hยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Flag this post