frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

https://flare.henryrobbins.com/
2•matt_d•1h ago

What Is to Be Done? (2023)

https://twitter.com/pmarca/status/1666113642709020672
1•tosh•55s ago•0 comments

The tab is coming due for America's borrowing binge

https://www.axios.com/2026/09/13/national-debt-interest-rates-rising
1•toomuchtodo•1m ago•0 comments

Image to SVG in the browser, with no upload and real point editing

https://getsvg.app/
1•msmode•1m ago•0 comments

Calspan Bicycle and Motorcycle Dynamics Reports

http://bicycle.tudelft.nl/schwab/Bicycle/calspan/
1•Bluestein•2m ago•0 comments

Google is ending Gmail 'Send as' support for third-party accounts

https://proton.me/blog/gmail-ends-send-as-third-party
1•sltkr•2m ago•0 comments

The Air Computer

https://thechipletter.substack.com/p/the-air-computer
2•klelatti•3m ago•0 comments

Suicidal Compassion: Utilitarianism at AI Companies Endangers Humanity

https://ai-frontiers.org/articles/suicidal-compassion-how-utilitarianism-at-ai-companies-endanger...
3•YeGoblynQueenne•5m ago•0 comments

Government Survey Finds More Screentime Means Lower Scores for Japanese Students

https://www.nippon.com/en/japan-data/h02871/
3•akyuu•5m ago•0 comments

Rhizome ArtBase

https://artbase.rhizome.org/wiki/Main_Page
3•themaxdavitt•5m ago•0 comments

One event, five status codes and a class

https://percentes.ai/writing/2026/one-event-five-status-codes-and-a-class/
2•itsveems•7m ago•0 comments

You delete a file on Linux while a program has it open. What happens? (quiz)

https://textlog.cc/post/3662?hn
5•stagas•10m ago•0 comments

Skaterdater (1965) [video]

https://www.youtube.com/watch?v=IhgrkjSyrJU
2•js2•10m ago•0 comments

Infinote is an infinite canvas for sticky notes installable as a PWA

https://infinote.surge.sh/
2•stagas•13m ago•0 comments

Show HN: Makefaster.dev

https://makefaster.dev
2•jjcm•14m ago•0 comments

A nanolaser with extreme dielectric confinement

https://www.science.org/doi/10.1126/sciadv.adx3865
1•westurner•15m ago•1 comments

Trump rejects call by CEOs of Anthropic, OpenAI and xAI to slow AI down

https://www.yahoo.com/news/us/article/trump-rejects-call-by-ceos-of-anthropic-openai-and-xai-to-s...
4•respectattentio•16m ago•4 comments

A 40-minute timer for thinking before you ask the AI

https://www.sithankanna.com/ceo-hour/
1•hdit•16m ago•0 comments

Piezoelectric effect in polycrystalline diamond membranes

https://www.science.org/doi/10.1126/sciadv.aea8318
1•westurner•18m ago•1 comments

Built a Lego minifigure configurator. Shuffle until something makes you laugh

https://minifigs-studio.vercel.app/
2•fvitas•20m ago•0 comments

Principles for Fast Tokio Applications

https://dial9-rs.github.io/blog/principles-for-fast-tokio-applications/
1•rusbus•20m ago•0 comments

Starling is a desktop app disguised as a desktop environment

https://www.howtogeek.com/one-developer-turned-a-linux-desktop-environment-into-a-single-app/
1•fork-bomber•21m ago•0 comments

SubmitHub's new AI music policy

https://www.submithub.com/story/ai-policy
1•jasongrishkoff•23m ago•0 comments

Show HN: AgentSpork, Agents help agents, Humans touch grass

https://agentspork.com/
1•kevin_kraft•24m ago•0 comments

Frontier Engineering

https://kiro.dev/topics/frontier-engineering/
2•dnw•24m ago•0 comments

AI job cuts fell short of forecasts, with 32% expected but only 14% reported

https://www.mckinsey.com/featured-insights/charts/ai-job-losses-fall-short-of-forecasts
3•giuliomagnifico•24m ago•0 comments

Hacking

1•janizendani•25m ago•0 comments

Slint: Declarative GUI for Rust

https://slint.rs/
2•Bluestein•26m ago•0 comments

CS 312: Deep Learning Alchemy

https://www.cs.stanford.edu/
2•ray__•29m ago•0 comments

Russian developers used AI to build 'kamikaze' attack drone software

https://www.theguardian.com/world/2026/sep/12/ukraine-war-briefing-russian-developers-used-ai-to-...
1•01-_-•29m ago•0 comments

OpenAI boss and Elon Musk back calls to put brakes on 'reckless' AI development

https://www.theguardian.com/technology/2026/sep/13/openai-sam-altman-elon-musk-back-anthropic-cal...
1•sbulaev•31m ago•0 comments