ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
A Formal Refutation of the Blockchain Trilemma
arxiv.org·2d
🐫OCaml
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com·12h·
Discuss: r/programming
🛡️seL4
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·9h·
Discuss: Hacker News
👁️System Observability
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·21h·
Discuss: Hacker News
📡Network Protocol Design
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·13h·
Discuss: r/homelab
🏠HomeLab
Full QuickJS Support for Nginx
blog.nginx.org·6h·
Discuss: Hacker News
🔤DSLs
Critical Analysis of the Meshtastic Protocol
disk91.com·15h·
Discuss: Hacker News
📡Network Protocol Design
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1h·
Discuss: Hacker News
👁️System Observability
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·5h
🔍Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·15h·
Discuss: Hacker News
🛡️seL4
Setting Up Your Own Certificate Authority for Development
isc.sans.edu·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Opossum Attack: Application Layer Desynchronization Using Opportunistic TLS
opossum-attack.com·2d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Monitoring My Homelab, Simply
b.tuxes.uk·21h·
Discuss: Lobsters, Hacker News
👁️System Observability
Implementing OAuth2 in Node.js: Where to Start?
oauth.net·1d·
Discuss: r/programming
📡Network Protocol Design
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·2d·
Discuss: Hacker News
🛡️seL4
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·16h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Croissant! Building a No-Framework Web App
dbushell.com·1h·
Discuss: Hacker News
🧱Immutable Infrastructure
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure