The Mathematics of Catenary
alanzucconi.com·2d·
Discuss: Hacker News
🏹Effect Systems
Show HN: Claudio – Audio Input for Claude.ai
earthpilot.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
SCP-1313 – Equation for Bear
scp-wiki.wikidot.com·5d·
Discuss: Hacker News
🍎Apple
SQLite's Use of Tcl
tcl-lang.org·9h·
Discuss: Hacker News
🔤DSLs
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·2d·
Discuss: Hacker News
📚Automata Learning
Stop Burning Money on Performance Firefighting
blog.platformatic.dev·3d·
Discuss: Hacker News, r/webdev
👁️System Observability
I started something again, maybe it's not too late to start
starterslab.co·2d·
Discuss: Hacker News
🧗Climbing Tech
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.org·3d
🎮Verification Games
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·14h·
Discuss: Lobsters, Hacker News
❄️Nixified Development
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·3d
🧠Automated Reasoning
C++'s Greatest Flaw
harshal.is-cool.dev·3d·
Discuss: Hacker News
🔬Static Analysis
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·3d
🔧Unikernel Development
Virtual panel: How software engineers and team leaders can excel with AI
infoq.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·3d
🧮Lambda Calculus
Protobuffers Are Wrong
reasonablypolymorphic.com·2d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Ask HN: When it's too much observability?
news.ycombinator.com·8h·
Discuss: Hacker News
👁️System Observability
Cyclic Implicit Complexity
arxiv.org·6d
🐫OCaml
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·3d
⚙️Operating System Design