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·1d
🐫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·4h·
Discuss: r/programming
🛡️seL4
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·3h·
Discuss: Hacker News
🔄Reproducible Builds
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·13h·
Discuss: Hacker News
📡Network Protocol Design
Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·4h·
Discuss: r/homelab
🏠HomeLab
Critical Analysis of the Meshtastic Protocol
disk91.com·6h·
Discuss: Hacker News
📡Network Protocol Design
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·7h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·6h·
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·13h·
Discuss: Lobsters, Hacker News
👁️System Observability
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog·1d·
Discuss: Hacker News
🛡️seL4
Implementing OAuth2 in Node.js: Where to Start?
oauth.net·1d·
Discuss: r/programming
📡Network Protocol Design
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
📡Network Protocol Design
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·1d
🔍Formal Verification
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
Binding Application in Idris
andrevidela.com·1h·
Discuss: Hacker News
🔠Type-Level Programming
AWS Challenges – Verifying the Rust standard library
model-checking.github.io·8h·
Discuss: Hacker News
🔬Static Analysis
MCP to interact with Android and iOS emulators and write automation code
docs.maestro.dev·1d·
Discuss: Hacker News
🛡️seL4