Depth=2
tristanpemble.com·1d·
Discuss: Hacker News
📐Type Theory
original ↗
protesilaos.com·10h
🧩Theorem Proving
Double Maths First Thing: Issue 30
aperiodical.com·2h
🧭SMT Solvers
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·5d·
Discuss: Hacker News
⚙Functional Programming
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·3d·
Discuss: Hacker News
🔧Compiler Design
Industrial LLM-based Code Optimization under Regulation: A Mixture-of-Agents Approach
arxiv.org·6h
🔧Compiler Design
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·1d
🎲Probabilistic Programming
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·1d
🔗Parser Combinators
Understanding Object-Oriented Programming in the Context of Automation QA
dev.to·5h·
Discuss: DEV
🏗️Software Architecture
RooseBERT: A New Deal For Political Language Modelling
arxiv.org·6h
🔗Parser Combinators
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·6h
🔗Parser Combinators
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News
📝Lisp
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
blog.designly.biz·2d·
Discuss: r/reactjs
🎲Probabilistic Programming
Graph Lineages and Skeletal Graph Products
arxiv.org·2d
🕸️Graph Theory
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·14h·
Discuss: Hacker News
👐Open Source Software
Kronos: A Foundation Model for the Language of Financial Markets
arxiv.org·6h
🎲Probabilistic Programming
Living with LLMs
matiasklemola.com·1d·
Discuss: Hacker News, r/programming
🔧Compiler Design
Designing a Flexible Ability System in Games Using the Chain of Responsibility Pattern
hackernoon.com·13h
⚡Concurrency
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·1d·
Discuss: Hacker News
📐Type Theory
🚀 Just Launched: My New Project is Live!
dev.to·20h·
Discuss: DEV
🔧Compiler Design