🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 Embedded OCaml
Bare-metal Programming, Resource Constraints, Firmware Development
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Comparison of Signed Number Representations in Computers
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
🏹
Effect Systems
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com
·
20h
·
Discuss:
Hacker News
📚
Automata Learning
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io
·
1d
🧩
Parser Combinators
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org
·
1d
·
Discuss:
Lobsters
🧩
Parser Combinators
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io
·
14h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
OCR and RAG for Tables
mrm1001.github.io
·
1d
·
Discuss:
Hacker News
,
Hacker News
🧮
Lambda Calculus
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com
·
14h
·
Discuss:
Hacker News
🌐
NetworkProtocols
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com
·
2d
·
Discuss:
r/programming
💾
Retro Computing
Prompts are Operating Systems
helloscribe.medium.com
·
1d
·
Discuss:
r/programming
⚙️
Operating System Design
The Little Book of Everything
github.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com
·
22h
·
Discuss:
Hacker News
💾
Retro Computing
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com
·
15h
·
Discuss:
Hacker News
⚙️
PL Implementation
Using Linters to Direct Agents
factory.ai
·
20h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com
·
37m
·
Discuss:
Hacker News
🏹
Effect Systems
Holding It Together
onelook.com
·
14h
·
Discuss:
Hacker News
📝
Term Rewriting
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com
·
11h
·
Discuss:
Hacker News
💾
Retro Computing
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app
·
1d
·
Discuss:
r/programming
💎
Refinement Types
Scaffolding for production vibe coding
interjectedfuture.com
·
19h
·
Discuss:
Hacker News
🔬
Static Analysis
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com
·
14h
·
Discuss:
Hacker News
❄️
Nixified Development
Loading...
Loading more...
« Page 2
•
Page 4 »