Typechecking is undecideable when 'type' is a type
dspace.mit.edu·1h·
Discuss: Lobsters
🔗Dependently Typed
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·56m
🔀Category Theory
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·16h·
Discuss: r/programming
λLambda Encodings
Flag this post
Domain-specific Languages and Code Synthesis Using Haskell
queue.acm.org·3d·
Discuss: Lobsters, Hacker News
🔤DSLs
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·11h
👑Isabelle
Flag this post
two-dimensional category
ncatlab.org·1d
🔀Category Theory
Flag this post
AI Code Alchemy: Turning Natural Language into Robot Actions by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Monday Morning Haskell: Serializing an HTTP Response & Running the Server
mmhaskell.com·6h
🌐Network Protocols
Flag this post
Teaching Rust the SQL Language
news.ycombinator.com·13h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Distilling the Deep: A 3-Line AI Reasoning Challenge with 6 Hard Problems
medium.com·2h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
7 Steps to Build a Simple RAG System from Scratch
kdnuggets.com·1h
📝Concrete Syntax
Flag this post
Distinguished Lecture - hosted by UKRI CDT in Natural Language Processing
informatics.ed.ac.uk·1h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
a go parser for Claude Skills
reddit.com·7h·
Discuss: r/golang
🌳Incremental Parsing
Flag this post
All Your Coworkers Are Probabilistic Too
scatterarrow.com·3h·
Discuss: Hacker News
🔗Topological Sorting
Flag this post
Writing Your First Compiler - Part 7: Taking Stock
dev.to·3d·
Discuss: DEV
🔗Lisp
Flag this post
Oblique Strategies: Prompts for Programmers
kevinlawler.com·22h·
Discuss: Lobsters
⚔️Lean Tactics
Flag this post
Tour of a pattern matcher: expression and pattern expansion
crumbles.blog·3d·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust Macros
Flag this post
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines
ericpony.github.io·21h·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
The Opportunities and Risks of Foundation Models
crfm.stanford.edu·5h·
Discuss: Hacker News
📝ABNF Extensions
Flag this post
Archimedes – A Python toolkit for hardware engineering
pinetreelabs.github.io·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post