Modern NewsTopAskShowBestNew

New

Tutorial: Introduction to Formal Verification with Lean (Part 1)

by birdculture · 2 minutes ago

1|hashcloak.com|0 comments

No President Has Embarrassed This Country the Way Trump Did Last Night

by petethomas · 2 minutes ago

1|newrepublic.com|0 comments

Valve's 14-Year Journey to Make the Steam Machine

by HelloUsername · 3 minutes ago

1|www.bloomberg.com|0 comments

World Models

by selimonder · 3 minutes ago

1|twitter.com|0 comments

Typing Speed Test, but for Developers

by hronecviktor · 4 minutes ago

1|haxxorwpm.0s.is|0 comments

Kimi K3 Might Have Just Started a Crash of the US Economy

by zelmetennani · 6 minutes ago

2|danielmiessler.com|0 comments

Taylor Farms Recall. 27 States and the List Includes Bags Sold in Grocery Stores

by speckx · 8 minutes ago

1|www.marlerblog.com|0 comments

Jack Conte: Why I'm (sort of) not worried about AI [video]

by magistr4te · 9 minutes ago

1|www.youtube.com|0 comments

Is there any need for low cost LinkedIn followup reminder solution

by vinayrsbalhara · 9 minutes ago

Hi my core startup is different but I am facing a financial bottom, so I am taking small side projects as well , I got few people who were asking for something that can help them sending followup messages that got buried under new conversations , does a lightweight tool may be around 10 usd per month , is something people buy rapidly , that solves the issue with finding the exact linkedin profile link and reminding the users that this person needs a followup call. please let me know I have build the easy version of it but if someone is genuinely always welcome .

1||0 comments

Show HN: Medows – an AI clinical workspace for doctors on ward rounds

by alapanx · 11 minutes ago

1|www.medows.ai|0 comments

Meta's new AI chips will begin production in September

by gmays · 11 minutes ago

1|techcrunch.com|0 comments

Amazon invents the Attachment Economy bait-and-switch

by mikelgan · 12 minutes ago

1|www.machinesociety.ai|1 comments

I indexed 15,000 company hiring boards to search every (most) live tech jobs

by anirudra · 15 minutes ago

1|www.padmi.ai|1 comments

/dev/tcp to do fast and light TCP health checks

by arberx · 15 minutes ago

1|www.linuxjournal.com|0 comments

Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video]

by amichail · 16 minutes ago

1|www.youtube.com|1 comments

Show HN: Firedeck – Firebase Console for iPhone and iPad

by adamgelatka · 19 minutes ago

1|firedeck.net|0 comments

The Java Story, the Official Documentary

by Dr_Emann · 19 minutes ago

1|www.youtube.com|0 comments

Spotify Deleted 75M AI-Generated Tracks – and It's Not Done Yet

by CharlesW · 19 minutes ago

1|www.gadgetreview.com|0 comments

Show HN: Typedeck – a Mac presentation app with a deterministic layout engine

by TypeDeck · 22 minutes ago

1|apps.apple.com|0 comments

Show HN: Voronoi Go – The game of Go without the grid

by igpay · 24 minutes ago

1|voronoigo.com|0 comments