Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
Student projects in complex function theory – The Prime Number Theorem and Riemann’s paper
noncommutativeanalysis.wordpress.com·21h
⚔️Lean Theorem
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·21h·
Discuss: r/programming
⚡Cache Coherence
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·9h·
Discuss: DEV
💻Local LLMs
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
The Importance of Network Orchestration in Modern Infrastructure
rogerperkin.co.uk·1d
🏠Homelab Orchestration
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·14h·
Discuss: www.blogger.com
⚡Circuit Archaeology
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Integrations
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com
🔌Interface Evolution
Flag this post
OSS Friday Update
noteflakes.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·9h·
Discuss: Hacker News
📄Text Chunking
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Show HN: Agent Network Protocol (ANP)，Similar to an A2A
github.com·18h·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·10h·
Discuss: r/golang
⚡gRPC
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
Ergo Framework Documentation - major overhaul. Looking for feedback
devel.docs.ergo.services·2d·
Discuss: r/golang
🤝Distributed Consensus
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post