🏢 Jane Street Core - tiferrei · Scour

C++: Freestanding Standard Library 🐫Embedded OCaml

sandordargo.com·6d·Lobsters, Hacker News, r/cpp

MeshOn: Intersection-Free Mesh-to-Mesh Composition 🔲Cellular Automata

arxiv.org·1d

Moonsteading 🔲Cellular Automata

marginalrevolution.com·10h·Hacker News

Show HN: Open KB: Open LLM Knowledge Base 🐫OCaml

news.ycombinator.com·1d·Hacker News

The Empty Middle of AI Coding 🧮Lean4

xificurc.github.io·6d·Hacker News

PiTorch: ML on Baremetal Raspberry Pis 🐫Embedded OCaml

masonjwang.com·6d·Hacker News

Understanding Pin (for C and C++ Developers) (2019) 🏃Escape Analysis

dpzmick.com·5d·Lobsters

Bun v1.3.12 🔧Unikernel Development

bun.com·5d·Hacker News

asakin/llm-context-base: A git template for building your own LLM-powered personal wiki. Training period, metadata standard, lint system included. Clone and go. 🧮Lean4

github.com·6d·Hacker News

UN Mappers: Building a Community of Mappers to Support Peace with OpenStreetMap (sotm2025) 🕸️Graph Theory

cdn.media.ccc.de·6d

Opera 130 stable arrives with Chromium 146 and Twitch support 🔬Unikernels

notebookcheck.net·5d·Hacker News

NCL-BU at SemEval-2026 Task 3: Fine-tuning XLM-RoBERTa for Multilingual Dimensional Sentiment Regression 🧠Apple Neural Engine

arxiv.org·1d

Intel 486 Support Likely to be Removed in Linux 7.1 🔧Unikernel Development

hackaday.com·6d

Breaking Block Boundaries: Anchor-based History-stable Decoding for Diffusion Large Language Models ⚖️Weighted Automata

arxiv.org·1d

peterbabulik/The-Algorithmic-Unification-of-Number-Theory-and-Quantum-Mechanics: Empirical Evidence for a P = N P P=NP Base Reality via IBM Quantum Hardware 🔢Philosophy of Mathematics

github.com·3d·Hacker News

Scrutinizing Real-life Configurations of Random Access Procedures in Cellular Networks 📡Network Protocol Design

arxiv.org·1d

OSM Swiss Style and the new OSM Swiss Base Map (sotm2025) 🌐ActivityPub

cdn.media.ccc.de·4d

How we hacked the Bavarian State with an Open Source Open Letter (glt26) 🔬Unikernels

cdn.media.ccc.de·3d

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover ✓Automated Theorem Proving

arxiv.org·4d

InfiniLoRA: Disaggregated Multi-LoRA Serving for Large Language Models 🧠Apple Neural Engine

arxiv.org·5d

Loading more...