News for hackers. Stuff that matters.

MattHeard

Re:Prediction: AI will make formal verification go mainstream on Wednesday December 17, 2025 @03:29AM (#46299528)
it can tell you if your spec is bad, but it can't tell you if your spec is good
Re:App Should Have Been a Website (and Probably Your Game Too) on Tuesday December 31, 2024 @02:14PM (#42561029)
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.

Re:Andrej Karpathy on learning (should never be fun) on Sunday November 10, 2024 @07:23AM (#42099818)
> 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.

Re:Diagrams · Diagram as Code on Tuesday November 05, 2024 @11:00AM (#42052518)
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.
Re:Learning to Reason with LLMs on Thursday September 12, 2024 @03:09PM (#41524397)
It appeared for me about thirty minutes after I first checked.
Re:Show HN: Infinity – Realistic AI characters that can speak on Saturday September 07, 2024 @02:18AM (#41471857)
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.
Re:Good Refactoring vs. Bad Refactoring on Tuesday August 20, 2024 @05:16AM (#41298264)
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.

Re:Legacy on Wednesday July 24, 2024 @09:08AM (#41056708)
the pythagorean theorem is not named after its discoverer, unfortunately, as historians of mathematics have dated its earliest known usage to well before pythagoras
Re:Software MVPs can no longer be low quality on Friday June 07, 2024 @09:01AM (#40608329)
If the quality is too low, it's not viable. This was always true.
Re:Low Cost Robot Arm on Tuesday April 02, 2024 @06:46AM (#39904268)
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+
Re:Regex character "$" doesn't mean "end-of-string" on Wednesday March 20, 2024 @05:04AM (#39764180)
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.
Re:Dear Paul Graham, there is no cookie banner law on Monday March 18, 2024 @08:54AM (#39743702)
"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."
Re:Job Titles Are Bullshit on Monday February 26, 2024 @10:06AM (#39512067)
surprisingly common to find oneself caring strongly about bullshit
Re:My cat water fountain comes with a spicy USB power adapter on Tuesday December 19, 2023 @08:19AM (#38695165)
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.
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!
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.

Re:Sam Altman, Greg Brockman and others to join Microsoft on Monday November 20, 2023 @06:10AM (#38346308)
I've heard the opposite about Brockman. What makes you so confident about this tech abilities?
Re:Facebook-parent Meta breaks up its Responsible AI team on Sunday November 19, 2023 @02:06AM (#38329987)
Maybe this news should challenge your priors, then?
Re:German court declares Do Not Track to be legally binding on Tuesday October 31, 2023 @07:07AM (#38082936)
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.
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.

"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.)

Re:Stopping at 90% on Wednesday August 02, 2023 @09:21AM (#36970530)
I prefer to stop at 80%.
Re:The Anti-Ownership eBook Economy on Thursday July 13, 2023 @02:55AM (#36705845)
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

Re:Test Against Reality on Sunday July 09, 2023 @07:36AM (#36653635)
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.
Re:Google's Latest Experiments in Labs on Wednesday May 10, 2023 @04:22PM (#35892947)
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.
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/

Re:COI – Chat Over IMAP on Thursday February 21, 2019 @06:51AM (#19216149)
Are server-side changes needed?
GDPR fines are intended to generally be proportional to the company's revenue.
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.

Both events are extreme yet possible.

Older »