Mangle – a language for deductive database programming

Comments (1)

Pxtl · 50m ago

Anybody who replaces the hoary old albatross of SQL without throwing out the relational algebra baby with the bathwater gets my support. I hope this goes far.

Clojure Async Flow Guide (clojure.github.io)

Google admits anti-competitive conduct involving Google Search in Australia (accc.gov.au)

A Gigantic Jet Caught on Camera: A Spritacular Moment for NASA Astronaut (science.nasa.gov)

Claudia – Desktop companion for Claude code (claudiacode.com)

NUMA Is the New Network: Reshaping Per-Socket Microservice Placement (codemia.io)

The Enterprise Experience (churchofturing.github.io)

Llama-Scan: Convert PDFs to Text W Local LLMs (github.com)

Modifying other people's software (natkr.com)

Show HN: Doxx – Terminal .docx viewer inspired by Glow (github.com)

Mangle – a language for deductive database programming (github.com)

Show HN: 500+ Golang Interview Questions Quiz (applyre.com)

Show HN: OverType – A Markdown WYSIWYG editor that's just a textarea

Derivatives, Gradients, Jacobians and Hessians (blog.demofox.org)

Show HN: NextDNS Adds "Bypass Age Verification"

ArchiveTeam has finished archiving all goo.gl short links (tracker.archiveteam.org)

Node.js is able to execute TypeScript files without additional configuration (nodejs.org)

I Prefer RST to Markdown (2024) (buttondown.com)

Show HN: ASCII Tree Editor (asciitree.reorx.com)

Fun with Finite State Transducers (blog.yossarian.net)

BBC Micro, ancestor to ARM (retrogamecoders.com)

The Microscopic Forces That Break Hearts (thewaitlist.substack.com)

MS-DOS development resources (github.com)

AI vs. Professional Authors Results (mark---lawrence.blogspot.com)

Why Nim? (undefined.pyfy.ch)

A Visual Exploration of Gaussian Processes (2019) (distill.pub)

Here be dragons: Preventing static damage, latchup, and metastability in the 386 (righto.com)

Show HN: Fallinorg - Offline Mac app that organizes files by meaning (fallinorg.com)

IMDB Terminal Browser (github.com)

LL3M: Large Language 3D Modelers (threedle.github.io)

Faster Index I/O with NVMe SSDs (marginalia.nu)

Primitive Streaming Gods (tedium.co)

Teaching GPT-5 to Use a Computer (prava.co)

HN Search isn't ingesting new data since Friday (github.com)

Electricity prices are climbing more than twice as fast as inflation (npr.org)

LLMs tell bad jokes because they avoid surprises (danfabulich.medium.com)

Who does your assistant serve? (xeiaso.net)

SuperSight: A graphical enhancement mod for Brøderbund's "Stunts" (marnetto.net)

Dispelling misconceptions about RLHF (aerial-toothpaste-34a.notion.site)

State of the U.S. Semiconductor Industry 2025 [pdf] (semiconductors.org)

The System Inside the System (worksonmymachine.ai)

The decline of high-tech manufacturing in the United States (blog.waldrn.com)

Carved stone mask – Pre-pottery, Neolithic B period (imj.org.il)

Review of Anti-Aging Drugs (scienceblog.com)

Does OLAP Need an ORM (clickhouse.com)

The Photographic Periodic Table of the Elements (2017) (periodictable.com)

IQ tests results for AI (trackingai.org)

PG Auto Upgrade – Docker (and K8s) container to auto upgrade your database (github.com)

VictoriaLogs Practical Ingestion Guide for Message, Time and Streams (victoriametrics.com)

Cache of WW2 bombs found under a playground in Northumberland (bbc.co.uk)

Sunny days are warm: why LinkedIn rewards mediocrity (elliotcsmith.com)

Mangle – a language for deductive database programming

Comments (1)