HNHacker News
TopNewBestAskShowJobs

thomastjeffery

6,561 karma · joined November 18, 2016

Just another mind, hacking in to the winding maze we call life. Or just looking at what's already here from whatever perspective I can find.

Do you explore reality breadth-first or depth-first?

thomastjeffery@gmail.com

submissionscomments
thomastjeffery··on Run Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/s
The real problem is that we just aren't using package managers. We should be using package managers. Package managers are really really good.
thomastjeffery··on Flock Wants a Closely Surveilled World with No Exit
I'm not voluntarily sharing my license plate number. I'm legally required to display it.
thomastjeffery··on Flock Wants a Closely Surveilled World with No Exit
All that means is that the ends (and not the means) are the determining factor.

A private company can have plenty of legitimate reasons to film in public spaces, and to incidentally film people.

Flock's ends are to explicitly track people, and to use that data to accuse them of criminal activity. Those are the ends that the 4th amendment is written to explicit protect us from that, and not exclusively from governments, either.

> The right of the people to be secure in their persons, houses, papers, and effects, against unreasonable searches and seizures, shall not be violated, and no Warrants shall issue, but upon probable cause, supported by Oath or affirmation, and particularly describing the place to be searched, and the persons or things to be seized.

thomastjeffery··on Reverse engineering my ADHD test
Then tell them about ADHD. The main problem is that most people have no idea what it is, or how effective treatment can be. ADHD is one of the most poorly named and broadly misunderstood conditions ever.
thomastjeffery··on Internet centralization and the original sin of NAT
NAT didn't save us from insecure networking. It gave insecure networking an excuse that was just good enough to satisfy the masses.

This is worse for everyone in so many ways:

1. Forwarding ports suddenly makes you insecure, because you already were.

2. You have to fuck with your router config to even do that, and risk breaking something else along the way. Nobody should have to bother, because port forwarding shouldn't exist in the first place.

3. Many ISPs make it difficult or impossible to configure your firewall, let alone reserve a static public IP.

4. It's an eternal problem that isolates itself from any true solution. Any actually good UPnP implementation would just be stuck behind your NAT and firewall.

The entire premise "as long as you can control it" is the core issue, and the fundamental reason why NAT is the original sin. Without NAT, there wouldn't be anything to get control of.

thomastjeffery··on Internet centralization and the original sin of NAT
The consequences are so much more significant than people seem to realize.

Because of NAT, hierarchy (centralized servers) is the foundational design pattern of the internet, and anyone who wants any semblance of anarchy (decentralized networks) must use a workaround that is itself hierarchical and costly. We are all interconnected, but only a wealthy few can truly speak fist.

thomastjeffery··on ravynOS: Pre-alpha open-source OS based on Darwin, FreeBSD, Apple open-source
You are confusing collaboration with cooperation.

Most people aren't interested in cooperating. The neat thing about collaboration is that work can be shared without cooperation. Free software is inherently anarchist. Sure, there are several successful cooperative organizations, but they all benefit primarily from the collaboration they do with everyone else, and vice versa.

thomastjeffery··on Vintage Artificial Intelligence: Before It Got Awkward
The problem is that we have fuzzy data and concrete semantics, when what we really want is concrete data and fuzzy semantics.

What we really need is a new system of reason, where each expression implies meaning, and each meaning has implications; but where those implications don't have to be reducible to computable binary logic.

The problem with LLMs is that they are ignorant to their own implications. What follows from a prompt is not any system of reason: it's just a vague sense of familiarity. Even when we have them stumble through the topology of a logical deduction, they can only act out that logic as a vain performance.

Natural language is a system of relative subjects, each with subjective implications relative to the story. So far in computing, we have nothing remotely like that.

thomastjeffery··on Don't Wordle
Sure, but if you count undo as a partial game over (which is heavily implied), it's better to just be able to see what the word is and move on.
thomastjeffery··on Where did all the public bathrooms go?
Ironic to see an article lamenting the loss of public utilities from JSTOR.
thomastjeffery··on Don't Wordle
Unfortunately, my goto starter word is 4 green letters.

It's pretty frustrating to immediately lose, and then have to undo to find out what the word was.

