From CAP to GAP?
fsharpforfunandprofit.com·14h·
Discuss: DEV
🧪Testing Compilers
Neuro-Symbolic AI
en.wikipedia.org·7h·
Discuss: Hacker News
🎭Program Synthesis
Unforgettable factory revisited
holyblackcat.github.io·17h·
Discuss: r/cpp
🪆Embedded DSLs
IASC: Interactive Agentic System for ConLangs
arxiv.org·18h
🔄Incremental Lexing
A DNA search engine
bespacific.com·19h
🔍Search Algorithms
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
VLLM Predicted Outputs
cascadetech.ai·1h·
Discuss: Hacker News
🎭Program Synthesis
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Theory
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com·5h·
Discuss: r/cpp
🧮Combinator Calculus
Python For Data Engineering
github.com·12h·
Discuss: DEV
📊DataFrame Types
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Languages
Sub-agents in Claude Code: I tried them
boliv.substack.com·1d·
Discuss: Substack
⚡Live Coding
Master Regex for Free: 3 Fun and Interactive Sites Every Dev Should Know
dev.to·2h·
Discuss: DEV
🔤Regex Engines
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·18h
🎯Finite Automata
Sorting encrypted data without decryption: a practical trick
github.com·6h·
Discuss: DEV
🔗Hash Functions
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🪢Rope Algorithms
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
2025-10-10 # LLMs Are Transpilers
alloc.dev·22h·
Discuss: Hacker News
🎮Language Ergonomics
A Data Importing AI Agent
dolthub.com·1d
💬Interactive REPLs