Robotic Arm - IRAS 6dof
hackster.io·12h
🦾ARM Cortex-M
CL-JSON Ambiguity
funcall.blogspot.com·5h·
Discuss: www.blogger.com
🧠Lisp Dialects
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·20h·
Discuss: Hacker News
⚔️Lean Theorem
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·19h·
Discuss: r/golang
🦀Rust Macros
Scheme Basics
courses.cs.washington.edu·1d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·1d
🌳Context free grammars
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·2d·
Discuss: Hacker News
👑Isabelle
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
I Taught My JavaScript AI to Rewrite Its Own Code
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Dinosaurs
funcall.blogspot.com·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
What it took to make a multi-agent trading simulation durable and observable
union.ai·2d·
Discuss: Hacker News
⚔️Lean Tactics
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·5h·
Discuss: DEV
🗄️Database Internals
Data Science Path: Automatic Subclass Registration & Python Encryption Algorithms with LabEx
dev.to·1d·
Discuss: DEV
🔐Cryptographic Archaeology
HTML Partials and Server Reducers: An Alternative to React Spas
cimatic.io·5h·
Discuss: Hacker News, r/htmx
🌊Streaming Systems
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·1d·
Discuss: Hacker News
⚡Dependent Rust
12 AI-Related Projects You Can Build in Termux
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Prompts to Make ChatGPT More Honest and Critical
nextweekai.com·1d·
Discuss: Hacker News
📐Proof Assistants
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·22h·
Discuss: Hacker News
🕸️Neo4j
Fun OCaml 2025
fun-ocaml.com·3h·
Discuss: Hacker News
🧬Functional Programming
Being confidently wrong is the only thing holding AI back
promptql.io·1d·
Discuss: Hacker News
🧠Intelligence Compression