HNHacker News
TopNewBestAskShowJobs

TimTheTinker

8,357 karma · joined October 19, 2016

I'm glad to chat: tim.the.tinker@pm.me
submissionscomments
TimTheTinker··on Software may be getting worse, but it used to be horrible
> Most UIs should operate using only one thread

on the contrary, native app UIs should at minimum separate the UI thread from background work, if only to keep UI controls responsive.

The UI thread may spend most of its time asleep, but it has to be available to instantly respond to user input (or events/signals from the OS)

TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
I'm just saying from the viewpoint of people in Islam (or in Islamic nations)... the tradeoffs look a lot different from that perspective.

Almost nothing in common with a 17th century French philosopher in Christian Europe

TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
I agree Pascal's wager is generally weak. But I think the strongest reason it's weak is because people in other worldviews, particularly Islam, have a tremendous amount to lose if they convert to Christianity but it turns out Islam is true.
TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
That may be true, but embodied human life and history provides a base set of axioms by which to evaluate further axioms -- starting with the 5 senses.

So yeah, Christianity has some axioms, but it doesn't ask people to merely accept them on faith; that's a mischaracterization. The invitation is to consider (a) how good the evidence really is for your current worldview, and then (b) how good is the evidence for Christianity's truth claims.

Pascal goes one further and suggests considering what you have to gain and lose either way -- which may have been helpful for some when the alternative was mere atheism or unbelief in Christianity, but I disagree that it's helpful in all cases. People coming from Islam have a tremendous amount to lose, including their family, community, livelihood, reputation, and the risk of being condemned eternally by Allah for committing shirk in embracing Christianity, if Islam is true.

I think a better question to ask, whatever someone's background, is "do you want to know the truth, even if it turns out you don't believe it now, and are you willing to follow it no matter what the cost?"

TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
> you can't do this with made up bullshit

Are you saying the case for Scientology can't fail when considering its internal consistency and correspondence to reality?

I would think its positive case isn't that strong... it's more like an attack chain with an arbitrary payload (including money extraction) for minds with certain vulnerabilities than a coherent set of truth claims (let alone truth claims with at least some evidence in favor).

TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
> It assumes that there are only two possibilities: no god, or the god of the New Testament.

I don't think so. It isn't concerned with giving any description or shape to the negative case, just an invitation to consider a particular positive case.

There are positive cases for other gospels and worldviews... there's nothing wrong with invitations to engage with one or another.

As science has shown, the truth is best discerned by considering each theory individually (and continually) against evidence. Not "dark matter sounds cool, I think that's true, not MOND" but rather considering each individually for internal consistency and against observation and predictiveness.

"It does not make any difference how beautiful your guess is, it does not make any difference how smart you are, who made the guess, or what his name is — if it disagrees with experiment, it is wrong." --Richard Feynman

TimTheTinker··on A Man from the Future: Why Johnny Can't Stop Abstracting
> What if there's a god, but he punishes humans for believing he exists, just for fun? Where's your wager now?

That's the equivalent of Russell's teapot - an imagined, unfalsifiable proposition.

But Pascal's wager was anchored to specific attested propositions: specifically, the gospel of Jesus (repent of sin and call to him, he's paid for it and will save you from judgment and eternal separation from God if you do) rooted in the historical events of his verbal claim to be the son of God, followed by his death and resurrection, witnessed by many. You may agree or disagree, but what you are affirming or denying is at least concrete and specific.

TimTheTinker··on Triplet of 'ghostly' galaxies hints at what dark matter is and isn't
According to MOND theorists, a dwarf galaxy like DF9 doesn't prove dark matter, since it's sitting in the gravitational field of a big neighboring galaxy (NGC 1052) and thus its boost is suppressed. They call this the "external field effect".

https://arxiv.org/abs/2104.13961

TimTheTinker··on Tesla Roadster
Americans, French, and Russians seem to be like powerful engines, rockets, race cars, etc. more than other western nations
TimTheTinker··on Wayland desktop for Linux with skeuomorphic design
A lack of information density... I felt like I could glean more from the above-the-fold Yahoo.com site in 2001 than any site today.

Note Japan has not embraced the so-called "clean" UI design aesthetic. Check out any Japanese website and it looks like US web sites in 1999, but even more so. I wouldn't mind me some of that.

TimTheTinker··on My journey with AI induced mania in embedded computer graphics engineering [video]
wrong link?

Video title is "AI Shader Insanity!"

TimTheTinker··on PS5 Jailbreaks Are Escalating at an Unprecedented Pace
In the last 2 weeks I:

- reverse-engineered a Mac AppStore menubar ppp (using Ghidra), modernized its UI, and added support for Apple Silicon. It took about 90 minutes running in the background.

- created faithful macOS ports of ~7 classic 68k Macintosh games via 68k disasm tools Claude wrote for itself; most are now written in Swift, with MacToolbox routines reimplemented (one exception: MS Flight Simulator 1.02 worked better as a plain C and SDL2 app, since it has a hand-authored bytecode interpreter in 68k assembly and draws the entire UI itself)

All it takes is a goal with nearly 100% specificity

TimTheTinker··on I switched to Brave
> a 2008 donation of $1,000 to California Proposition 8

The woke/cancel culture crowd (none of whom knew him personally) went after him with a vengeance in 2014, but there were LGBT and LGBT-allied co-workers of his at the time who were aghast at the outrage. Here are three examples I could find online just now [0][1][2]

[0] https://subfictional.com/on-brendan-eich-as-ceo-of-mozilla/

[1] https://web.archive.org/web/20150202162458/http://words.tofu...

[2] https://medium.com/@__davidflanagan/for-the-record-7645a4bf8...

