🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

The first OpenAI device, created in collaboration with Jony Ive, has faced technical difficulties
madcornishprojectionist.co.uk·19h
🔓Reverse engineering
Cornell’s Tiny “Microwave Brain” Chip Could Transform Computing and AI
scitechdaily.com·6h
🔧Hardware Verification
Codeminer42 Dev Weekly #82
blog.codeminer42.com·3d
🎯Gradual Typing
Math that feels good: creating learning resources for blind students
aimath.org·1d
✋Tactile Computing
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·3d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Show HN: Osmea – open-source Flutter Architecture for E-commerce Apps
osmea.masterfabric.co·1d·
Discuss: Hacker News
🔌Interface Evolution
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·2d·
Discuss: Lobsters, Hacker News
🌐DNS Security
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·2d·
Discuss: Hacker News
📋DFDL
Interview Your Libraries (2013)
jch.github.io·12h·
Discuss: Hacker News
⚙️Build Archaeology
Actually finding vulnerabilities using AI with Joshua Rogers
opensourcesecurity.io·1d·
Discuss: Hacker News
🚀Indie Hacking
The Morality of Modeling
isaacbound.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Ordering types in SQL
buttondown.com·10h·
Discuss: Hacker News
🗃️Database Storage
AI-Powered Beamforming: Boosting 5G/6G Performance with Smart Signal Shaping
dev.to·6h·
Discuss: DEV
🎧Learned Audio
Quantum Correlation Mapping for Primordial Black Hole Mass Spectrum Refinement
dev.to·32m·
Discuss: DEV
⚛️Quantum Algorithms
Memgoose – An In-Memory Mongoose Impersonator
github.com·2d·
Discuss: Hacker News
🔄Sync Engine
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·5d
🧠Intelligence Compression
Reimagine Libraries management as Apps using Agentic Executable framework
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·4d
🔗Parser Combinators
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·4d
📋Document Grammar
Reinforced sequential Monte Carlo for amortised sampling
arxiv.org·46m
🧮Kolmogorov Bounds