HNHacker News
TopNewBestAskShowJobs

bloaf

2,850 karma · joined May 25, 2012

submissionscomments
bloaf··on Meta outage
I think the current buzz in the VR space is the "Bigscreen Beyond" which eschews all of the nice-to-haves in order to make the headset as light as possible, and the result is surprisingly compelling.
bloaf··on The hunt for the missing data type
I had an opposite experience. I was doing some new-to-me graph work in tcl and had just assumed the tcl standard library wouldn't have any graph algorithms. Come to find out I was wrong, and ended up saving myself a bunch of time not having to re-invent the wheel:

https://core.tcl-lang.org/tcllib/doc/trunk/embedded/md/tclli...

bloaf··on Big Post About Big Context
I think this kind of haystack recall is going to be extremely valuable to large enterprises with massive volumes of standards/practices/technical documents.

The status quo is that you have employees ingest and internalize this material over years of employment, then have those experienced employees manage large projects by telling the project if they're in compliance with the organization's standards.

A reliable recall system like this isn't just a drop in replacement for new employees, its a drop in replacement for a lot of what makes the expensive employees important: the backwards-and-forwards knowledge of the standards/practices.

bloaf··on SymPy: Symbolic Mathematics in Python
Imagine a scenario where you've got a database of timeseries data, say stock prices. Each price trend is identified by the stock ticker, and your users have an excel spreadsheet of several thousand equations in terms of the stock ticker (e.g. (AAPL-TSLA)/AAPL) and you want to calculate the derivative of each one of those equations with respect to each ticker symbol in each equation before pulling the data.

Obviously you could find a list of every ticker symbol and create a few thousand symbols before parsing, but you don't always have the luxury of a complete/up-to-date list, or doing so might create too many symbol objects and cause performance problems.

bloaf··on SymPy: Symbolic Mathematics in Python
The biggest drawback of SymPy is the need to pre-define all your symbols. That makes it more difficult to handle scenarios where you're taking formulas as input because you either need to parse the equation yourself to figure out what variables were used, or have the user manually supply the symbols.
bloaf··on Pure Programming Language
Its a shame, because there is a lot of really cool stuff you can do when you're able to work with your code in algebraic terms.

Just as one simple example:

Suppose you have defined some expressions that describe how to read/write data from a database, and you have used them to define a workflow-expression that retrieves a bunch of data, does some math on it, and displays the result.

In Mathematica, you can plug that whole workflow-expression into the "Simplify" function and it will potentially eliminate entire database calls if it realizes you've got stuff like "GetData[y]*(GetData[x]-GetData[x])" in your result that will always evaluate to 0.

You can even do things like define a high "complexity" of your GetData functions to make the Simplify function look for an algebraic form that will minimize calls to the database, even if it has to make the algebra look uglier.

bloaf··on APL at Volvo
This is literally why VBA+excel are so pervasive: it’s a way to slap together a UI with no/minimal code.

There is a vision of a future where non-CS engineers could function with an interface that’s basically a Jupiter notebook with “import simulator” at the top, but managers are loathe to make that level of scripting competence a requirement for an already fairly specialized role.

bloaf··on APL at Volvo
I've seen APL in use in industry for industrial simulation tools. I thought it was a pretty cool technical decision because of how good APL is at exactly the kind of vector math they were doing (I even offered to join their team just for a chance to learn APL.) Unfortunately, they were a little too excited about APL and went and built a bunch of APL GUIs on top of their simulations, which were giving them huge maintenance headaches.
bloaf··on Planner programming blows my mind
I'm a little confused about how planning is different from vector reachability, which, from what I understand, has Ackermann complexity rather than EXPTIME. Can anyone help me out with the constraints on "planning" that allow it to be solved in a sane amount of time?

https://www.quantamagazine.org/an-easy-sounding-problem-yiel...

bloaf··on The boundary of neural network trainability is fractal
I think the "obvious" comment was a bit snarky, but out of curiosity, I posed the question to the Groq website which currently happens to be on the front page right now. (It claims to run Mixtral 8x7B-32k at 500 T/s)

And indeed, the AI response indicated that the boundary between convergence and divergence is not well defined, has many local maxima and minima, and could be quote: "fractal or chaotic, with small changes in hyperparameters leading to drastically different outcomes."

bloaf··on Infinite Craft
I have created the words:

- Slimy Palm

- Momfia

- Sand-T-Rump

- Stinkadult

- Cheesus vs Jesus

- Surfing Blues Brothers

- Gnomeo and Juliet

- Game of Thrones = Pornstar + Sword Fight

- Putin = Stool (with poop emoji) + Russia

bloaf··on The Articulation Barrier: Prompt-Driven AI UX Hurts Usability
I am reminded of the scene in Idiocracy[1] where we see the receptionist picking conditions from a board containing a few dozen colorful icons. There certainly is a sense in which you could abstract e.g. medical diagnostics in a way that makes illiterate people better at getting an LLM to give advice to a patient. But to go back to my 3-part statement: do people who can't organize and express their thoughts really deserve to be in charge of your medical diagnosis?

