HNHacker News
TopNewBestAskShowJobs

MattHeard

378 karma · joined December 13, 2013

mattheard.net
submissionscomments
MattHeard··on AI will make formal verification go mainstream
it can tell you if your spec is bad, but it can't tell you if your spec is good
MattHeard··on App Should Have Been a Website (and Probably Your Game Too)
One thing I haven't seen addressed in the post or comments (sorry if it's there and I just missed it) is for apps and websites that sell non-digital goods to customers.

For returning customers, a customer with an app installed is simply going to have a lot less friction to open the installed app and place an order than a customer who has to open their browser, log in again, and then place the order.

That alone is worth the investment for many companies in making an app, even if a minority of customers actually choose to install the app and keep it installed.

MattHeard··on Andrej Karpathy on learning (should never be fun)
> It doesn't have to be actively not fun either, but the primary feeling should be that of effort.

Karpathy clearly wrote something different that what you say he wrote.

MattHeard··on Diagram as Code
I use Github Copilot with PlantUML. I use PlantUML comments to describe what I want the diagram components to show and then the syntax is written for me. I can then edit it pretty easily and iteratively.
MattHeard··on Learning to Reason with LLMs
It appeared for me about thirty minutes after I first checked.
MattHeard··on Show HN: Infinity – Realistic AI characters that can speak
Hello, thank you for sharing your thoughts on this topic. I'm currently writing a blog post where the thesis is that the root disagreement between "AI doomers" and others is actually primarily a disagreement about materialism, and I've been looking for evidence of this disagreement in the wild. Thanks for sharing your opinion.
MattHeard··on Good refactoring vs. bad refactoring
I got as far as here:

> If you need to introduce a new pattern, consider refactoring the entire codebase to use this new pattern, rather than creating one-off inconsistencies.

Putting aside the mis-application of "pattern" (which _should_ be used with respect to a specific design problem, per the Gang of Four), this suggestion to "refactor the entire codebase" is impractical and calcifying.

Consistency increases legibility, but only to a certain point. If the problems that your software is trying to solve drift (as they always do with successful software), the solutions that your software employs must also shift accordingly. You can do this gradually, experimenting with possible new solutions and implementations and patterns, as you get a feel for the new problems you are solving, or you can insist on "consistency" and then find yourself having to perform a Big Rewrite under unrealistic pressure.

MattHeard··on Legacy
the pythagorean theorem is not named after its discoverer, unfortunately, as historians of mathematics have dated its earliest known usage to well before pythagoras
MattHeard··on Software MVPs can no longer be low quality
If the quality is too low, it's not viable. This was always true.
MattHeard··on Low Cost Robot Arm
i was going to ask if turtlebot was too small for you, but thought i should check the price first so uh, yeah, i'm guessing you're thinking the 250 price point instead of the turtlebot's 1000+
MattHeard··on Regex character "$" doesn't mean "end-of-string"
My working assumption has always been to check the docs of your specific regexp parser, and to write some tests (either automated or manually in a REPL) with specific patterns that you are interested in using.
MattHeard··on Dear Paul Graham, there is no cookie banner law
"I would like website operators to assume that I consent to being tracked, so I'm annoyed that website operators are not allowed to assume that everybody consents to being tracked."
MattHeard··on Job Titles Are Bullshit
surprisingly common to find oneself caring strongly about bullshit
MattHeard··on My cat water fountain comes with a spicy USB power adapter
I have/had this cat water fountain too (my cats are now happy with a normal bowl) and I believe I just threw the wall wart into a box with the rest of my unused USB A wall warts. A little bit like electrical Russian roulette now, I guess.
MattHeard··on Fixing Classical Cats: How I got tricked by 28-year-old defensive programming
Barely related, but I remember the joy as a kid of putting a computer game CD-ROM in my Walkman CD player just to see what happens and discovering that I could listen to the game's soundtrack just like a normal soundtrack CD. Can't remember which game, but it is a fond memory of mixed-mode CD technology. Can't do that with your Steam games and Spotify!
MattHeard··on We have reached an agreement in principle for Sam to return to OpenAI as CEO
I was hopeful for a private-industry approach to AI safety, but it looks unlikely now, and due to the slow pace of state investment in public AI R&D, all approaches to AI safety look unlikely now.

