frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
11•matt_d•4d ago

Comments

munchler•2m ago
Why is subtraction not part of the algebra? It’s certainly familiar to every high school math student. This omission allows the counterexample, so the reveal is a bit of a disappointment IMHO.

A SAT Attack on Tarski's High School Algebra Problem

https://arxiv.org/abs/2608.08421
11•matt_d•4d ago•1 comments

Asus Bike Booster

https://www.asus.com/accessories/bike-booster/asus-oxiis/oxiis-intelligent-bike-booster/
479•wiradikusuma•4d ago•322 comments

Superconducting monolayer cuprate with a single CuO2 plane

https://www.nature.com/articles/s41586-026-10857-1
27•sbulaev•3d ago•7 comments

Asynchronous I/O in DuckDB: Work, Thread, Work

https://duckdb.org/2026/07/31/asynchronous-io
194•pdet•5d ago•21 comments

Chestnut – eGPU dock with open-source firmware

https://hwbusters.com/news/comma-ai-egpu-dock-runs-open-source-firmware-249-bare-799-with-an-rx-9...
41•txrx0000•2d ago•7 comments

Patterns and problems in emerging multi-agent systems

https://www.anthropic.com/research/multiagent-systems
131•maxutility•10h ago•84 comments

Super El Niño Keeps Growing as New Forecasts Reach Record Territory Ahead Winter

https://www.severe-weather.eu/long-range-2/super-el-nino-growth-accelerating-to-record-strength-f...
293•dgellow•17h ago•186 comments

Gooseworks (YC W23) Is Hiring a Founding Builder / Engineer

https://www.ycombinator.com/companies/gooseworks/jobs/UJ4vH2F-founding-engineer
1•shivsak•49m ago

Semaglutide linked to lower predicted dementia risk

https://alz-journals.onlinelibrary.wiley.com/doi/10.1002/dad2.70432
443•randycupertino•20h ago•322 comments

What happens when an LLM never sees material beyond fifth grade?

https://littlelearner-ll.github.io/
167•porridgeraisin•5h ago•124 comments

Cultivating a state of mind where new ideas are born (2023)

https://www.henrikkarlsson.xyz/p/good-ideas
196•felixbraun•15h ago•48 comments

Software Engineering fundamentals matter more

https://rhonabwy.com/2026/08/15/software-engineering-fundamentals-matter-more-than-ever/
194•ingve•14h ago•133 comments

Guiding Ships with Moire Patterns

https://tinkerings.org/2018/03/28/guiding-ships-with-moire-patterns/
73•Eridanus2•11h ago•20 comments

At-home test for infected ticks could improve Lyme Disease diagnosis

https://www.smithsonianmag.com/innovation/the-first-at-home-test-for-infected-ticks-could-improve...
266•gmays•22h ago•102 comments

RISC-V: They Should Have Known Better

https://dmitry.gr/?r=06.%20Thoughts&proj=12.%20RV
339•dmitrygr•1d ago•382 comments

AI in drug discovery – what it is, where we stand and the path forward

https://www.science.org/content/blog-post/so-how-ai-drug-discovery-doing-really
150•AnodicElegy•17h ago•83 comments

Falstad Math and Physics Simulations

https://www.falstad.com/mathphysics.html
34•pykello•8h ago•7 comments

Show HN: Mic Drop, a real-time multiplayer karaoke game

https://www.micdrop.gg/
64•johnsillings•12h ago•28 comments

A fortuitous decade as an indie software developer

https://lapcatsoftware.com/articles/2026/8/3.html
106•frizlab•5d ago•14 comments

Numba in the Browser: Unlocking a New Scientific Python Stack in JupyterLite

https://notebook.link/blog/numba-in-the-browser/
55•xalfotis•4d ago•9 comments

A spectre is haunting Unicode

https://www.dampfkraft.com/ghost-characters.html
238•sensanaty•22h ago•92 comments

I built a browser-native SysEx librarian for 80s/90s synthesizers

https://bipluk.com/
28•halfradaition•3d ago•15 comments

Tracking down a Zsh history data loss bug

https://michael.stapelberg.ch/posts/2026-08-09-zsh-history-truncation-bug/
91•ingve•15h ago•35 comments

Abdominal fat predicts heart disease risk better than BMI

https://www.acc.org/about-acc/press-releases/2026/08/11/14/59/abdominal-fat-predicts-heart-diseas...
282•theanonymousone•15h ago•228 comments

AI has access to a vastly larger working memory than the human brain

https://davidepiffer.com/p/ai-isnt-outthinking-mathematicians
523•rzk•18h ago•451 comments

Show HN: Grafana agent observability for Hermes Agent

https://github.com/alexander-akhmetov/grafana-agento11y-hermes
8•eventuallyacat•4h ago•0 comments

Zapping Rocks Unlocks Stimulated Geologic Hydrogen

https://spectrum.ieee.org/stimulated-geologic-hydrogen
23•adm4•10h ago•6 comments

AI-Assisted GPU Porting of a 250k Line Legacy Weather Simulation Code

https://arxiv.org/abs/2608.13122
41•Jimmc414•14h ago•4 comments

Tea5767-Radio-Tuner

https://github.com/turtushig22-blip/tea5767-radio-tuner
47•turtushig22•12h ago•2 comments

Access to telemetry data: Automotive industry criticizes intelligence reform

https://www.heise.de/en/news/Access-to-telemetry-data-Automotive-industry-criticizes-intelligence...
6•_____k•57m ago•0 comments