TimTheTinker··on 13 Months Sober (2025)
I think this ought to be the goal with any important (but well-defined & bounded) venture in life: own it so thoroughly that it becomes routine, uninteresting, assumed, and boring.

When it has become boring, it no longer consumes brainspace, freeing you to pursue further goals. It effectively has become part of the platform upon which you implement the specifics of your life.

TimTheTinker··on Pentium II at 600Mhz with Voodoo 3 Emulated on 86Box with M6 Mac Mini
Why is this better than running Windows 98 on a guest VM (non-emulated) on modern x86 hardware?

Surely a modern hypervisor should be able to emulate a retro Voodoo 3D card.

TimTheTinker··on What Sun got wrong
And not overcommitting memory.

But Illumos is a real modern viable option over Linux (and *racle Solaris) for server hardware.

TimTheTinker··on Bend – a language that blocks AI mistakes via proof and runs on GPUs
Hi author :wave:

I'm confused - could you explain how the board/flag animation relates to Bend's compile time checking? Is it actually a direct demonstration of Bend running a check?

TimTheTinker··on The CSS Zen Garden dream, finally shipped
I think a collection of basic utility classes (w-100, m-2-t) and layout components (<Flex dir="row" gap="2">, etc.) are equivalent ideas, and they are nice for quickly setting up a one-off layout that's very readable. But Tailwind turns this practical idea into a religion that locks projects in to using it and harms readability.

Human readability is a very useful proxy for good modularity and separation of concerns (and modularity increases scalability and reusability). Since LLMs take the whole thing in at once, they are terrible at module boundaries. (They also suck at theory of mind, and their comments reflect it, but I digress.)

TimTheTinker··on The CSS Zen Garden dream, finally shipped
This is really great work, but I think a lot of folks on HN don't look kindly on the CSS Zen Garden or that era of CSS. They think the markup/stylesheet separation of concerns was a terrible idea, an idea that Tailwind exists to fix. (I think they're wrong, that separation of concerns is good, Tailwind is a hack, and get off my lawn while you're at it.)

The point is - now the modern vanilla web platform really can support first-class CSS-styled app components, from design systems, in production. This is really cool!

HTML and CSS were originally designed as document-oriented languages for digital document display; think MS Word or PDF with cross-document hyperlinks, and not an app SDK. The idea was simply "style your web site's titles, headings, paragraphs, footers, etc. in just one place; change it there and the whole site will update". That's the dream that CSS Zen Garden was meant to showcase. Interactivity and web apps came later, and CSS has taken a very long time to catch up.

But catch up it has, and I'll be glad when frontend web development sheds Tailwind and React in favor of the updated vanilla web platform; and I won't complain if we use super light web component libraries like Lit[0]).

[0] https://lit.dev

TimTheTinker··on Psychoactive substances helped spur Andean civilization
No conflicts of interest, and I'm not diminishing the impact of the research, just questioning how much it supports your statement.
TimTheTinker··on Psychoactive substances helped spur Andean civilization
It's clear that nicotine binds to those receptors, but exactly how that plays out is far more complex in practice, depending on a whole host of variables.

- Presence or absence of other nicotinic agonists, inverse agonists, and antagonists, and relative concentrations of each

- Effects vary wildly with nicotine concentration levels in plasma/interstitial fluid, as if it's an entirely different drug depending on how much is present

- etc.

You're drawing a direct line from one agonist the paper only mentions once to a psychological effect that the paper doesn't even describe. You may or may not be right, but this paper is at best a citation for a separate study to test your hypothesis.

TimTheTinker··on Mind-altering drugs played key role in rise of Andean civilization
> nicotine receptors make meaningless behavior meaningful as if you expend effort on it

*nicotinic receptors, which are activated by acetylcholine. But I only saw nicotine mentioned once in the paper, and in the titles of two citations.

To me, it seems like a big stretch to say that nicotine "makes meaningless behavior meaningful" - could you explain how that's supported by the paper's data?

TimTheTinker··on Mind-altering drugs played key role in rise of Andean civilization
And nicotine, don't forget that. Smokers built the modern world (and then developed lung cancer for their troubles).
TimTheTinker··on Mind-altering drugs played key role in rise of Andean civilization
drugs have been making people feel good (and messing with their sense of motivation to behave responsibly) regardless of society's state
TimTheTinker··on Stop making swap partitions—use swap files instead
Illumos also doesn't overcommit, if you want the more modern OS descended from Solaris.
TimTheTinker··on iPhone Duo
The iPhone 13 mini feels huge compared to the 4s... I'd still use the 4s if it didn't have such horrible battery life or could run modern apps.
TimTheTinker··on Bob and Van
I'm reconsidering here - there's a long distance between "someone believes in a harmful ideology" and "someone is an informant". So yes - there's ample room to talk with people.

"He who turns a sinner from the error of his way will save a soul from death and cover a multitude of sins" (James)

TimTheTinker··on Bob and Van
I read the first few paragraphs. It's all critical race theory and intersectionality. A worldview I reject. It leads to odd conclusions like saying it's impossible to be racist against white people, or that a black person can't be racist.

That's absurd. It's possible for anyone to judge another person by the color of their skin instead of the content of their character or their actual traits. No race is morally superior or inferior (and to say otherwise is very racist).

TimTheTinker··on Bob and Van
Those happened and they were evil. I'm not arguing with that.
TimTheTinker··on Bob and Van
I reject the notion of "structural racism". That's not about civil rights, it's critical theory masquerading. It's a destructive ideology.

It teaches us to suspect everyone around us, which promotes division and hatred, not love and unity.

Racism is an individual sin that arises from the heart, and it can be repented of and turned away from like any other sin.

Page 1 of 34Next →