Where are the DocuSign 2.0 Startups?
unicornforms.com·2d·
Discuss: Hacker News
🤖Program Synthesis
AI is "a shabby, boring and evil thing" – discuss
paulkingsnorth.substack.com·1d·
Discuss: Substack
🔬Unikernels
Building Your First ETL Pipeline in Rust
ryuru.com·4d·
Discuss: r/programming
🔬Static Analysis
Cache Benchmarks
github.com·1d·
Discuss: Hacker News
👁️System Observability
Prox Mox Performance (What they didn't teach you)
reddit.com·19m·
Discuss: r/homelab
💾Retro Computing
Swapping space with a friend, for proxmox backups. Using IPSec tunnels. Time for a router upgrade.
i.redd.it·19h·
Discuss: r/homelab
📡Network Protocol Design
ATC/OSDI 2025 Impressions
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🔬Unikernels
AI coding tools make developers slower but they think they're faster, study finds
theregister.com·1d·
Discuss: Hacker News
👁️System Observability
Research my next NAS
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Outdoor WiFi project
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
Show HN: Authorization in LLM Applications
osohq.com·3d·
Discuss: Hacker News
🛡️seL4
Designing Robust Software Sensors for Nonlinear Systems via Neural Networks and Adaptive Sliding Mode Control
arxiv.org·3d
🔄Finite State Machines
Passive-Agressive Office Simulator Slack Bot
github.com·5h·
Discuss: Hacker News
🎮Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2d
🔍Formal Verification
LLaMeSIMD – LLM SIMD Intrinsic and Function Translation Benchmarking Suite
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·2d
✓Automated Theorem Proving
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Personal Reflections on Immutable Linux
hackaday.com·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: Dyan – A Self-Hosted Visual REST API Builder (React and NestJS)
github.com·12h·
Discuss: Hacker News
🔤DSLs
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·3d
🐫OCaml