Tesla AI VP Milan Kovac Resigns After 9 Years Leading FSD and Optimus Projects (gearmusk.com)

1 points by loog5566 3m ago 0 comments

Show HN: The 5-minutes Competitor Analysis (ycompetitor.com)

1 points by rubeekrumpet 6m ago 0 comments

I built an Image Splitter tool in under an hour using ChatGPT (tools.techchee.com)

1 points by ketyung 16m ago 1 comments

DeepSeek-R1-0528 Did Not Have a Moment (thezvi.substack.com)

1 points by paulpauper 19m ago 1 comments

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

2 points by paulpauper 20m ago 0 comments

Ask HN: Do we need a language designed specifically for AI code generation?

1 points by baijum 31m ago 0 comments

Good pixel art can be one-shotted by AI now (gametorch.app)

2 points by gametorch 39m ago 3 comments

I dream of roombas: 1000s of automated AI robots that autonomously maintain code (ghuntley.com)

3 points by ghuntley 45m ago 1 comments

China Kicks Off Human Testing of Implantable Brain-Computer Interface Devices (yicaiglobal.com)

1 points by gametorch 52m ago 0 comments

Why are front end dev demand so high if front end development is easier? (2012) (simonwillison.net)

13 points by thunderbong 53m ago 3 comments

A Novel "Reasoning"-Enhancing Technique for Large Language Models (marqcodes.com)

1 points by N3Xxus_6 59m ago 2 comments

Astonishing discovery by computer scientist: how to squeeze space into time [video] (youtube.com)

1 points by drhodes 1h ago 0 comments

Show HN: Resumable Web Streams (github.com)

2 points by cramforce 1h ago 0 comments

AMC Says It Will Show More Ads Before Movies (nytimes.com)

3 points by cebert 1h ago 6 comments

Getting C++ Hello World working on Windows (a comedy & tragedy) (sdegutis.github.io)

2 points by 90s_dev 1h ago 2 comments

NASA delays next flight of Boeing's alternative to SpaceX Dragon (theedgemalaysia.com)

3 points by bookmtn 1h ago 0 comments

Can Schrodinger's Cat Factor Numbers? (mathpages.com)

2 points by gametorch 1h ago 0 comments

NASA Delays Next Flight of Boeing's Alternative to SpaceX Dragon (bloomberg.com)

3 points by bookmtn 1h ago 0 comments

California AG vows crack down on copper wire thefts in the state (abc7.com)

2 points by lxm 1h ago 0 comments

Show HN: A photo backup idea – to your own storage, not iCloud/Google (myphoto-vault.netlify.app)

4 points by Nainiket 1h ago 0 comments

Trump administration races to fix a big mistake: DOGE fired too many people (washingtonpost.com)

14 points by MilnerRoute 1h ago 2 comments

Getting Past Procastination (spectrum.ieee.org)

6 points by WaitWaitWha 1h ago 3 comments

Reverse Engineering Cursor's LLM Client (tensorzero.com)

3 points by paulwarren 1h ago 0 comments

Show HN: Cpdown – Copy any webpage/YouTube subtitle as clean Markdown(LLM-ready) (github.com)

2 points by ysm0622 1h ago 0 comments

Pentagon Disinformation Fueled America's UFO Mythology (wsj.com)

4 points by doener 1h ago 1 comments

Open-source code repos open to supply chain attacks, researchers warn (scworld.com)

3 points by ricecat 1h ago 0 comments

Ask HN: What non-AI projects are you working on?

5 points by kikki 1h ago 4 comments

Nintendo Switch 2 Teardown [video] (youtube.com)

3 points by Lwrless 1h ago 0 comments

TSA urges people to stop trying to use a Costco card as a sufficient Real ID (wsfa.com)

8 points by sharkweek 1h ago 0 comments

The reason Indians are lost (economist.com)

2 points by RestlessMind 1h ago 1 comments

Ask HN: Why are job descriptions and resumes so bad?

1 points by throwaway123198 2h ago 0 comments

Show HN: Pcrassist.com – AI powered report assistant for EMTs (pcrassist.com)

1 points by josdijkstra 2h ago 0 comments

Error Monads the Hard Way (articles.pragdave.me)

1 points by thunderbong 2h ago 0 comments

Show HN: C++ SFML Game Engine for Nintendo Switch, Web (HTML5), PC and Mobile (github.com)

1 points by Is_Daouda 2h ago 0 comments

Musk's XAI Is Trying to Borrow $5B While His Relationship with Trump Blows Up (wsj.com)

3 points by TheAlchemist 2h ago 0 comments

We Should Immediately Nationalize SpaceX and Starlink (jacobin.com)

7 points by Improvement 2h ago 15 comments

ACLU sues Sonoma County, alleges illegal drone surveillance program (ktvu.com)

4 points by walterbell 2h ago 0 comments

Show HN: Email Scraper for Instagram (chromewebstore.google.com)

2 points by qwikhost 2h ago 0 comments

A New System Aims to Save Injured Brains and Lives (nytimes.com)

3 points by bookofjoe 2h ago 1 comments

How to Turn an Acquaintance into a Friend (talk.bradwoods.io)

4 points by bradwoodsio 2h ago 0 comments

Show HN: We built a free AI assistant that finds Amazon products instantly (sweepvalet.com)

3 points by felixthecat23 2h ago 1 comments

Ask HN: A Tetris variant with greater tactical and strategic depth?

3 points by amichail 2h ago 0 comments

Ask HN: Tacit knowledge video you've seen?

1 points by rahimnathwani 2h ago 0 comments

Researchers recreate ancient Egyptian blues (news.wsu.edu)

1 points by gnabgib 2h ago 0 comments

Beware Not All Staff Positions Are Staff Roles (jkebertz.medium.com)

3 points by mooreds 2h ago 0 comments

Beyond OCR: TIA-Pdf-QA-Bench (3rdaiautomation.com)

3 points by vivito 3h ago 1 comments

Sports betting seems to be spurring a rise in gambling addiction (theatlantic.com)

10 points by JumpCrisscross 3h ago 1 comments

The AI Prompts Doge Used to "Munch" Contracts Related to Veterans' Health (propublica.org)

6 points by lwo32k 3h ago 1 comments

Trump thinks Americans consume too much. He has a point (economist.com)

8 points by mastazi 3h ago 1 comments

Why Are Smokestacks So Tall? (practical.engineering)

12 points by azeemba 3h ago 0 comments

Implementation of Dependent Types

3 fanf2 1 6/6/2025, 5:42:03 PM cse.chalmers.se ↗

Comments (1)

thomasdziedzic · 10h ago

seems like it's down, getting an ERR_CONNECTION_REFUSED