floccinaucinihilipilification
en.wiktionary.org·2d·
Discuss: Hacker News
➡️Category Theory
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
🛡️seL4
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Croissant! Building a No-Framework Web App
dbushell.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Richard Feynman and the Connection Machine
longnow.org·1d·
Discuss: Hacker News
🔄Finite State Machines
Python Indexing vs. For Loops: What’s Really Faster?
thenewstack.io·1d
🔬Static Analysis
Trainability of Quantum Models Beyond Known Classical Simulability
arxiv.org·2d
🐫OCaml
Beyond the Linear Separability Ceiling
arxiv.org·1d
➡️Category Theory
Evaluation of Habitat Robotics using Large Language Models
arxiv.org·3d
🔍Formal Verification
The Prompt War: How AI Decides on a Military Intervention
arxiv.org·2d
✓Automated Theorem Proving
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·1d
💾Retro Computing
Predicting and generating antibiotics against future pathogens with ApexOracle
arxiv.org·1d
💻CS
EXPO: Stable Reinforcement Learning with Expressive Policies
arxiv.org·1d
🎮Verification Games
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·1d
💻CS
What happens when an AI is your customer?
frontierai.substack.com·1d·
Discuss: Substack
👁️System Observability
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
Robust Multimodal Large Language Models Against Modality Conflict
arxiv.org·1d
🔄Finite State Machines
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