Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Croissant! Building a No-Framework Web App
dbushell.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
What happens when an AI is your customer?
frontierai.substack.com·2d·
Discuss: Substack
👁️System Observability
Richard Feynman and the Connection Machine
longnow.org·2d·
Discuss: Hacker News
🔄Finite State Machines
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·2d
🔬Static Analysis
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
Stacked Intelligent Metasurfaces-Aided eVTOL Delay Sensitive Communications
arxiv.org·2d
📡Network Protocol Design
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·3d
🔄Finite State Machines
FrugalRAG: Learning to retrieve and reason for multi-hop QA
arxiv.org·1d
🐫OCaml
Interleaving Logic and Counting
arxiv.org·4d
✓Automated Theorem Proving
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Distributionally Robust Joint Chance-Constrained Optimization for Electricity Imbalance: Integrating Renewables and Storage
arxiv.org·2d
📡Network Protocol Design
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·1d
🔍Formal Verification
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·1d
💻CS
Show HN: Juncture – Simplify building Jira integrations
github.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Rain-A theory of intelligence beyond Transformers, based on rhythm
medium.com·1d·
Discuss: Hacker News
➡️Category Theory
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·4d
🐫OCaml
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·1d
🐫OCaml