Or in other words, are UX designers catering to an audience that ought to not exist in the first place.

[1] https://www.youtube.com/watch?v=LXzJR7K0wK0

bloaf··on The Articulation Barrier: Prompt-Driven AI UX Hurts Usability
My three points are meant to be taken together.

You might say that the toolmaker's job is to make a foolproof tool that does its job completely independently of the user's skill. But my third line denies this possibility in the context of language models.

bloaf··on The Articulation Barrier: Prompt-Driven AI UX Hurts Usability
Nero was the first Roman Emperor to use a ghost writer for his speeches, and it was considered the death of literacy. To be worthy to wield power over an empire, people said, one ought to be able to organize and express their thoughts.

To notice that people can't use a natural language interface because they're bad at organizing and expressing their thoughts, then claim this is a failing of the interface is for the poor craftsmen to blame their tools.

To say that we should make language models that are somehow agnostic to a user's command of language is so obviously a fools errand its hard to know where to begin. The author is implicitly calling for mind-reading models.

bloaf··on I don't always use LaTeX, but when I do, I compile to HTML (2013)
And it is a shame. The current AI explosion is the poorer for it, due to the greater difficulty of extracting the text from PDFs.
bloaf··on CA bill to require all new cars to prevent them from going 10mph over speedlimit
Even reading the signs is non-trivial, I drive several stretches of road where an access road runs parallel to a highway, and the 20mph lower speed limit signs for the access road are clearly visible from the highway and only slightly farther off the shoulder than the correct signs.
bloaf··on Epistemic Learned Helplessness (2019)
Right, and I think the distinction he draws between this and engineering is interesting.

My experience (as an engineer) is that engineers get paid to manipulate the world around them in precise, predictable ways. As such, they tend to cultivate a core set of relatively simple principles (e.g. heat and material balances) which they take seriously by using to plan/design/etc their manipulations of the world. The engineer's creativity lies in finding new ways to combine the known-reliable principles, and stake their reputation on the result.

Scientists, on the other hand, are expected to come up with new principles. If they take too many ideas seriously, there is no room left for creative new explanations.

Medicine lies somewhere in between, insofar as doctors are trying to manipulate patient's health with the best principles they can find, but they also have to wear a scientists hat via diagnosis, i.e. figuring out which principles to apply to a patient.

And so the reaction to e.g. fundamentalism makes sense:

An engineer likes having a fundamental set of universal principles, and is comfortable using them to make plans for manipulating the world. They expect the religious world to work the same way as they do, and take those principles seriously.

A scientist wants to know "well I've got a new idea for a fundamental principle, how can we find out if I'm right?" And the fundamentalist has no answer.

A doctor will want to know how certain the fundamentalist is, and how they know those principles even apply to current situation, and the fundamentalist will have no answer.

bloaf··on The Internet Is Full of AI Dogshit
> Most older people don't do arts/sciences when they retire from work.

This isn't my experience. I know a bunch of old folks doing woodcarving, quilting, etc. Its just not the kind of arts you've got in mind.

bloaf··on Ask HN: Programming Courses for Experienced Coders?
But "which methods, semantics, and modeling tools are preferred" is probably what you're trying to learn.
bloaf··on The Long Shadow of Checks
This is like criticizing someone's technical ability after they finished a Bob Ross painting course.

The point was joyful self-expression. You can go make your own painting with no happy little trees if you want.

bloaf··on The Long Shadow of Checks
Write newspeak for goodthink.
bloaf··on 'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture
Whether the Israeli's decisions are reasonable is a completely separate topic, and I think the answer is less clear.

Because Palestine has no bargaining chips, a peace deal will involve Israel making unilateral concessions to Palestine, i.e. charity. Israel will relinquish territory where it currently is the de-facto owner, and agree to put new limits on its treatment of the Palestinians. Palestine will continue to receive a great deal of international aid which it could use to rebuild quite quickly if at peace, and they could easily choose to rebuild into a more credible threat to Israel.

In exchange, Israel gets:

Maybe improved relations with their Arab neighbors. (It could also make things worse; their neighbors may become more openly hostile if their "arm the Palestinians against Israel" strategy is taken off the table)

Slightly improved international relations because the settlements Israel keeps would be legitimized.

Maybe a reduction in terrorism (assuming the Palestinian peace-making faction retains enough power to enforce this).

Maybe a reduction in defense costs (Israel still needs to maintain a large defense force because it is surrounded by potentially hostile countries).

Is that trade worth it for Israel? Its not obvious, and depends on how likely you think the positive outcomes are. This is reflected in their domestic politics, Israelis have supported both doves and hawks over the past 60 years depending on how likely they think a positive peace is, which largely depended on Palestinian behavior.

So while I don't think its worth assassinating people over, I do think reasonable people can come to different conclusions about the appropriateness of peace deals from the Israeli perspective.

