Vite vs Webpack: A Guide to Choosing the Right Bundler
jsdevspace.substack.com·3h·
Discuss: Substack
🔬Unikernels
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·6h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I built a DAO on Polygon to let communities fund open-source projects
sudx.xyz·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Stigmergy
en.wikipedia.org·2d·
Discuss: Hacker News
🎮Verification Games
Science of Chess: How does chess calculation depend on words vs. pictures?
lichess.org·1d·
Discuss: Hacker News
🎮Verification Games
Graph foundation models for relational data
research.google·4d·
Discuss: Hacker News, Hacker News, r/programming
➡️Category Theory
Using AI for Data Modeling in Dbt
mikkeldengsoe.substack.com·3d·
Discuss: Substack
🔬Static Analysis
The Grep Command in Linux
thenewstack.io·1d
❄️Nix
LLMs show cultural theory was right about the death of the author
programmablemutter.com·4d·
Discuss: Hacker News
➡️Category Theory
The human harbor: Navigating identity and meaning in the AI age
venturebeat.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Building Real-Time AI Streaming Services with AWS Lambda and Architect
metaduck.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
GitHub Release Monitor
reddit.com·3h·
Discuss: r/homelab
🧱Immutable Infrastructure
Interview with Alan Kay
web.archive.org·23h·
Discuss: Hacker News
💾Retro Computing
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·5d·
Discuss: Hacker News
❄️Nix
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·3d
🐫OCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·5d
✓Automated Theorem Proving
My 1st HakoForge build
reddit.com·1d·
Discuss: r/homelab
🔄Reproducible Builds
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·20h
✓Automated Theorem Proving
Ask HN: Business logic that runs everywhere – would you use it?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4