Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers (arxiv.org)

1 points by luu 2m ago 0 comments

DevTerm – open-source Portable Terminal (clockworkpi.com)

1 points by kretaceous 4m ago 0 comments

Getting Started with Lazarus 4.0 IDE: IDE Tour and Installing Packages [video] (youtube.com)

1 points by chungy 7m ago 0 comments

Golden Owl solution is revealed, but leaves players of 31-year hunt disappointed (lemonde.fr)

1 points by austinallegro 10m ago 1 comments

I Built a Tool That Tells Me If a Side Project Will Ruin My Weekend (rafaelviana.io)

1 points by vianarafael 17m ago 0 comments

A new Lazarus arises – for the fourth time – for Pascal programming fans (theregister.com)

1 points by romaniitedomum 22m ago 0 comments

Cory Arcangel Recovered a Late Artist's Digital Legacy (newyorker.com)

1 points by FinnLobsien 25m ago 0 comments

Elizabeth Holmes' partner raises millions for new biotech testing startup (text.npr.org)

1 points by BostonFern 26m ago 0 comments

Interview: Bjarne Stroustrup on 21st century C++, AI risks (devclass.com)

2 points by romaniitedomum 30m ago 0 comments

Claimify: Extracting high-quality claims from language model outputs (microsoft.com)

2 points by tobr 34m ago 0 comments

Absolute Zero: Reinforced Self-Play Reasoning with Zero Data (arxiv.org)

1 points by leodriesch 40m ago 0 comments

New research finds substantial peat deposits in Colombia's conflicted Amazon (news.mongabay.com)

1 points by PaulHoule 40m ago 0 comments

The Emacs Widget Toolkit (appetrosyan.github.io)

1 points by signa11 41m ago 0 comments

Show HN: Shell-Dads – see a random tip from NIST DADS on terminal start (github.com)

1 points by avestura 44m ago 0 comments

Work Processes and Outcomes (surfingcomplexity.blog)

3 points by gpi 45m ago 0 comments

The Deadline (2014) (thomas-huehn.com)

1 points by Tomte 45m ago 0 comments

What is it like to be a thermostat? (1996) (organism.earth)

3 points by theletterf 51m ago 0 comments

Automatically grab the title of a web page (burntfen.com)

1 points by lentoutcry 52m ago 0 comments

I learned Snobol and then wrote a toy Forth (ratfactor.com)

1 points by ingve 1h ago 0 comments

Larry Tesler: Smalltalk Kernel Language Manual [pdf] (bitsavers.org)

2 points by ingve 1h ago 0 comments

Trump has officially dismantled the Digital Equity Act (thesarkariform.com)

5 points by someotherperson 1h ago 1 comments

Open Fortress on Steam (store.steampowered.com)

2 points by beeflet 1h ago 1 comments

Learned pain as a leading cause of chronic pain – LessWrong (lesswrong.com)

3 points by diwank 1h ago 0 comments

Show HN: I’m 16 years old and working on my first startup, a study app (notiv.app)

36 points by WilliamCranna 1h ago 12 comments

Soviet Spacecraft Crash Lands on Earth After a Journey of Half a Century (nytimes.com)

2 points by Stratoscope 1h ago 1 comments

WeSellRemotely – The ultimate remote sales job board (wesellremotely.com)

1 points by figoshi 1h ago 1 comments

Software company SAP apparently scraps gender diversity target (original in DE) (spiegel.de)

1 points by muditmudit 1h ago 0 comments

Europa Universalis 5 is so complex it will let you automate half the game (rockpapershotgun.com)

4 points by Tomte 1h ago 0 comments

The Accursed Share (en.wikipedia.org)

4 points by handfuloflight 1h ago 1 comments

Show HN: I made a free documentation downloader (devdocsdown.xyz)

3 points by glossardi 1h ago 0 comments

Thinkers and Doers (strangeloopcanon.com)

2 points by andrewrn 1h ago 1 comments

The effect of ChatGPT on students' learning performance, learning perception (nature.com)

2 points by feyman_r 1h ago 0 comments

The Quantified Knife Project (seattleultrasonics.com)

3 points by thebenedict 1h ago 0 comments

Theranos Fraudster's Boyfriend Starts New Blood-Testing Company (thedailybeast.com)

2 points by jnord 1h ago 0 comments

Does AI Progress Have a Speed Limit?–Asterisk (asteriskmag.com)

2 points by diwank 1h ago 0 comments

LiveCode and the Concert Pianist (livecode.com)

2 points by andsoitis 2h ago 0 comments

When Compilers Were the 'AI' That Scared Programmers (vivekhaldar.com)

1 points by sysoleg 2h ago 0 comments

Border agents are going to photograph everyone leaving the US by car (theverge.com)

3 points by emptybits 2h ago 0 comments

Show HN (nstatxt.com)

2 points by theill 2h ago 0 comments

Tripping

4 points by elcc 2h ago 1 comments

Focus2Flow – AI Study Tool (focus2flow.xyz)

1 points by the_plug 2h ago 1 comments

Polish startup made a flying star trooper like motorcycle doing 200km/h (dailymail.co.uk)

2 points by mectors 2h ago 0 comments

Learning Adaptive Parallel Reasoning with Language Models (arxiv.org)

2 points by PaulHoule 2h ago 0 comments

ZB-1 Radio Homing Adapter and Security Cover (timeandnavigation.si.edu)

2 points by red369 2h ago 0 comments

Mipmap selection in too much detail (pema.dev)

2 points by luu 2h ago 0 comments

The Great Displacement Is Already Well Under Way (shawnfromportland.substack.com)

4 points by 0xDEAFBEAD 2h ago 0 comments

AI and programming: the beginning of a new era (oreilly.com)

3 points by pajtai 2h ago 0 comments

One-Click RCE in Asus's Preinstalled Driver Software (mrbruh.com)

15 points by MrBruh 2h ago 1 comments

Trading Stuff for Money (dynomight.net)

2 points by Curiositry 2h ago 0 comments

The value of money: A survey of heterodox approaches [pdf] (econstor.eu)

2 points by hackandthink 2h ago 0 comments

BeeAI

2 handfuloflight 1 5/11/2025, 4:58:33 AM beeai.dev ↗

Comments (1)

cranberryturkey · 2h ago

how do i install on linux? ffs