A tool to verify estimates, II: a flexible proof assistant

https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/

1•jjgreen•6m ago•0 comments

Policy of Transience

https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/transience/

1•pekim•7m ago•0 comments

Web .NET Prototype – Godot Engine

https://godotengine.org/article/live-from-godotcon-boston-web-dotnet-prototype/

1•npinsker•8m ago•0 comments

Tired of paying for SaaS tools to send emails?

https://github.com/aaPanel/BillionMail

1•aapanel•9m ago•1 comments

Modern business adventures: short stories of techno-optimistic folly

https://logos.substack.com/p/modern-business-adventures

1•ArisC•10m ago•0 comments

How Unreal Engine 5 Is Killing Games [video]

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

1•xeonmc•10m ago•0 comments

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews

https://piware.de/post/2025-08-09-sourcery/

2•todsacerdoti•19m ago•0 comments

Show HN: QitOps – A CLI tool for unified API, performance, and security testing

https://github.com/qitops/qitops-cli-tools

1•qitops•19m ago•0 comments

Real-Time 3D Model Generation in Augmented Reality

https://arxiv.org/abs/2504.21033

1•PaulHoule•19m ago•0 comments

OpenEmail – Mail/HTTPS Protocol

https://github.com/Open-Email/MailHTTPS-Protocol

1•cidra_•20m ago•0 comments

AI Builder for your Front end

https://baloon.dev

1•ankurpata•22m ago•1 comments

10k Drum Machines

https://10kdrummachines.com/

1•TomWhitwell•23m ago•0 comments

25 Years of Autocratization – Democracy Trumped? [pdf]

https://www.v-dem.net/documents/61/v-dem-dr__2025_lowres_v2.pdf

1•pieterr•27m ago•0 comments

Broadcom sends cease-and-desist letters to perpetual VMware license holders

https://arstechnica.com/gadgets/2025/05/broadcom-sends-cease-and-desist-letters-to-subscription-less-vmware-users/

1•bit_qntum•28m ago•0 comments

A Typical Workday at a Japanese Hardware Tool Store [video]

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

2•Erikun•29m ago•0 comments

Judge questions Meta AI training as fair use

https://arstechnica.com/tech-policy/2025/05/judge-on-metas-ai-training-i-just-dont-understand-how-that-can-be-fair-use/

1•byte-bolter•30m ago•0 comments

Show HN: Build website to list newest SRE jobs

https://newsrejobs.com

1•theykk•31m ago•0 comments

Google Is Cooked

https://monkeylike.substack.com/p/google-is-cooked

2•TIJ•31m ago•0 comments

The Event Horizon of Fantasy

https://medium.com/luminasticity/the-event-horizon-of-fantasy-73fca7460072

1•bryanrasmussen•41m ago•0 comments

The Deathbed Fallacy

https://www.hjorthjort.xyz/2018/02/21/the-deathbed-fallacy.html

1•mefengl•43m ago•0 comments

Domain Connect

https://www.domainconnect.org/

1•gregsadetsky•44m ago•0 comments

Michael Saylor Bitcoin for Corporations 2025 Keynote Speech [video]

https://www.youtube.com/watch?v=3-vBBYEXv6M

1•simonebrunozzi•47m ago•0 comments

Google auto-converts passwords to passkeys on Android

https://www.androidpolice.com/google-may-auto-convert-passwords-to-passkeys-on-android/

1•vdelitz•49m ago•0 comments

Vibe Coding Tools (directory with demos)

https://www.indiehackers.com/vibe-coding-tools

2•rmason•57m ago•0 comments

Ransomware group LockBit appears to have been hacked

https://www.reuters.com/technology/ransomware-group-lockbit-appears-have-been-hacked-analysts-say-2025-05-08/

4•gray_amps•1h ago•0 comments

Meta Locate Objects in 3D

https://locate3d.atmeta.com/

1•totalview•1h ago•0 comments

Chinese chipmaker readies 128-core, 512-thread CPU with AVX-512

https://www.tomshardware.com/pc-components/cpus/chinese-chipmaker-readies-128-core-512-thread-cpu-with-avx-512-and-16-channel-ddr5-5600-support

2•ksec•1h ago•1 comments

The Taxonomy for Data Transformations in AI Systems

https://www.hopsworks.ai/post/a-taxonomy-for-data-transformations-in-ai-systems

1•jamesblonde•1h ago•0 comments

Writing LSP client in Clojure in 200 lines of code

https://vlaaad.github.io/lsp-client-in-200-lines-of-code

2•vlaaad•1h ago•0 comments

It Couldn't Be Done

https://twitter.com/jasonfried/status/1920985962559271129

1•tosh•1h ago•0 comments

A tool to verify estimates, II: a flexible proof assistant

Policy of Transience

Web .NET Prototype – Godot Engine

Tired of paying for SaaS tools to send emails?

Modern business adventures: short stories of techno-optimistic folly

How Unreal Engine 5 Is Killing Games [video]

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews

Show HN: QitOps – A CLI tool for unified API, performance, and security testing

Real-Time 3D Model Generation in Augmented Reality

OpenEmail – Mail/HTTPS Protocol

AI Builder for your Front end

10k Drum Machines

25 Years of Autocratization – Democracy Trumped? [pdf]

Broadcom sends cease-and-desist letters to perpetual VMware license holders

A Typical Workday at a Japanese Hardware Tool Store [video]

Judge questions Meta AI training as fair use

Show HN: Build website to list newest SRE jobs

Google Is Cooked

The Event Horizon of Fantasy

The Deathbed Fallacy

Domain Connect

Michael Saylor Bitcoin for Corporations 2025 Keynote Speech [video]

Google auto-converts passwords to passkeys on Android

Vibe Coding Tools (directory with demos)

Ransomware group LockBit appears to have been hacked

Meta Locate Objects in 3D

Chinese chipmaker readies 128-core, 512-thread CPU with AVX-512

The Taxonomy for Data Transformations in AI Systems

Writing LSP client in Clojure in 200 lines of code

It Couldn't Be Done

Tuscolo Static Certificate Transparency Log

A tool to verify estimates, II: a flexible proof assistant

Policy of Transience

Web .NET Prototype – Godot Engine

Tired of paying for SaaS tools to send emails?

Modern business adventures: short stories of techno-optimistic folly

How Unreal Engine 5 Is Killing Games [video]

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews

Show HN: QitOps – A CLI tool for unified API, performance, and security testing

Real-Time 3D Model Generation in Augmented Reality

OpenEmail – Mail/HTTPS Protocol

AI Builder for your Front end

10k Drum Machines

25 Years of Autocratization – Democracy Trumped? [pdf]

Broadcom sends cease-and-desist letters to perpetual VMware license holders

A Typical Workday at a Japanese Hardware Tool Store [video]

Judge questions Meta AI training as fair use

Show HN: Build website to list newest SRE jobs

Google Is Cooked

The Event Horizon of Fantasy

The Deathbed Fallacy

Domain Connect

Michael Saylor Bitcoin for Corporations 2025 Keynote Speech [video]

Google auto-converts passwords to passkeys on Android

Vibe Coding Tools (directory with demos)

Ransomware group LockBit appears to have been hacked

Meta Locate Objects in 3D

Chinese chipmaker readies 128-core, 512-thread CPU with AVX-512

The Taxonomy for Data Transformations in AI Systems

Writing LSP client in Clojure in 200 lines of code

It Couldn't Be Done