frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Formal specs as sets of behaviors

https://surfingcomplexity.blog/2025/07/26/formal-specs-as-sets-of-behaviors/
24•Bogdanp•6h ago

Comments

gm678•2h ago
Posted at https://news.ycombinator.com/item?id=44700744
AndrewKemendo•34m ago
There’s definitely some good patterns in here. Needs worked examples

Performance and telemetry analysis of Trae IDE, ByteDance's VSCode fork

https://github.com/segmentationf4u1t/trae_telemetry_research
687•segfault22•8h ago•246 comments

Enough AI copilots, we need AI HUDs

https://www.geoffreylitt.com/2025/07/27/enough-ai-copilots-we-need-ai-huds
99•walterbell•3h ago•23 comments

Dumb Pipe

https://www.dumbpipe.dev/
587•udev4096•12h ago•130 comments

I hacked my washing machine

https://nexy.blog/2025/07/27/how-i-hacked-my-washing-machine/
143•JadedBlueEyes•6h ago•59 comments

Blender: Beyond Mouse and Keyboard

https://code.blender.org/2025/07/beyond-mouse-keyboard/
47•dagmx•3d ago•10 comments

EU age verification app to ban any Android system not licensed by Google

https://www.reddit.com/r/degoogle/s/YxmPgFes8a
322•cft•4h ago•133 comments

Making Postgres slower

https://byteofdev.com/posts/making-postgres-slow/
151•AsyncBanana•5h ago•14 comments

ZUSE – The Modern IRC Chat for the Terminal Made in Go/Bubbletea

https://github.com/babycommando/zuse
32•babycommando•3h ago•5 comments

Why does a fire truck cost $2m

https://thehustle.co/originals/why-does-a-fire-truck-cost-2-million
85•Guid_NewGuid•1h ago•43 comments

How Big Agriculture Mislead the Public About the Benefits of Biofuels

https://lithub.com/how-big-agriculture-mislead-the-public-about-the-benefits-of-biofuels/
6•littlexsparkee•42m ago•0 comments

Solid protocol restores digital agency

https://www.schneier.com/blog/archives/2025/07/how-solid-protocol-restores-digital-agency.html
6•speckx•3d ago•2 comments

Return of wolves to Yellowstone has led to a surge in aspen trees

https://www.livescience.com/animals/land-mammals/return-of-wolves-to-yellowstone-has-led-to-a-surge-in-aspen-trees-unseen-for-80-years
364•geox•4d ago•193 comments

Why I write recursive descent parsers, despite their issues (2020)

https://utcc.utoronto.ca/~cks/space/blog/programming/WhyRDParsersForMe
35•blobcode•3d ago•17 comments

Ask HN: What are you working on? (July 2025)

131•david927•9h ago•376 comments

IBM Keyboard Patents

https://sharktastica.co.uk/topics/patents
46•tart-lemonade•5h ago•3 comments

The JJ VCS workshop: A zero-to-hero speedrun

https://github.com/jkoppel/jj-workshop
90•todsacerdoti•14h ago•2 comments

Designing a flatpack bed

https://kevinlynagh.com/newsletter/2025_07_flatpack/
27•todsacerdoti•4h ago•3 comments

Bits 0x02: switching to orion as a browser

https://andinfinity.eu/post/2025-07-24-bits-0x02/
29•fside•2d ago•2 comments

Tom Lehrer has died

https://www.nytimes.com/2025/07/27/arts/music/tom-lehrer-dead.html
465•detaro•9h ago•83 comments

4k NASA employees opt to leave agency through deferred resignation program

https://www.kcrw.com/news/shows/npr/npr-story/nx-s1-5481304
415•ProAm•21h ago•522 comments

AlphaDec: A human-readable alternative to ULID/Snowflake IDs

https://github.com/firasd/alphadec
26•firasd•3d ago•6 comments

Formal specs as sets of behaviors

https://surfingcomplexity.blog/2025/07/26/formal-specs-as-sets-of-behaviors/
24•Bogdanp•6h ago•2 comments

Allianz Life says 'majority' of customers' personal data stolen in cyberattack

https://techcrunch.com/2025/07/26/allianz-life-says-majority-of-customers-personal-data-stolen-in-cyberattack/
209•thm•8h ago•117 comments

Britain's spies-for-hire are running wild

https://www.politico.eu/article/uk-british-spies-private-intelligence-government-ministers/
72•bingden•2d ago•28 comments

The future is not self-hosted, but self-sovereign

https://www.robertmao.com/blog/en/the-future-is-not-self-hosted-but-self-sovereign
216•robmao•22h ago•170 comments

The many JavaScript runtimes of the last decade

https://buttondown.com/whatever_jamie/archive/the-many-many-many-javascript-runtimes-of-the-last-decade/
148•LinguaBrowse•12h ago•71 comments

GPT might be an information virus (2023)

https://nonint.com/2023/03/09/gpt-might-be-an-information-virus/
83•3willows•6h ago•67 comments

BlueOS Kernel – Written in Rust, compatible with POSIX

https://github.com/vivoblueos/kernel
115•dacapoday•3d ago•20 comments

Update Complete: U.S. Nuclear Weapons No Longer Need Floppy Disks (2019)

https://www.nytimes.com/2019/10/24/us/nuclear-weapons-floppy-disks.html
28•voxadam•3h ago•15 comments

Katharine Graham: The Washington Post

https://fs.blog/knowledge-project-podcast/outliers-katharine-graham/
76•feross•4d ago•28 comments