Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.aiยท18hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
What Is Delta Lake
ibm.comยท2hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.comยท20hยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
7 Linux commands to keep your system healthy and optimized
howtogeek.comยท21hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Creating Lisp Systems
renato.athaydes.comยท4hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
NoLongerEvil-Thermostat โ€“ Nest Generation 1 and 2 Firmware
github.comยท18hยท
๐Ÿ”ŒEmbedded
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Get viral in days, not weeks, months, years
viral-assistant.comยท19hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.orgยท2dยท
๐Ÿค–AI
Flag this post
I Use AI
ben.stolovitz.comยท21hยท
Discuss: Hacker News
๐ŸคUsing AI for programming
Flag this post
What data do coding agents send, and where to?
chasersystems.comยท23hยท
Discuss: Hacker News
๐ŸคUsing AI for programming
Flag this post
MariaDB vs. PostgreSQL: Understanding the Architectural Differences That Matter
mariadb.orgยท5hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.coยท20hยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท1dยท
Discuss: Hacker News
โœ“Formal verification
Flag this post
This Month in Ladybird โ€“ October 2025
ladybird.orgยท1dยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
User Experience Is Computation
madebynathan.comยท9hยท
Discuss: Hacker News
๐ŸคUsing AI for programming
Flag this post
Human friendly industrial device IDs
bec-systems.comยท10hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
Shouldn't we trust Google and other pertinent questions
cryptography.dogยท14hยท
Discuss: Hacker News
๐Ÿค–AI
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.ioยท8hยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post
I just trained a physics-based earthquake forecasting model on a $1000 GPU
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded
Flag this post