thomastjeffery··on Wi-Fi 8 is the first wireless upgrade in years that isn't chasing speed
Unfortunately, NixOS makes it impossible to configure while NetworkManager is installed. This is because bss_max_count is a runtime var, so you have to use wpa_cli instead of a config, which requires a socket in a dir that NixOS conventionally keeps empty. I decided it wasn't worth the effort to fix.
thomastjeffery··on Wi-Fi 8 is the first wireless upgrade in years that isn't chasing speed
It's ostensibly a configurable variable (bss_max_count). I bet your phone's system has done so. I'm talking about my laptop and NixOS, and I was definitely getting limited to 200.
thomastjeffery··on A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
Seems to be designed for hyprland?
thomastjeffery··on Buyer cancels showing after Deflock shows two cameras utilized by the HOA
Most people here are missing the point.

Flock isn't just a private mass surveillance corporation that leases cameras and infra to police departments. We've had that since digital cameras and the internet.

What Flock sells as its core product is "AI" surveillance and policing. What that actually means is that Flock trains their own statistical models on the data their cameras passively collect. Flock sells access to those models as a "one click" crime solver.

The result is not only the massive expansion of public surveillance, but the replacement of actual detective work with statistical modeling. By using a statistical model to "solve crime", police departments get to launder their responsibility away to the magic AI black box.

thomastjeffery··on New Mexico court orders Meta to pay $567m over harms to children’s mental health
> Which creates some bizarre incentives, minors get rewarded for signing up for the platforms that are harming them in the first place.

Only if you set aside the passage of time.

thomastjeffery··on Cloudflare OS: an open platform for agents, apps, and work
I disagree. Harness is a pretty great word, and it doesn't already have another familiar meaning.
thomastjeffery··on Show HN: Maple-Preview – Ternary 20B MoE running at 120 tok/s on a iPhone
They are not incorrect. They don't even hold a position in the first place.

An LLM continues the prompt it is given. What is more likely to come after a question? An answer, not an "oh sorry I'm not sure". Sure, you could make the latter more likely, but then the model would be unusable. Larger models simply contain more answers, more ways to stumble into them, and a granular enough geography to stay on the trail.

thomastjeffery··on All of Winona Police Department's Flock cameras cut down and stolen
It's not a theory. It's literally what they market and sell.
thomastjeffery··on All of Winona Police Department's Flock cameras cut down and stolen
It might be their intended use (from a police department's perspective), but it's certainly not their intended function.

Flock collects these images, and uses them to train statistical models, and sells those models to police departments as a one-click crime solving solution.

That means that their primary function is to passively aggregate driver behavior into an automated judgement system, where the entire judicial system (designed to check and balance itself) is laundered away. Flock cameras exist to fundamentally replace police work, not to assist with it.

thomastjeffery··on All of Winona Police Department's Flock cameras cut down and stolen
> Police use the technology to investigate crimes such as hit-and-runs and to locate missing persons.

Disgusting copy. We all know that's not their primary function.

thomastjeffery··on That time when I failed the Microsoft interview
The problem is much bigger than that.

Their goal is to find a "good fit", not to find a good engineer. That's why their software is so incredibly disfunctional: it's just a reflection of their workplace culture.

thomastjeffery··on How the words we teach English language learners changed
That's another useful perspective on the same thing I'm talking about.

Your speech doesn't just fail to stay with you, it's implications hang over you. What you have said is treated structurally like a magical incantation: directly relevant to reality itself, no matter how little sense comes out of that relationship. This is the vain objectivity I'm talking about: everything you say is interpreted as if you meant to state an objective fact.

Context is a fundamental feature of communication. Objectivity just means factoring as much context as we can out of the interpreter, and into the expression. It's a useful tradeoff, but it has limitations. At some point, there must be subjective interpretation. Without it, you are just talking to a brick wall.

thomastjeffery··on How the words we teach English language learners changed
> the most precise way to communicate something is through a metaphor.

> I think this is exactly your point

Yes, it is.

Another useful word would be "direct", or maybe "concrete". A metaphor allows us to get right to the point, instead of going up the ladder of abstraction. Alternatively, we can use well-defined abstractions, like formal mathematics, to be precise in an abstract way.

I tried to lay it out, but I'm (ironically) using objectively defined abstractions to do so...

Metaphor is what allows a story's implications to be taken out of an expression, and placed into the interpreter itself. An interpreter that arbitrarily decides what an expression can mean does so by bringing its own implications. This way, instead of forcing an expression to articulate those implications, the expression can imply them instead. The interpreter fills in the gap.

If we formalize a story's implications, that means we create a decided interpreter: a collection of assumptions that impose a specific perspective on the reader. This is how programming languages work: any expression has a clearly defined meaning, because it will only be given to that language's interpreter. The disadvantage is that you cannot write ambiguous expressions, because ambiguity would require the potential for more than one perspective, which would require more than one interpreter.

My idea is to create many ad-hoc interpreters, so that any of them can be chosen to interpret a given expression. This way, the chosen perspective is computable, while the expression can be ambiguous and metaphorical. The only "hard" problem left is the selection of interpreter, which I expect to be manageable.

thomastjeffery··on How the words we teach English language learners changed
> It's also odd to me to say an LLM isn't subjective.

I was saying the opposite. The core feature of an LLM is that it is subjective. The implications of a written expression (prompt) are not well-defined objective truth, but instead a vague probability. We can compute the probability, but that doesn't ever intersect with logical reduction or arithmetic; so the implications we get are just vague guesses on the progression of the story. With enough examples and training, the LLM can guess correct arithmetic answers, but critically, it does not actually perform the arithmetic that verifies them.

thomastjeffery··on How the words we teach English language learners changed
Increasing precision is good to the end that is disambiguation. The problem is that that end is not always what language is good for. Metaphor is an incredibly useful tool, because it allows us to convey meaning with imprecise definition, but precise implications.

The meaning of an expression is its implication, not its definition. The implication must be decided by the reader. This is either done by strict definition, or by arbitrary inference. Inference is a powerful feature of language, because it expands the set implications that can be expressed without abstracting the language. Without inference and metaphor, we must instead create a tower of well-defined abstractions that rule over us; having already determined what implications are relevant: objective truth. With inference and metaphor, the writer/speaker can articulate their implications with familiar language; relying on the reader/listener to infer from the expected relevant perspective: subjective truth.

Essentially the tradeoff isn't whether or not you get precision, but whether that precision can be shared by the writer and the reader, or be managed entirely by the writer. Defined abstractions allow the writer to be unambiguous to anyone (objective), while inference allows the writer to offload that responsibility to the context and perspective of the reader (subjective).

Does that make sense?

thomastjeffery··on How the words we teach English language learners changed
> It’s as if the world now requires you to be more precise about everything.

This is something I've been thinking a lot about. We have trended from subjective language to objective language. Why?

Computing. Software is written with objective language. Everything is clearly unambiguously defined. Blue is no longer a category, it's #0000FF. Logic must always reduce to a binary truth value. Most of what we have to talk about is somehow relative to software. Software even structures most of what we write! We don't just talk to each other, we tweet, email, message, post, search, etc. These structures each imply a specific set of phrase structures that can make sense.

Lately, it's hard to go even a day without reading some complaint that such and such was written by "AI" (an LLM). Why is this so obvious? Well, the core advantage that LLMs provide is that they don't compute. Inside an LLM, there is no arithmetic, no logical branches, no truth values. Phrases aren't generated to define or to resolve. They are generated to continue. Sure, we can direct the story to follow the steps of logical deduction, but that isn't anything like calculation. An LLM simply isn't invested in logic, precision, correctness, etc. the way we expect modern writers to be. It's not the em-dashes or the word choice that illustrates this, it's the fundamental perspective of the system.

We are sorely missing subjectivity. Natural language never was, and never will be, computable. You can't reduce a natural story to binary truth values without choosing an arbitrary perspective that resolves its ambiguity. The more precisely abstract our language gets, the more detached from reality our stories become. The more objective our assertions about reality are, the less relevant they can be.

My answer to this is to make the arbitrary choice of perspective a first-class feature. If we can explicitly decide what meaning is relevant, we should be able to weakly solve natural language processing. It seems like a pretty simple and obvious idea, but so far is easier said than done.

thomastjeffery··on F*: A general-purpose proof-oriented programming language
Then why are we all so interested?

Examples provide more than syntax. It's the semantics that we care about most.

thomastjeffery··on Flux 3 X Mimic: The Next Generation of Video-Action Models
Do you like horror? That's the only genre where risky projects are getting consistent funding. Obsession and Backrooms are both really good.
thomastjeffery··on Flux 3 X Mimic: The Next Generation of Video-Action Models
No Other Choice (by the same director) is incredible, and even relevant to this post.
Page 1 of 34Next →