Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·23h·
Discuss: Hacker News
👁️System Observability
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·15h·
Discuss: Hacker News
💾Retro Computing
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·2d·
Discuss: Hacker News
📦Unikernel Systems
AI Agents Under the Hood
blog.surkar.in·3d·
Discuss: Hacker News
✓Automated Theorem Proving
LISPy things you can do in 64K bytes of core
t3x.org·4d·
Discuss: Hacker News
🐫Embedded OCaml
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·4d·
Discuss: Hacker News
🐫OCaml
T5Gemma: A new collection of encoder-decoder Gemma models
developers.googleblog.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Ampere: Communication-Efficient and High-Accuracy Split Federated Learning
arxiv.org·1d
🔬Unikernels
We solved AI API interoperability
supermemory.ai·3d·
Discuss: Hacker News
🐫OCaml
Phantom Subgroup Poisoning: Stealth Attacks on Federated Recommender Systems
arxiv.org·2d
🔬Unikernels
Time Series Foundation Models for Multivariate Financial Time Series Forecasting
arxiv.org·1d
🐫OCaml
TokenShapley: Token Level Context Attribution with Shapley Value
arxiv.org·3d
✓Automated Theorem Proving
Skipper: Maximal Matching with a Single Pass over Edges
arxiv.org·4d
🐫OCaml
Feature-Based Belief Aggregation for Partially Observable Markov Decision Problems
arxiv.org·4d
🔄Finite State Machines
Distribution-free inference for LightGBM and GLM with Tweedie loss
arxiv.org·2d
📦Unikernel Systems
Spectral Estimators for Structured Generalized Linear Models via Approximate Message Passing
arxiv.org·1d
🐫OCaml
Lessons from YouWare's Founder on Building AI-Native Products
medium.com·11h·
Discuss: Hacker News
🧱Immutable Infrastructure
Structured Task Solving via Modular Embodied Intelligence: A Case Study on Rubik's Cube
arxiv.org·3d
🔄Finite State Machines
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·4d
🔬Static Analysis