bloaf··on 'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture
> Bill Clinton lamented Bibi's election

I'm not saying Israel is blameless. But you must recall Bibi was literally elected because Palestinians began a wave of suicide bombings right before the Israeli elections, which swayed their electorate towards a hard-liner. I.e. the violent Palestinian groups could not be controlled by the peaceful-er ones, and their terrorism ended up being counter-productive.

> Who wouldn't? You make it sound like this is unreasonable.

I am making no value judgements about their goals. I am asserting that their method for achieving those goals is not rational insofar as it is counterproductive.

> pretty sure they'd hate an occupying force with all their might

Being really emotional doesn't make your decisions rational. I'm not telling Palestinians to love their enemies. I'm telling them to pick their battles and not take losing fights.

bloaf··on 'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture
> Neither has peace (Oslo).

The peace was immediately undermined by groups who did not want to stop fighting. Look, the wikipedia article on the 1996 palestinian general election following the accords literally says, quote:

    The Islamist Hamas, Fatah's main rival, refused to participate in the election; they felt that doing so would lend legitimacy to the PNA, which was created out of *what they called unacceptable negotiations and compromises with Israel.* [0]
> ["Those guys are giving away stuff to Israel! We'll get your stuff back!" is] A typical racist characterisation.

This is well documented history, see above for one such example. I know there are people out there who think we actually have an obligation to alter historical facts to avoid coming to uncomfortable conclusions, but I am not interested in debating that view here, if an honest accounting of the facts makes me racist in your eyes, so be it.

> You make it sound like Palestinians want war in perpetuity. Such a hateful rhetoric.

Of course not, they want their stuff back. I'm pointing out that they have consistently chosen a way of going about it that is actually preventing them from getting what they want.

Again, this is based purely on the actual history of the past 60 years where every Palestinian government has reverted to allowing anti-Israel violence because the public will not allow criticism of the fight to get their stuff back. As an example, the PA of today had to walk back its criticism of Hamas' Oct 7 attack after public backlash [1]

[0] https://en.wikipedia.org/wiki/1996_Palestinian_general_elect...

[1] https://www.timesofisrael.com/liveblog_entry/abbas-appears-t...

bloaf··on 'Like we were lesser humans': Gaza boys, men recall Israeli arrest, torture
I disagree. Palestinian terrorism is objectively counterproductive and driven by unreasonable domestic politics, not reasonable geopolitics.

You can't be a successful politician in Palestine with a position of "lets make concessions to Israel so we can stop suffering." The only successful politicians for the past 60-odd years have been the ones promising to fight Israel and get the Palestinians their stuff back.

The problem is that Palestine as a state has no military, economic, cultural or geopolitical bargaining chips to get their stuff back.

That means every successful Palestinian politician is elected with a mandate to "get our stuff back" but without the means to do it. So they have two options: either make concessions to get some stuff back, or try to fight.

If they make concessions, they lose their grip on power to the groups saying "Those guys are giving away stuff to Israel! We'll get your stuff back!"

If they try to fight a conventional war they lose in a matter of weeks (evidently.) So their only option is to fight just enough that their constituents are convinced they're doing a good job, but not so much that Israel wipes them out. Hence, the 60-year history of terrorism and targeting civilians.

In conclusion:

Palestinians need to make concessions for peace so that they can accumulate the bargaining chips they need to get their stuff back from Israel. They are not doing that because the Palestinian people will not support any leaders that pursue that strategy; they believe violence is a viable means of getting their stuff back even though that has been factually incorrect for the past 60 years. It is possible that the geopolitical landscape may change in the future, and violence becomes a viable option, but wasting resources on fruitless wars does not help change it.

Therefore it is not true that both sides have very good reasons to do what they do.

bloaf··on To revive Portland, officials seek to ban public drug use
You're missing the point. If you're a politician, "making drug addicts not poison themselves" is a nice-to-have, but "making drug users not victimize others" is basically mandatory. Zero political parties are going to win on a platform of "its ok that drug addicts are making the streets unsafe, the real problem is that their drugs are not affordable or high enough quality."
bloaf··on YouTube is now blocking ad blockers so I make ads run faster
Back in my day, when the Internet was good, we did.
bloaf··on Comparing humans, GPT-4, and GPT-4V on abstraction and reasoning tasks
https://www.projectprakash.org/_files/ugd/2af8ef_5a0c6250cc3...

They studied people with treatable congenital blindness (dense congenital bilateral cataracts)

bloaf··on Comparing humans, GPT-4, and GPT-4V on abstraction and reasoning tasks
It's also worth remembering that blind humans who can recognize squares by feel do not have the ability to recognize squares by sight upon gaining vision.

I suspect the model is bad at these kinds of "reasoning" tasks in the same way that a newly-sighted person is bad at recognizing squares by sight.

bloaf··on Fedora Workstation 39
I still type "yum install" instead of dnf, so I don't really use any of the newer distribution mechanisms.
← PreviousPage 5 of 31Next →