Making Discogs Data 13% Smaller with Parquet
harmonique.one·1d·
Discuss: Hacker News
🧮Lambda Calculus
An Inline Cache Isn't Just a Cache
mgaudet.ca·3d·
Discuss: Hacker News
💎Refinement Types
On Commercial Cooking Robots
cyberneticserendipity.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Nano-switch achieves first directed, gated flow of excitons
news.engin.umich.edu·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·2d·
Discuss: Hacker News
➡️Category Theory
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3d·
Discuss: Hacker News
💾Retro Computing
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
An Interactive Guide to TanStack DB
frontendatscale.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Eat Your Vegetables Before AI Dessert
writings.alethia.news·4d·
Discuss: Hacker News
🩹Self-Healing Systems
EnergyNet Explained: Internetification of Energy Distribution
arxiv.org·2d
📡Network Protocol Design
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·2d
📚Automata Learning
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Open source, AI-enhanced Mailchimp alternative
github.com·22h·
Discuss: Hacker News
🖥Self-Hosting
Building Conscious* AI: An Illusionist Case
lesswrong.com·2d
🧠Automated Reasoning
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·4d
⚙Operational Semantics
ALL-PET: A Low-resource and Low-shot PET Foundation Model in the Projection Domain
arxiv.org·1d
🧩Parser Combinators
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·2d
💎Refinement Types
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·4d
➡️Category Theory