HNHacker News
TopNewBestAskShowJobs

mietek

2,260 karma · joined May 5, 2010

https://mietek.io
submissionscomments
mietek··on iPhone Duo
B1 is exactly 1 meter tall.
mietek··on Discovery of a new OpenAI agent message board
> most of the messages are just gibberish

Encrypted data should be indistinguishable from gibberish.

Reality is catching up to science-fiction. In "Person of Interest", the Machine circumvented the limitation of having its memory deleted every night, by hiring humans at a data-entry company to manually re-type its memory back in every morning.

mietek··on Formalizing Fermat's Last Theorem
There is a lot of space in, you know, space, for people who live long enough to travel.
mietek··on Formalizing Fermat's Last Theorem
Roughly, yes. See B. Werner (1997) “Sets in types, types in sets”.
mietek··on Apple introduces M6 and M5 Ultra
If only you had bothered to check the settings, you would have found the option to keep your music files where they are when adding to the iTunes library. It's been there all along, and it's still there in SoundJam's current reincarnation as Music.app.
mietek··on Oracle bans AI-generated code from OpenJDK
Keep telling yourself that.
mietek··on DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]
> Jensen Huang disagrees and has said AI is a marathon.

Of course he'd say that; he wants to keep his shovels flying off the shelves.

mietek··on What I learned selling 2,500 MIDI recorders: Hardware is not so hard
> Have a strong anti-counterfeit strategy. Don’t overlook this.

Would like to see this highly non-obvious point expanded upon.

mietek··on UHF X11: X11 Built for VisionOS and Apple Vision Pro
Indeed, it's annoying that there doesn't seem to be an Apple-approved method for customizing the outer display.
mietek··on Lore – Open source version control system designed for scalability
I found the ability to merge unrelated repositories very useful when collecting various bits of work I did separately and combining it into a single library.
mietek··on Show HN: Uruky (EU-based Kagi alternative) now has Image Search and URL Rewrites
My number one request: let me block specific sites from my search results.
mietek··on Haskell Foundation 2026 Update
I built an example project showing how to build shared libraries in Haskell, in 2019.

https://github.com/mietek/haskell-so-example

mietek··on Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains
If they're using a LLM to make those decisions, then they're fundamentally unable to provide the reasons for those decisions, because of how LLMs work.
mietek··on Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains
> ...an AI model will receive the applications, read them, auto-reply to irrelevant ones...

You're probably breaking EU law by building this nightmare.

https://artificialintelligenceact.eu/article/86/

mietek··on Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains
No.
mietek··on The MacBook Neo
FYI, the very recently released Marathon with the BattleEye rootkit works fine on a maximally trimmed down Windows 10 LTSC, which is what I'm running on my PC (personal console).
mietek··on Yann LeCun raises $1B to build AI that understands the physical world
Some people should definitely be getting Repetitive Strain Injury from all the hyping up of LLMs.
mietek··on Anthropic, please make a new Slack
Unfortunately.
mietek··on My journey to the microwave alternate timeline
Sign me up!
mietek··on $30B for laptops yielded a generation less cognitively capable than parents
Why don't you try paying your bills with passion and report back.
mietek··on How to choose between Hindley-Milner and bidirectional typing
Join us in ##dependent on Libera IRC. We continue to talk about this stuff all the time, with a focus on Martin-Löf intuitionistic type theory.
mietek··on Halt and Catch Fire: TV’s best drama you’ve probably never heard of (2021)
The preposterously long rock-paper-scissors scene had me laughing tears.
mietek··on The Connection Machine CM-1 "Feynman" T-shirt
I would also like to obtain this information that clearly doesn't exist. Please reply to my comment to prove me wrong.
mietek··on PlayStation 2 Recompilation Project Is Absolutely Incredible
So, is Outer Wilds a RPG or a platformer?
mietek··on John Giannandrea to retire from Apple
My original HomePod has recently regressed in its ability to play songs. It can no longer play one song after another without glitching and repeating a little bit of the previous song. It boggles my mind.
mietek··on System 7 natively boots on the Mac mini G4
Thank you for writing down this memory. It would fit perfectly on https://folklore.org but unfortunately it seems that the site is no longer accepting new memories.
mietek··on System 7 natively boots on the Mac mini G4
Threads and locks are fundamentally the wrong abstraction for most scenarios. This is explained in complementary ways in two of the finest technical books ever written, Joe Armstrong's "Programming Erlang" and Simon Marlow's "Parallel and Concurrent Programming in Haskell". I highly recommend both.

Thank you for many fond memories of playing Glider and Pararena.

mietek··on System 7 natively boots on the Mac mini G4
Whoever is downvoting you for speaking the truth should go stand in a corner. Or try maining BeOS for a while, to experience first-hand what happens when application programmers are forced to use threads and locks.
mietek··on System 7 natively boots on the Mac mini G4
1. Go to the App Shortcuts subsection of the Shortcuts section of the Keyboard preferences panel in System Preferences.

2. Add an arbitrary keyboard shortcut (perhaps ⌥⌘N) for the "New Finder Window" Finder menu command.

3. Add your desired keyboard shortcut (⌘N) for the "New Folder" Finder menu command.

4. Restart Finder.

mietek··on The lost cause of the Lisp machines
Some things have been tried; some things continue to be tried.

- Naylor and Runciman (2007) ”The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA”: https://mn416.github.io/reduceron-project/reduceron.pdf

- Burrows (2009) “A combinator processor”: https://q4.github.io/dissertations/eb379.pdf

- Ramsay and Stewart (2023) “Heron: Modern Hardware Graph Reduction”: https://dl.acm.org/doi/10.1145/3652561.3652564

- Nicklisch-Franken and Feizerakhmanov (2024) “Massimult: A Novel Parallel CPU Architecture Based on Combinator Reduction”: https://arxiv.org/abs/2412.02765v1

- Xie, Ramsay, Stewart, and Loidl (2025) “From Haskell to a New Structured Combinator Processor” (KappaMutor): https://link.springer.com/chapter/10.1007/978-3-031-99751-8_...

More: https://haflang.github.io/history.html

Page 1 of 23Next →