Safety research on toy models will continue to provide developments, but the industry expectation appears to be that emergent properties puts a low ceiling on what can be learned about safety without researching on cutting edge models.

Altman touted the governance structure of OpenAI as a mechanism for ensuring the organisation's prioritisation of safety, but the reports of internal reallocation away from safety towards keeping ChatGPT running under load concern me. Now the board has demonstrated that it was technically capable but insufficiently powerful to keep these interests in line, it seems unclear how any safety-oriented organisation, including Anthropic, could avoid the accelerationist influence of funders.

MattHeard··on Sam Altman, Greg Brockman and others to join Microsoft
I've heard the opposite about Brockman. What makes you so confident about this tech abilities?
MattHeard··on Meta disbanded its Responsible AI team
Maybe this news should challenge your priors, then?
MattHeard··on German court prohibits LinkedIn from ignoring "Do Not Track" signals
A lot of courts use rulings from other countries where the cases are similar. Any interpretation by the Berlin regional court that GDPR implies that DNT should be treated as a GDPR opt-out should be easily adopted by courts in other countries deciding similar cases.
MattHeard··on AI model weight providers should not police uses, no matter how awful they are
The licence is not for the user, the licence is for the publisher to do the bare minimum needed to tell their bosses that the model weights or implementation code was published ethically.

As others have pointed out, these licences appear unenforceable.

The publisher simply wants to appear responsible. There are likely many open-source-oriented engineers and scientists at these tech firms who have been pushing for publication. (See the discussion between Mark Zuckerberg and Lex Fridman.) The involved tech firms only care about the licence as far as it might minimise the likelihood of public backlash if any of these published models cause harm.

MattHeard··on Meta threatens to fire workers for return-to-office infractions in leaked memo
"If you're physically capable of coming in 5 times over the course of two months you must therefore also be physically capable of coming in 26 times over the course of two months."

(Sarcasm, of course.)

MattHeard··on Stopping at 90%
I prefer to stop at 80%.
MattHeard··on The Anti-Ownership eBook Economy
some consumers will pay the premium of ownership over the licence and some won't. if either market has demand fall below a particular threshold, the market will collapse. this isn't a moral issue, this is simply an effect of a new market for a service substituting effectively for an old market for a good. it's clear that a lot of previous book-owners really just wanted to be able to access a text

if there is really a mass misunderstanding by ebook consumers that they don't have rights as part of their licence that they believe they have, the market demand will start shifting back towards ownership

MattHeard··on Test Against Reality
When I see this criticism of mocks, it appears to me that the critic is primarily used to seeing tests that are either mocking the thing-under-test or don't understand the boundaries of the thing-under-test.
MattHeard··on Google's Latest Experiments in Labs
I used to be an active user of all the old Google Labs tools but now my personal Workspace account locks me out of everything, so meh.
MattHeard··on Report from the German Parliament's “Sustainable by Design” Conference
Germany's electricity generation from coal has over the long run substantially decreased. The low of 2020 appears to correlate with the COVID-19 pandemic and the increase since then appears to be more of a reversion to the original trend than anything to do with changes in electricity from nuclear.

2022 coal use is a third greater than 2020, as _dain_ mentions, but 2020 was anomalously low usage rather than representing a normal baseline for comparison.

While any increase in coal usage is a problem, the coal use should be compared to the average of the last few years with the anomaly of 2020 removed. This would produce effectively no increase or decrease in coal usage.

Source: https://ag-energiebilanzen.de/wp-content/uploads/2023/03/STR... via https://ag-energiebilanzen.de/

MattHeard··on COI – Chat Over IMAP
Are server-side changes needed?
MattHeard··on CNIL imposes a financial penalty of 50M euros against Google
GDPR fines are intended to generally be proportional to the company's revenue.
MattHeard··on Ask HN: How to self-study mathematics from the undergrad through graduate level?
This is exactly the kind of advice I give to people who ask me about teaching themselves to "code".

1. Find a thing you want to make. 2. Find out how to make it. 3. Try to make it. 4. Learn the skills that previously prevented you from making it.

MattHeard··on Why we should care about the Nate Silver vs. Nassim Taleb Twitter war
Both events are extreme yet possible.
Page 1 of 5Next →