Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·3h·
Discuss: Hacker News
✅formal methods
Linus Torvalds Rejects RISC-V Changes For Linux 6.17: "Garbage"
phoronix.com·15h·
Discuss: Hacker News
⚙️systems programming
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
✅formal methods
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚙️systems programming
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
🐫ocaml
Moving to Omarchy
public.3.basecamp.com·14h·
Discuss: Hacker News
⚙️systems programming
Coplay becomes steward of Unity MCP open‑source automation tool
coplay.dev·1d·
Discuss: Hacker News
⚙️systems programming
The Amaranth hardware description language
amaranth-lang.org·3d·
Discuss: Hacker News
⚙️systems programming
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com·1d·
Discuss: Hacker News
⚙️systems programming
MCP vs SDK: Two Paths to LLM-Powered Extensibility
osada.blog·7h·
Discuss: Hacker News, r/programming
⚙️systems programming
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·2h·
Discuss: Hacker News
⚙️systems programming
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·14h·
Discuss: Hacker News
⚙️systems programming
Why Racket? Why Lisp?
practicaltypography.com·11h·
Discuss: Lobsters, Hacker News
🐫ocaml
GNU libsigsegv is a library for handling page faults in user mode
gnu.org·1d·
Discuss: Hacker News
⚙️systems programming
PHP compile time generics: yay or nay?
thephp.foundation·2d·
Discuss: Hacker News
✅formal methods
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚙️systems programming
Do they even test this?
mariadb.org·1d·
Discuss: Hacker News
⚙️systems programming
Scientists build an 'evolution engine' to rapidly reprogram proteins
phys.org·1d·
Discuss: Hacker News
⚙️systems programming
Dynamically Update C++ syntax using Next Edit Suggestions
devblogs.microsoft.com·5d·
Discuss: Hacker News
⚙️systems programming
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
✅formal methods