How to write mathematics. (1973) [pdf]

https://sites.math.washington.edu/~lind/Resources/Halmos.pdf

1•fanf2•8m ago•0 comments

Create videos with your words for free – Introducing Bing Video Creator

https://blogs.bing.com/search/June-2025/Introducing-Bing-Video-Creator

1•miles•8m ago•0 comments

AI Killed the AI Engineer

https://bloop.ai/blog/ai-killed-the-ai-engineer

1•sebg•10m ago•0 comments

Unison Lang: A big idea of content-addressed code

https://www.unison-lang.org/docs/the-big-idea/

1•anhldbk•14m ago•0 comments

Unreal Engine 5.6 Tech Demo: The Witcher 4

https://www.youtube.com/watch?v=FJtF3wzPSrY

1•fork-bomber•14m ago•0 comments

World won't forget Tiananmen Square, US and Taiwan say

https://www.theguardian.com/world/2025/jun/04/world-wont-forget-tiananmen-square-us-and-taiwan-say-on-36th-anniversary-of-massacre

1•suraci•16m ago•0 comments

Cloud Run GPUs, now GA, makes running AI workloads easier for everyone

https://cloud.google.com/blog/products/serverless/cloud-run-gpus-are-now-generally-available

1•mariuz•21m ago•0 comments

Timeline of the Far Future

https://en.wikipedia.org/wiki/Timeline_of_the_far_future

1•sebg•24m ago•0 comments

Click-V: A RISC-V emulator built with ClickHouse SQL

https://github.com/SpencerTorres/Click-V

2•calcifer•26m ago•0 comments

A Start-to-Finish Literature Review Workflow (2018)

https://kimberlyhirsh.com/2018/06/29/a-starttofinish-literature.html

1•Tomte•26m ago•0 comments

Rewrite OS without C why, how, and when?

https://gizvault.com/archives/rewrite-os-without-c-why-how-and-when

2•ricecat•28m ago•0 comments

Why I Use a Dumbphone in 2025 (and Why You Should Too)

https://samueleamato.xyz/2025/06/04/why-i-use-a-dumbphone.html

2•rd_wei•29m ago•0 comments

Unbundling Tools for Thought (2022)

https://borretti.me/article/unbundling-tools-for-thought

1•Tomte•31m ago•0 comments

Limit Order Book Event Stream Prediction with Diffusion Model

https://arxiv.org/abs/2412.09631

1•wertyk•32m ago•0 comments

Show HN: LangFlick – TikTok but for Language Learning

https://apps.apple.com/us/app/langflick/id6746555698

1•ahmetomer•35m ago•0 comments

S1

https://openaudio.com/blogs/s1

5•robertvc•40m ago•0 comments

Ukraine war spurred infosec vet Mikko Hyppönen to pivot to drones

https://www.theregister.com/2025/06/04/mikko_hypponen_drone/

3•sohkamyung•40m ago•1 comments

Show HN: I made a directory to find MVP builders instantly

https://www.easymvp.io/

1•Prarthana2802•40m ago•0 comments

The book with a multiplayer first-person shooter inside [video]

https://www.youtube.com/watch?v=8SiUnqMJEVU

1•nxobject•41m ago•0 comments

The Core of Fermat's Last Theorem Just Got Superpowered

https://www.quantamagazine.org/the-core-of-fermats-last-theorem-just-got-superpowered-20250602/

1•isaacfrond•45m ago•0 comments

Swarc: SIMD Within A Register C (1998)

https://aggregate.ece.engr.uky.edu/SWAR/Swarc/Scc.html

1•abhi9u•45m ago•0 comments

A Business Card Which Is a FPGA Dev Board

https://www.hackster.io/pzeno/fpga-based-e-paper-business-card-9bb5e0

1•signalhound•47m ago•0 comments

Ask HN: Programmer's Best Years

2•TheAlchemist•51m ago•2 comments

I built a WAF in Go with much higher detection rate than CF (Free)

https://github.com/chaitin/SafeLine

1•Carriethebest•51m ago•0 comments

Frothy Tech Returns Helped Mint an Extra 600,000Maires in 2024

https://www.bloomberg.com/news/articles/2025-06-04/frothy-tech-returns-helped-mint-an-extra-600-000-millionaires-in-2024

