The Magic of the Hall Effect Sensor
hackaday.com·14h
🩹Self-Healing Systems
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Choosing a model for a research platform with real data and metrics
maxirwin.com·36m·
Discuss: Hacker News
👁️System Observability
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
ProtSAE: Disentangling and Interpreting Protein Language Models via Semantically-Guided Sparse Autoencoders
arxiv.org·1d
📚Automata Learning
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
arxiv.org·1d
🔄Finite State Machines
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·55m·
Discuss: r/programming
🤖Program Synthesis
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
Using Haskell in Production
agentultra.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·5h·
Discuss: Hacker News
👁️System Observability
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·3h·
Discuss: Hacker News
📊Runtime Verification
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Most Rust GUI frameworks suck
reddit.com·5h·
Discuss: r/rust
❄️Nixified Development
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
Fenwick layout for interval trees
purplesyringa.moe·19h·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis