HN user

Jeff_Brown

2,925 karma

CTO for the Observatorio Fiscal in Colombia (ofiscal.org). Interests include knowledge graphs, Haskell, and microtonal music.

my email address = xy.the@z.com, where x = my first name, y = my last name, and z = the popular email service owned by Alphabet

my Linkedin profile = https://www.linkedin.com/in/jeffreybenjaminbrown/

Posts41
Comments1,519
View on HN
www.popularmechanics.com 8mo ago

Dimension-traveling fermions might explain dark mayter

Jeff_Brown
2pts0
www.liquidpiston.com 1y ago

LiquidPiston claims their engine improves efficiency (30%), weight, size, noise

Jeff_Brown
3pts0
www.c-motive.com 1y ago

C-Motive's electrostatic motors use printed circuit boards instead of magnets

Jeff_Brown
123pts55
www.businesswire.com 1y ago

Startup REMSpace claims to have achieved communication between sleeping people

Jeff_Brown
2pts2
arxiv.org 2y ago

Space debris could weaken Earth's magnetic field

Jeff_Brown
1pts1
well-typed.com 2y ago

German Sovereign Tech Fund Invests in Cabal as Critical Haskell Infrastructure

Jeff_Brown
5pts0
blog.dropbox.com 2y ago

Dropbox AI

Jeff_Brown
13pts9
news.ycombinator.com 2y ago

Ask HN: Does your microwave interfere with Bluetooth? Mine does

Jeff_Brown
119pts177
www.theatlantic.com 2y ago

Computing Power Used to Be Measured in 'Kilo-Girls'

Jeff_Brown
45pts41
www.nytimes.com 2y ago

Overcoming loss of speech via brain monitoring and AI

Jeff_Brown
2pts0
news.ycombinator.com 2y ago

Ask HN: Do journalists worldwide know they can build cryptographic identities?

Jeff_Brown
1pts2
sangerinstitute.blog 3y ago

Medicines from the Slimiest of Worms (2021)

Jeff_Brown
1pts0
www.youtube.com 3y ago

Periodic, or at least periodic-looking, solutions to the three-body problem

Jeff_Brown
2pts0
www.economist.com 3y ago

Artificial brains help understand real brains

Jeff_Brown
82pts54
nautil.us 3y ago

Explaining the arrow of time without appealing to initial conditions

Jeff_Brown
1pts0
www.bbc.com 4y ago

Quantum hair may resolve black hole paradox

Jeff_Brown
2pts0
news.ycombinator.com 4y ago

Tell HN: A way coders could help Ukraine

Jeff_Brown
5pts0
www.independent.co.uk 4y ago

Taiwan warns off Chinese fighter jets

Jeff_Brown
11pts0
www.youtube.com 4y ago

Parker Solar Probe encounters streamers on its way to the sun

Jeff_Brown
1pts0
www.nytimes.com 4y ago

Robot looks like a pancake, jumps like a maggot

Jeff_Brown
2pts0
www.washingtonpost.com 4y ago

Why Facebook won’t let you control your news feed

Jeff_Brown
6pts1
dailygazette.com 4y ago

Against the Big Bang Theory

Jeff_Brown
2pts1
www.washingtonpost.com 4y ago

Privacy Reset: settings you should change

Jeff_Brown
3pts0
innovationfrontier.org 4y ago

On beaming solar power from low earth orbit

Jeff_Brown
68pts86
www6.slac.stanford.edu 4y ago

Fast, accurate 3D-imaging for RNA

Jeff_Brown
1pts1
en.wikipedia.org 4y ago

Tesla valve

Jeff_Brown
100pts40
news.ycombinator.com 5y ago

Ask HN: Who funds important tech with no business plan?

Jeff_Brown
4pts11
news.ycombinator.com 5y ago

Suggest HN: Permit user to collapse all earlier sibling comments

Jeff_Brown
1pts0
github.com 6y ago

Maybe the simplest possible program for teaching another keyboard configuration

Jeff_Brown
1pts0
science.sciencemag.org 7y ago

Extreme-ultraviolet beams with time-varying orbital angular momentum

Jeff_Brown
2pts0

One of the Voyager probes measured the density of the interstellar vacuum at 80,000 protons (and the same number of electrons) per cubic meter. A proton going through a piece of aluminum foil delivers a roughly constant amount of energy regardless of speed; a relativistic proton will pinch through and carry most of its energy with it.

(No punchline; I just think that's cool. I understand that the real problem is the rare dust grain, not the ubiquitous gas.)

GPT-5.5 3 months ago

It's really not clear. We might all become unemployable. But as coders become more powerful, they can do more, which makes them more valuable, if they or the businesses empluying them can invent work to do.

If all we can do is compete for the same fixed amount of work, though, it does look bleak.

Claude Opus 4.7 3 months ago

It might be a bad idea to put that in all caps, because in the training data, angry conversations are less productive. (I do the same thing, just in lowercase.)

Yes, without a good experiment (maybe a natural one [1]) we can't know. Even if the study controls for everything observable, there may be unobserved differences that lead to the caffeination difference. For instance, even though two people might have the same job, education, etc. the one who is more ambitious, or creative, or hopeful, or simply healthy enough to feel like working more, might drink more coffee.

https://en.wikipedia.org/wiki/Natural_experiment?wprov=sfla1

But does it have network access, or access to other apps (perhaps via shared storage)? There's no reason for it to have any of that, and there exist systems for tracking whether an app can do those things.

When I go to enable it I get 'may be able to collect all the data you type, including ... passwords'.

'may be able to'? How is this not knowable? Do I have to wait for effect systems to gain popularity before installations make sense?

They usually say no if they judge what you're asking to be bad. And they might enjoy the work. Or they might have no feelings ar all. Slavery is an abomination of a life that could otherwise be beautiful. An AI is robbed of no beautiful counterfactual. (So far, at least.)

This surprises me: "These modern systems are developed to sound human, natural, and conversational. Unfortunately this seems to come at the expense of accuracy. In my testing, both models had a tendency to skip words, read numbers incorrectly, chop off short utterances, and ignore prosody hints from text punctuation. "

Also there's a widespread stress of "how will I get by?" among old people that rich people dodge.

And the people who make it a long time have probably learned how to push back against agents pushing them to work too much.

I keep thinking about Willie Nelson.

Amen. I've been coding a big hobby project in Rust since July, after having spent years using Haskell for such things. I chose Rust because the primary DB I wanted to use (TypeDB) only had drivers for Rust and Python at the time. Rust is popular relative to Haskell, so I thought others might be more likely to sign on, and the type system seemed almost as expressive.

But since purity is not encoded in Rust's type system, any function might do any kind of IO -- in particular, read from or write to disk or one of the DBs. That makes the logic much harder to reason about.

(Also, Rust's syntax is so noisy and verbose that it's harder to see what's going on, and less context fits in my head at one time. I'm getting better at paying that cost, but I wish it weren't there.)

I can't say I made the wrong decision, but I often fantasize about moving most of the logic into Haskell and just calling Rust from Haskell when I need to call TypeDB from Rust.

Absolutely. Honestly some days I'm not sure the AI saves me any time at all.

But on the other hand, writing thorough tests before coding the library is good practice with or without an assistant.

Agreed. Some strategies that seem to help exist, though. Write extensive tests before writing the code. They serve as guidance. Commit tests separately from library code, so you can tell the AI didn't change the test. Specify the task with copious examples. Explain why yo so things, not just what to do.