Hacker News
An internal OpenAI Astra model solved 10 major open math and CS problems
Article URL: https://twitter.com/polynoamial/status/2083467194663571701
Comments URL: https://news.ycombinator.com/item?id=49143688
Points: 1
# Comments: 0
I'm (mostly) picking models on speed now, not intelligence
Article URL: https://martinalderson.com/posts/speed-vs-intelligence/
Comments URL: https://news.ycombinator.com/item?id=49143666
Points: 1
# Comments: 0
BroMetal: Typed shaders compiled at build time to WebGPU
Article URL: https://brometal.dev
Comments URL: https://news.ycombinator.com/item?id=49143644
Points: 1
# Comments: 0
Only 8.9% of sites block AI crawlers, but 94.8% are never cited in AI answers
Article URL: https://website-auditor.io/ai-visibility-index
Comments URL: https://news.ycombinator.com/item?id=49143630
Points: 1
# Comments: 0
When did 'dupe culture' take over?
Article URL: https://news.darden.virginia.edu/2026/08/01/qa-when-did-dupe-culture-take-over/
Comments URL: https://news.ycombinator.com/item?id=49143625
Points: 1
# Comments: 0
Show HN: LyricVibe – synced lyrics for YouTube Music, Spotify, SoundCloud
Article URL: https://chromewebstore.google.com/detail/lyricvibe-â-kinetic-lyric/iplhipppjgpeofmadbnkolnpigiachmn
Comments URL: https://news.ycombinator.com/item?id=49143605
Points: 1
# Comments: 0
Best way to avoid bloat and AI – selfcontaining OS
I wanted an OS that I could truly own. Most modern systems have become server-controlled clients, bloated with dependencies (Gtk4/Qt/Rust/Wayland) and centralized source control on GitHub. If you cannot audit the dependency tree and Big Corp controls the source, it is no longer real open source.
I built OneManBSD to address this. It is an OpenBSD-based system built on a single 2012 ThinkPad L430.
Project Video: https://www.youtube.com/watch?v=2wHaoQhXOYY Project Page: https://bialamusic.com/onemanBSD/
Comments URL: https://news.ycombinator.com/item?id=49143571
Points: 4
# Comments: 0
Getopt() but Friendlier
Article URL: https://www.unix.dog/~yosh/blog/getopt-but-friendlier.html
Comments URL: https://news.ycombinator.com/item?id=49143531
Points: 2
# Comments: 0
Meshdiff – visually compare two STL versions in the browser, client-side
Article URL: https://meshdiff.com/
Comments URL: https://news.ycombinator.com/item?id=49143479
Points: 6
# Comments: 0
Size of Xbox price increase in Europe shocks
Pdf-inspector: Rust lib for PDF inspection, classification, and text extraction
Article URL: https://github.com/firecrawl/pdf-inspector
Comments URL: https://news.ycombinator.com/item?id=49143467
Points: 2
# Comments: 1
Stripe for Wearable Data
Article URL: https://stridee.fit/developer
Comments URL: https://news.ycombinator.com/item?id=49143461
Points: 2
# Comments: 1
Ask HN: What's Your BHAG?
Just wondering, what is everyone's Big Hairy Audacious Goal?
Comments URL: https://news.ycombinator.com/item?id=49143456
Points: 2
# Comments: 0
NIST Develops New Standards to Safeguard Computers Against Quantum Threats
Wikimedia Foundation refuses union recognition, hires union-busting law firm
Article URL: https://en.wikipedia.org/wiki/Wikipedia:Wikipedia_Signpost/2026-08-02/News_and_notes
Comments URL: https://news.ycombinator.com/item?id=49143414
Points: 22
# Comments: 0
Show HN: Fuse – statically typed functional programming language
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code.
Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations.
I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then extending with concepts such as Bidirectional Type Checking with Higher-Rank Polymorphism.
I’ve mainly drawn inspiration from Rust, Haskell, Scala and Python (in terms of syntax). It all started because I wanted a language that has Rust-like concepts such as: ADT, Traits, Impl block syntax, etc. but have the pure functional semantics.
I'd would love feedback on the language design and its general usage.
Comments URL: https://news.ycombinator.com/item?id=49143412
Points: 3
# Comments: 0
The Patch Paradox
Article URL: https://whiletruelearn.dev/essays/patch-paradox/
Comments URL: https://news.ycombinator.com/item?id=49143370
Points: 2
# Comments: 0
Bash Aliases
Article URL: https://github.com/ctrlaltvikas/Awesome-Bash-Aliases
Comments URL: https://news.ycombinator.com/item?id=49143368
Points: 2
# Comments: 1
Twenty-Four Years of Wiki Engines
Article URL: https://taoofmac.com/space/blog/2026/08/02/1130
Comments URL: https://news.ycombinator.com/item?id=49143362
Points: 2
# Comments: 0
Everything about my smart home and homelab setup
Article URL: https://swiftrocks.com/everything-about-my-smart-home-and-homelab-setup
Comments URL: https://news.ycombinator.com/item?id=49143355
Points: 2
# Comments: 0