1•helsinkiandrew•53m ago•1 comments

Adobe finally releases Photoshop for Android, and it's free (for now)

https://arstechnica.com/gadgets/2025/06/adobe-finally-releases-photoshop-for-android-and-its-free-for-now/

1•Brajeshwar•54m ago•0 comments

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

https://daringfireball.net/2025/06/apple_appeals_eu_interop_requirements

3•bryanrasmussen•55m ago•2 comments

Show HN: Modern and Simple time-off management app

https://saturnai.app/

1•danesto•57m ago•0 comments

Surface Laptop 13in review: Microsoft's cheaper, more compact Windows 11 machine

https://www.theguardian.com/technology/2025/jun/04/surface-laptop-13in-windows-11-ai-notebook-review

2•tosh•59m ago•0 comments

Run multiple Claude Code agents in parallel using Git worktrees

https://twitter.com/kieranklaassen/status/1930032748951154966

2•tosh•1h ago•0 comments

How to write mathematics. (1973) [pdf]

Create videos with your words for free – Introducing Bing Video Creator

AI Killed the AI Engineer

Unison Lang: A big idea of content-addressed code

Unreal Engine 5.6 Tech Demo: The Witcher 4

World won't forget Tiananmen Square, US and Taiwan say

Cloud Run GPUs, now GA, makes running AI workloads easier for everyone

Timeline of the Far Future

Click-V: A RISC-V emulator built with ClickHouse SQL

A Start-to-Finish Literature Review Workflow (2018)

Rewrite OS without C why, how, and when?

Why I Use a Dumbphone in 2025 (and Why You Should Too)

Unbundling Tools for Thought (2022)

Limit Order Book Event Stream Prediction with Diffusion Model

Show HN: LangFlick – TikTok but for Language Learning

S1

Ukraine war spurred infosec vet Mikko Hyppönen to pivot to drones

Show HN: I made a directory to find MVP builders instantly

The book with a multiplayer first-person shooter inside [video]

The Core of Fermat's Last Theorem Just Got Superpowered

Swarc: SIMD Within A Register C (1998)

A Business Card Which Is a FPGA Dev Board

Ask HN: Programmer's Best Years

I built a WAF in Go with much higher detection rate than CF (Free)

Frothy Tech Returns Helped Mint an Extra 600,000Maires in 2024

Adobe finally releases Photoshop for Android, and it's free (for now)

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

Show HN: Modern and Simple time-off management app

Surface Laptop 13in review: Microsoft's cheaper, more compact Windows 11 machine

Run multiple Claude Code agents in parallel using Git worktrees

'Mountainhead' is the tech industry version of 'Succession' and it's glorious

How to write mathematics. (1973) [pdf]

Create videos with your words for free – Introducing Bing Video Creator

AI Killed the AI Engineer

Unison Lang: A big idea of content-addressed code

Unreal Engine 5.6 Tech Demo: The Witcher 4

World won't forget Tiananmen Square, US and Taiwan say

Cloud Run GPUs, now GA, makes running AI workloads easier for everyone

Timeline of the Far Future

Click-V: A RISC-V emulator built with ClickHouse SQL

A Start-to-Finish Literature Review Workflow (2018)

Rewrite OS without C why, how, and when?

Why I Use a Dumbphone in 2025 (and Why You Should Too)

Unbundling Tools for Thought (2022)

Limit Order Book Event Stream Prediction with Diffusion Model

Show HN: LangFlick – TikTok but for Language Learning

S1

Ukraine war spurred infosec vet Mikko Hyppönen to pivot to drones

Show HN: I made a directory to find MVP builders instantly

The book with a multiplayer first-person shooter inside [video]

The Core of Fermat's Last Theorem Just Got Superpowered

Swarc: SIMD Within A Register C (1998)

A Business Card Which Is a FPGA Dev Board

Ask HN: Programmer's Best Years

I built a WAF in Go with much higher detection rate than CF (Free)

Frothy Tech Returns Helped Mint an Extra 600,000Maires in 2024

Adobe finally releases Photoshop for Android, and it's free (for now)

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

Show HN: Modern and Simple time-off management app

Surface Laptop 13in review: Microsoft's cheaper, more compact Windows 11 machine

Run multiple Claude Code agents in parallel using Git worktrees