From CAP to GAP?
fsharpforfunandprofit.com·1d·
Discuss: DEV
🧪Testing Compilers
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·20h·
Discuss: r/cpp
🧮Combinator Calculus
Logical Operators & Control Flow
github.com·1d·
Discuss: DEV
🎭Delimited Continuations
Neuro-Symbolic AI
en.wikipedia.org·23h·
Discuss: Hacker News
🎭Program Synthesis
Master Regex for Free: 3 Fun and Interactive Sites Every Dev Should Know
dev.to·17h·
Discuss: DEV
🔤Regex Engines
Three ways formally verified code can go wrong in practice
buttondown.com·20h
📜Proof Languages
A gentle introduction to Generative AI: Historical perspective
medium.com·12h·
Discuss: Hacker News
📊LR Parsing
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
🎯Finite Automata
ഈലോകഗോളം തിരിയുന്ന മാർഗ്ഗം - Cosmic Spiral of Compassionate Intelligence
vivaram.org·15h
📋S-Expression
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·2d·
Discuss: Hacker News
🪢Rope Algorithms
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Memgoose – An In-Memory Mongoose Impersonator
github.com·3h·
Discuss: Hacker News
📡Protocol Buffers
A Data Importing AI Agent
dolthub.com·2d
💬Interactive REPLs
Haskell Weekly Issue 493
haskellweekly.news·2d·
Discuss: Hacker News
⚡functional programming
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·12h·
Discuss: Hacker News
🪜Recursive Descent
Python For Data Engineering
github.com·1d·
Discuss: DEV
📊DataFrame Types
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·20h·
Discuss: DEV
📦Monorepos
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·3h·
Discuss: DEV
✨Gleam
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·4d
🧮Theorem Provers