Abstract visual reasoning based on algebraic methods

Comments (3)

nialse · 3h ago

There’s an impedance mismatch between symbolic and statistical views of world knowledge: one grounded in logic, the other in probability. Natural language, during the last century programming languages and more recently large language models, offer the strongest bridges we’ve ever seen between these paradigms. Perhaps one day they’ll be fully fused. And perhaps none of us will truly understand how.

canjobear · 4h ago

It seems like if this really works, then it should do well on ARC.

nialse · 3h ago

At a glance it seems that the authors do not think this is viable in the real world. Without looking it up it appears that it is from the field of symbolic AI.

Why Android can't use CDC Ethernet (2023) (jordemort.dev)

Panjandrum: The 'giant firework' built to break Hitler's Atlantic Wall (bbc.com)

Show HN: Let’s Bend – Open-Source Harmonica Bending Trainer (letsbend.de)

How Much Energy Does It Take to Think? (quantamagazine.org)

Cheap yet ultrapure titanium might enable widespread use in industry (2024) (phys.org)

How Compiler Explorer Works in 2025 (xania.org)

Startup Equity 101 (quarter--mile.com)

Gaussian integration is cool (rohangautam.github.io)

Binfmtc – binfmt_misc C scripting interface (netfort.gr.jp)

Efficient mRNA delivery to resting T cells to reverse HIV latency (nature.com)

My first attempt at iOS app development (mgx.me)

The last six months in LLMs, illustrated by pelicans on bicycles (simonwillison.net)

Administering immunotherapy in the morning seems to matter. Why? (owlposting.com)

Joining Apple Computer (2018) (folklore.org)

Building an AI server on a budget (informationga.in)

Launching the BeOS on Hitachi Flora Prius Systems (1999) (testou.free.fr)

<Blink> and <Marquee> (2020) (danq.me)

Self-Host and Tech Independence: The Joy of Building Your Own (ssp.sh)

What Happens When People Don't Understand How AI Works (theatlantic.com)

Tool to identify poisonous books developed by University of St Andrews (theguardian.com)

Futa – A functionally useless AI terminal assistant (github.com)

Focus and Context and LLMs (taras.glek.net)

Coventry Very Light Rail (coventry.gov.uk)

Ask HN: How to learn CUDA to professional level

Acetylated cellulose suppresses mass through commensals consuming carbohydrates (sciencedirect.com)

PS5 shooter goes from 5 players to bestseller after devs defend game (polygon.com)

Field Notes from Shipping Real Code with Claude (diwank.space)

Nginx Restic Back End (grepular.com)

Congress is poised to increase energy bills by hundreds of dollars per household (grist.org)

What was Radiant AI, anyway? (blog.paavo.me)

Low-Level Optimization with Zig (alloc.dev)

Why We're Moving on from Nix (blog.railway.com)

BorgBackup 2 has no server-side append-only anymore (github.com)

A tool for burning visible pictures on a compact disc surface (2022) (github.com)

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray (aoli.al)

The time bomb in the tax code that's fueling mass tech layoffs (qz.com)

Why Understanding Software Cycle Time Is Messy, Not Magic (arxiv.org)

Fray: A Controlled Concurrency Testing Framework for the JVM (github.com)

OneText (YC W23) Is Hiring a DevOps/DBA Lead Engineer (jobs.ashbyhq.com)

Knowledge Management in the Age of AI (ericgardner.info)

The FAIR Package Manager: Decentralized WordPress infrastructure (joost.blog)

The race to find GPS alternatives (technologyreview.com)

Washington Post's Privacy Tip: Stop Using Chrome, Delete Meta Apps (and Yandex) (tech.slashdot.org)

Convert photos to Atkinson dithering (gazs.github.io)

My experiment living in a tent in Hong Kong's jungle (corentin.trebaol.com)

Musk-Trump dispute includes threats to SpaceX contracts (spacenews.com)

Bill Atkinson has died (daringfireball.net)

Dolphin Emulator Progress Report: Release 2506 (dolphin-emu.org)

Tapping into the World’s largest gold reserves (uni-goettingen.de)

Researchers develop ‘transparent paper’ as alternative to plastics (japannews.yomiuri.co.jp)

Abstract visual reasoning based on algebraic methods

Comments (3)