Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·9h·
Discuss: Hacker News, r/programming
🔬Static Analysis
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·16h·
Discuss: Hacker News
👁️System Observability
Binding Application in Idris
andrevidela.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Running a static website in AWS for $0.55
cottongeeks.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
I ride AI-hype train
blog-doe.pages.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·22h
🔍Formal Verification
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io·1d·
Discuss: Hacker News
🤖Program Synthesis
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·22h
🐫OCaml
Truthish – Kotlin multiplatform unit testing library
github.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·2d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
The Impact of Generative AI on Collaborative Open-Source Software Development: Evidence from GitHub Copilot
arxiv.org·1d
📦Unikernel Systems
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Issue Tracking Ecosystems: Context and Best Practices
arxiv.org·1d
⎈Kubernetes
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·3d·
Discuss: r/programming
❄️Nixified Development
Things I learned from 5 years at Vercel
leerob.com·13h·
Discuss: Hacker News
🛡️seL4
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·3d
🔬Static Analysis
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·15h
💾Retro Computing