This Intel Core i7 motherboard is probably the world's most powerful SBC - and yet it is as small as the Raspberry Pi 5
techradar.com·3h
🖥️Modern Terminals
Double Maths First Thing: Issue 2A
aperiodical.com·15h
👑Isabelle
derived set
ncatlab.org·8h
🧮Algebraic Archives
AI digital twins in supply chain execution
forbes.com·4h·
Discuss: Hacker News
🏠Homelab Orchestration
A New Pyramid-Like Shape Always Lands the Same Side Up
quantamagazine.org·8h·
Discuss: Hacker News
📐Mathematical Art
BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·1d
🔢Bitwise Algorithms
Threaded Code
muforth.dev·12h·
Discuss: Hacker News
🦀Rust Macros
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·1d
🕸️Algebraic Topology
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·20h·
Discuss: Hacker News
📲Digitization
Microcontrollers: Getting Started
youtube.com·5d
🔌Microcontrollers
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·7h·
Discuss: DEV
🌊Stream Processing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·5h·
Discuss: Hacker News
⚡Proof Automation
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·19h
🧠Intelligence Compression
The first CNN for playing Scrabble – a game of imperfect information
cesardelsolar.com·2d·
Discuss: Hacker News
🔲Cellular Automata
VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM
arxiv.org·1d
🏭Compiler Backends
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization