Show HN: CMS-like editing for Markdown with and some JavaScript
mattismegevand.com·8h·
Discuss: Hacker News
🏹Effect Systems
You think your an it specialist??? Let me prove you wrong
m.youtube.com·2h·
Discuss: r/programming
💾Retro Computing
Copyleft-Next Building the NextGen Copyleft License
fossforce.com·1d·
Discuss: Hacker News
🔬Unikernels
Coded my homelab from scratch using Ansible
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·23h·
Discuss: Hacker News
✓Automated Theorem Proving
Navigating AI in translation: Why human expertise still matters
gulf-times.com·2d·
Discuss: Hacker News
🐫OCaml
LLM Failures
funcall.blogspot.com·5d·
Discuss: Hacker News
🐫OCaml
Hypercapitalism and the AI Talent Wars
blog.johnluttig.com·5h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SMM callout vulnerabilities identified in Gigabyte UEFI firmware
kb.cert.org·7h·
Discuss: Hacker News
⚙️Operating System Design
The Covert Hardware Implant: Part 1
rift.stacktitan.com·2d·
Discuss: Hacker News
💾Retro Computing
Realbasic (2000)
joelonsoftware.com·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·3d·
Discuss: Hacker News
❄️Nixified Development
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·5d·
Discuss: Hacker News
🔍Formal Verification
The Color Doesn't Matter
tristanpemble.com·33m·
Discuss: Hacker News
🏹Effect Systems
Node.js Interview Q&A: Day 19
medium.com·8h·
Discuss: r/programming
🛡️seL4
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·4d
🔄Reproducible Builds
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·2d
🎮Verification Games
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·2d
✓Automated Theorem Proving
Vibe-Engineering: When AI Does All the Coding, What Do We Actually Do?
img.ly·6d·
Discuss: Hacker News
🔬Static Analysis