frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

A mathematical proof assistant (v2)

https://github.com/teorth/estimates
3•ptrj_•3h ago

Everyone Is Cheating Their Way Through College

https://www.msn.com/en-us/news/technology/everyone-is-cheating-their-way-through-college/ar-AA1EjCRk
1•zdw•56s ago•0 comments

High tariffs become 'real' for Adafruit with first $36K bill for import duties

https://yro.slashdot.org/story/25/05/10/0715216/high-tariffs-become-real-for-adafruit---with-their-first-36k-bill-just-for-import-duties
1•MilnerRoute•1m ago•0 comments

Decimal Classification

https://www.gutenberg.org/cache/epub/59073/pg59073-images.html
1•andsoitis•4m ago•0 comments

DateTimeFormats: Parse date time by examples (no EEEE VV zzz)

https://github.com/google/mug/wiki/Parsing-Date-Time-Should-Be-10x-Easier
1•byjy•6m ago•1 comments

Why the Apple II Didn't Support Lowercase Letters (2020)

https://www.vintagecomputing.com/index.php/archives/2833/why-the-apple-ii-didnt-support-lowercase-letters
2•colinbartlett•7m ago•1 comments

Number of open tech jobs is rising

https://twitter.com/gergelyorosz/status/1921169552068547005
1•baxtr•8m ago•1 comments

Devseeker

https://github.com/iBz-04/Devseeker
1•handfuloflight•9m ago•0 comments

Soviet-era spacecraft plunges to Earth after 53 years stuck in orbit

https://www.theguardian.com/science/2025/may/10/kosmos-482-soviet-spacecraft-plunges-to-earth
1•tzmlab•12m ago•0 comments

Instance: AI coding tools by the company behind MIMO

https://instance.so
1•franze•12m ago•0 comments

Show HN: Typo.Domains – Find and recover traffic lost to domain typos

https://typo.domains
1•damechen•14m ago•0 comments

Top Greatest Movie Soundtracks

1•WalterBright•19m ago•3 comments

China Export Controls Whack AMD Datacenter GPU Business

https://www.nextplatform.com/2025/05/09/china-export-controls-whack-amd-datacenter-gpu-business/
1•giuliomagnifico•19m ago•0 comments

Show HN: I made a tool to grade faster and fight teacher burnout

https://ai-essay-grader.com
1•kkfir13•19m ago•1 comments

San Francisco crypto founder faked his own death

https://sfstandard.com/2025/05/08/jeffy-yu-zerebro-fake-death/
1•LorenDB•24m ago•0 comments

Show HN: Xenolab – Rasp Pi monitor for my pet carnivourus plants

https://github.com/blackrabbit17/xenolab
2•malux85•24m ago•1 comments

Air to Bread

https://fi-le.net/air/
1•fi-le•25m ago•0 comments

Build tools around workflows, not workflows around tools (2020)

https://thesephist.com/posts/tools/
2•thesephist•32m ago•0 comments

Can a Website Save the World?

https://futureofthe.tech/posts/can-a-website-save-the-world/
1•judemon•34m ago•0 comments

Fast Tech

https://chaos.social/@gsuberland/114485304658708399
1•luu•34m ago•0 comments

GEMM with Thread Block Clusters on Nvidia Blackwell GPUs

https://research.colfax-intl.com/cutlass-tutorial-gemm-with-thread-block-clusters-on-nvidia-blackwell-gpus/
1•ashvardanian•35m ago•0 comments

Voice Typing > Keyboard Typing

https://voicetype.ai/
1•mlashuel•36m ago•0 comments

AI Is Not Your Friend

https://www.theatlantic.com/technology/archive/2025/05/sycophantic-ai/682743/
2•fortran77•41m ago•0 comments

Can Apple fix the mediaanalysisd CPU hog?

2•justmarc•42m ago•0 comments

Q&A with Sonos interim CEO Tom Conrad on the disastrous app redesign and more

https://www.theverge.com/speakers/664329/sonos-ceo-tom-conrad-interview-app-speakers-subscriptions
1•squiffsquiff•42m ago•1 comments

Stresstest my AI chat – HAMMER IT

1•tobiaslins•44m ago•0 comments

The Iberian blackout shows the dangers of operating power grids with low inertia

https://watt-logic.com/2025/05/09/the-iberian-blackout-shows-the-dangers-of-operating-power-grids-with-low-inertia/
1•kgwgk•48m ago•0 comments

SoundCloud changes policies to allow AI training on user content

https://techcrunch.com/2025/05/09/soundcloud-changes-policies-to-allow-ai-training-on-user-content/
2•tanelpoder•48m ago•0 comments

'Moments in Time' Series Celebrates Iconic Queer Australian Stories

https://www.starobserver.com.au/news/national-news/moments-in-time-series-celebrates-iconic-queer-australian-stories/236588
1•gnabgib•48m ago•0 comments

Pitch your dream AI agent workflow, get a custom agent back

https://vestra.ai/studio
1•eldobaggins•49m ago•0 comments

When a bad analysis is worse than none at all

https://surfingcomplexity.blog/2025/05/10/when-a-bad-analysis-is-worse-than-none-at-all/
1•azhenley•54m ago•0 comments