skysight-inc/HackerNews huggingface dataset:
Calling abs(INT_MIN) on twos-complement machine is not allowed by the C standard. The behavior of abs() is undefined if the result would not fit in the return value.
I don’t think the AI market will ever really be a healthy one until inference vastly outnumbers training. What does it say about AI if training is done more than inference?

I agree that the in-device inference market is not important yet.
My point is that you do NOT need the same level of performance. You need an adequate level of performance that the cost to get more performance isn’t worth it to most people.
Repeatedly accusing the families of being actors lying about the event sounds like defamation of living people to me
https://archive.ph/E97Hq
First mover advantages:

a) Early technology adopters are more forgiving of minor problems and are your free word-of-mouth marketers. The company benefits from lowered GTM costs.

b) Fast, reliable service depends on density; there needs to be enough cars on the road that there's always one available within a few minutes when you open the app; users will develop a habit of choosing whichever provider is reliably faster and that habit will become ingrained, making market entry for later movers more costly. First movers also have the advantage of their early adopters helping pay for their fleet as it's built up; later movers have to flood new markets with subsidized capacity to get to equivalent density. That works (Uber did it for rideshare) but it's expensive. So again: lower GTM costs.

Regarding whether this will be a viable market - Lyft/Uber have already demonstrated there's tons of demand for on-demand transportation services, and Waymo in SF is already very popular. One can back-of-the-envelope whether the economics work but generally speaking any time you replace labor with automation in a large market, it does.

In the long run though you're right that there isn't a moat that can't be solved with massive capital investment. But you could say the same about many markets; turns out one can have a successful company within a competitive market the old fashioned way.. by just being really good. It's harder, but it works.
Where have your corded vacuums gone? Or have European ones really moved past using universal motors and onto brushless motors with a driver? I know cordless ones have taken off and they're great for small jobs, but I can't imagine relying on one for thorough cleanups.

Corded power tools still exist and it's nice to be able to plug them into any receptacle where you may be working, but I get that it's a tradeoff you just have to do a little more to work around.

I do hate the issue of having more hidden proprietary software blobs though. One of the reasons I've put off upgrading to AFCIs is that it feels like I've got to really research the differences between brands before I commit by buying into a specific style of panel.
A jury isn't involved in a default judgement afaik
While great for a personal Whatsapp, this kind of defeats the point of using it for a business.
Needs a [2017].

More substantively, my company is a contractor and has publicly committed to neither working on 'weapons' nor 'destructive financial systems.' Both terms are nebulous but we generally just decide en masse as a company (there are only 20 people) what does and doesn't count. I don't necessarily care for these particular lines in the sand but it's important to have some kind of process for determining and thinking about things, which I'm happy we do.
Own.page Is an Alternative to Bento.me
And now:

Paul Krugman Got Something Very Right About the Internet, the Fax Machine and the Economy
https://www.bloomberg.com/news/articles/2021-05-24/paul-krug...

https://archive.ph/DUDEw

>As Skanda Amarnath, head of research at Employ America, wrote to me, what people see as a major economic impact is really the social impact. From a true data impact, Krugman wasn’t wrong. “Productivity growth has been substantially weaker during the age of the internet,” Amarnath wrote. “The same deceleration is visible in terms of both nominal and real investment in software and even the broadest definition of hardware (information processing equipment). There has been some shifting and cannibalization of activity as a result of retail moving to e-commerce channels, and new media dominating advertising services at the expense of old media, but if we’re talking about macro impact beyond substitution, the burden of proof is with those eager to mock Krugman on this point.”

...

>So again, there was a considerable discussion at the time that the internet would fundamentally change something. Either lead to a perma-boom, or faster growth, or greater productivity, or something fundamentally new in how business cycles worked. And yet we've seen none of that. Instead we’ve had mediocre growth, long broad downturns, and declines in both productivity and general tech investment.

>So yes, for sure Krugman was wrong on the societal impacts, such as how much we all have to say to each other. But on the question of the difference between the internet and the fax machine, the data back him up.
I didn't say how I feel about it or anything about race.
ReVanced: Customize your mobile experience by applying patches to your apps
Are migrations still specified in json?
Agreed, and I didn't say otherwise.
> for online, SEPA Instant Transfer works out just fine

How? There is zero way to get back your money in case of problems as a payer!

> dispute/chargeback has been a thing in SEPA Direct Debit and SEPA transfers from the start.

Absolutely not for outbound transfers. You can chase a non-delivering merchant in court, but that's about it.

For direct debit, the merchant has the equivalent problem – the payer can claw their money back without any justification ("I feel like spending it elsewhere" is a valid reason!) or recourse.

> Only thing is quite a few banks don't support it because their core IT is decades old.

It has absolutely nothing to do with "banks not supporting it because of old IT". There just is no incentive for them to play the role of arbiter between a payer and a payee at all! Consequently, there is no framework for it.

SEPA (I)CT and DD are very efficient solutions for online payments only when payer and payee already extend significant trust in at least one direction. If there's mutual distrust, they are a terrible fit, and there's a reason people prefer cards or other schemes (sometimes layered on top of SEPA) providing dispute resolution.
I noticed last year it stopped allowing me to use location sharing if I have the permission set to ask every time. It wants the permission permanently enabled.

It seems like they're trying to get people to enable extra permissions beyond what it really needs.
The amount of folks here supporting Alex Jones is completely shocking to me.

He built a business out of attacking and re-victimizing parents whose children were murdered. He's scum of the earth.

That business was taken away from him, and folks think that's too much? What the actual fuck.
The crime was defamation and there was an entire court case about it which was upheld on appeal. Alex got his day(s) in court and he lost and now is in the finding out phase of fucking around. The people who harassed these families did so only because of the lies perpetuated by Alex Jones. He knew this to be the case and doubled and tripled down on it.

If I figured out who you were, told millions of people your name, where you lived, and lies about how you did something horrible and they started harassing and threatening you would you actually just think I'm exercising my free speech right just because I never sent those threats myself?
Bad summary of a better article.
I am saving money around the household by using media applications I wrote for media playlists, asset management, server management and dashboard, and more. Why pay for app store nonsense or subscriptions when I can do it better myself and with greater flexibility/durability.
>the court kept claiming he had to produce documents / analytics he said he didn’t have

Which his lawyer then mistakenly sent to the Plaintiff's lawyer, so, they did have them.
My example was an anecdote, I would assume any one person with a perfect SAT score is an outlier across educational methodologies.

Self directed learning, reading comprehension, maths skills, critical thinking skills, ability to identify and reject sophistry, these abilities have some overlap perhaps but can each be skilled up separately and impact how a person can later function in roles that depend on the ability to identify true/false propositions.

Do you view the utility and practice of having overlapping confirmations and methodologies for radiometric dating (radiocarbon, potassium–argon, uranium–lead, etc.) to be a philosophic belief?

Do you think that it is wise to spend time and money formally training "high potential" people to have such deeply systemic errors in reasoning to the point that they flat reject peer reviewed, high confidence data and methods as a positive?

We aren't talking about being a Theist, Deist, ETC. We aren't talking about religious beliefs as most christians support radiometric dating, we are talking about educational materials for the young that reject following the data in pragmatic, well documented, well confirmed, high utility fields and rejects them out of pocket with untestable unobservable and sometimes demonstrably false alternatives. I don't want my curriculum to be the blind (or the sophists) leading the blind and to pretend these are equivalent because this self selected group trends towards higher SAT scores seems to miss the point.

I am pro-homeschooling and private schools generally and have multi generational exposure and participation in these things. Let a family believe whatever it wants to believe intellectually, I generally believe these variations to be positive in ensuring the human race is more diverse in exploring the "search space".

That being said, one of the smartest people I know, with all the raw materials in the world became a PHD scientist in molecular biology and bioinformatics and got nerd sniped by his YEC background, the years he's spent spinning his wheels due to an inability to follow the conclusions of his cognitive dissonance means he might as well not have become a scientist at all. It's enough that his family did that to him and it's fine or whatever, but we shouldn't have tax paid educators and curriculums participate in the cognitive crippling of children if our goal is to have a functional and productive society.
This is a bit unfair.

Their arms and neck hurt from using computers (specifically laptops) in their factory configuration.

They have reconfigured the physical layout to no longer cause pain when used.
>So far we have not hit any such wall

On the contrary. The wall in question is "can the computer compute the result we need correctly and efficiently?" So far no QC has climbed over that wall.
the problem is that last generation of the largest models failed to overcome smaller models on the benchmarks, see lack of new claude opus or gpt-5. The problem is probably in the benchmarks, but anyway.
Gemini 2.0 Flash is available here:
https://aistudio.google.com/prompts/new_chat

Based on initial interactions, it's extremely verbose. It seems to be focused on explaining its reasoning, but even after just a few interactions I have seen some surprising hallucinations. For example, to assess current understanding of AI, I mentioned "Why hasn't Anthropic released Claude 3.5 Opus yet?" Gemini responded with text that included "Why haven't they released Claude 3.5 Sonnet First? That's an interesting point." There's clearly some reflection/attempted reasoning happening, but it doesn't feel competitive with o1 or the new Claude 3.5 Sonnet that was trained on 3.5 Opus output.
> One could argue that "optimizing based on signed overflow" was an unreasonable step to take

That optimization allows using 64-bit registers / offset loads for signed ints which it can't do if it has to overflow, since that overflow must happen at 32-bits. That's not an uncommon thing.
From the article:

"One major caveat is that Project Mariner only works on a Chrome browser's foremost active tab, which means you can't use your computer for other things while the agent works in the background – you need to watch Gemini slowly click around."

Web / GUI agent implementations will have to be moved off the local device to ever be useful, otherwise they block the user's machine. I imagine eventually apps using web / GUI agents internally may abstract away the "browsing live view" entirely - instead of having users watch an agent work in real-time, the agent would run asynchronously in the cloud and just return the final outcome or report.

I'm working on an API for AI agent virtual desktops, so thinking through this a lot currently! https://www.agentstation.ai/
These changes are not reflected in the reported test scores, so what impact the changes will have (whether positive or negative) has not yet been measured.
What are they, then…?
This paper provides a helpful breakdown of types of mortalities and how they're associated with BMI. It's interesting to see that the lowest All-cause mortality is at a BMI of 25. A BMI of 30 doesn't increase the hazard ratio that much, but a BMI of ~45 doubles it. The minimum for cancer mortality is notably lower (21) but perhaps surprisingly the minimum communicable disease mortality is at a BMI of 26.

https://www.thelancet.com/journals/landia/article/PIIS2213-8...
This is dealing with them. It's just not dealing with them in a way that you like.
Popping open Podcast Addict, the top 10 podcasts right now are:

1. No Such Thing As A Fish;
2. My Brother, My Brother And Me;
3. Planet Money;
4. Revolutions;
5. 99% Invisible;
6. Stuff You Should Know;
7. The Adventure Zone;
8. This American Life;
9. Freakinomics Radio;
10. The Rest Is History

I had to scroll to #32 to find Casefile which sorta fits your criteria, except it's hosted by a dude and I think he generally discusses older cases.
The actual issue is that the winning bid was $7m- $1.75m cash + $5.25m in debt forgiveness. The question is whether that bid is higher than the competing $3.5m all-cash bid.

That $5.25m debt forgiveness would have to be valued at $1.75m or more for the winning bid to actually be higher, but if other creditors are assuming that they will have losses of higher than 66% then the $3.5m all-cash bid would actually be better for other creditors.
The Multimodal Live API is free while the model/API is in preview. My guess is that they will be pretty aggressive with pricing when it's in GA, given the 1.5 Flash multimodal pricing.

If you're interested in this stuff, here's a full chat app for the new Gemini 2 API's with text, audio, image, camera video and screen video. This shows how to use both the WebSocket API and to route through WebRTC infrastructure.

https://github.com/pipecat-ai/gemini-multimodal-live-demo
> 'information wants to be free'

This wasn't meant to be a moral argument. It's not the information yearns for liberation and we ought to provide it. It's a physics analogy. Like a ball 'wants' to roll downhill. Free is the lowest entropy state of information.
Ah, ok, thanks for the clarification. When I last played with RISC-V it was in (hobby) FPGA stuff and the cores I was messing with did not specify G.
So Wordpress has 1.4B pulls and PHP 1.2B pulls.

curl "https://hub.docker.com/v2/repositories/library/php" -H 'Accept: application/json' -s

curl "https://hub.docker.com/v2/repositories/library/wordpress" -H 'Accept: application/json' -s

There's probably a lot of overlap...
And my point is that it's way too early to try to optimize for running locally, if performance really stabilizes and comes to a halt (which may likely happen) then it makes more sense to optimize.

Plus once you start with on device features you start limiting your development speed and flexibility.
In theory. But if the landlord is hiding (or, more accurately, if the bailiffs don't do their job), you end up paying for everything. But good news! The court order is valid for 30 years, so you might get it all back in the end (probably not).
$400 (16GB DDR5) and $500 (32GB DDR5) because that's not in the blog post.

But I have some questions:

Why the weird form factor? Mini-DTX is supported by a lot of cases but as a motherboard form factor it's incredibly niche compared to Mini-ITX and especially Micro-ATX.

Edit: DTX supposed to be an open standard but it's already a "dead" platform https://en.wikipedia.org/wiki/DTX_(form_factor)

Why the eMMC? There is an M.2 E key but that's for wireless connection only. Is it a platform limitation that M.2 SSDs can't be used?
Wanted a separate post for this comment --

I have never, ever seen a judge use contempt or a default judgment (against someone represented in court) without directly threatening to use that power first.
Yes. Catholic schools, for example, have long been known for far surpassing public school performance, so much so that non-Catholics send their children to Catholic schools. Apart from the better quality of the curricula, Catholic schools have never experienced school shootings, student relations are more genial and civilized, and you can be more confident that your child will be spared the unhinged ideologies du jour.

On top of that, they are quite generous and inexpensive as non-state schools. Listed tuition does vary considerably, as some elite Catholic schools are truly very expensive. However, they're not representative of typical tuition costs, and in either case, they usually offer financial assistance. They even lower tuition for each subsequent child you send to their school. Some schools (like Regis in NYC) are completely free, if you get in.

On top of that, Catholic laity have been founding schools independently in the last ~20 years or so (that is, these are private schools that are not under the direct authority of the bishop of the local diocese). These tend to emphasize a return to classical curricula (like the trivium and quadrivium), updated and supplemented accordingly.

(Those with a prejudice against religious schools as a whole also fail to understand that a guiding worldview is always present in any school. This cannot be avoided. In fact, it is nonsensical. It is the backdrop that determines the organization and structure of curricula in the first place. State schools in the modern liberal state naturally insinuate and teach a liberal worldview, one that bona fide Catholics merely tolerate as a matter of practicality, but utterly reject as a matter of principle, as the liberal worldview along with its liberal anthropology is at odds with the Catholic worldview. Education is ultimately a matter of intellectual formation which is something that entails some measure of moral formation as well. The liberal arts are first and foremost about freeing a person to be able to reason and reason proficiently, not about producing economic actors first and foremost, though you could naturally expect someone with this formation to be well-prepared for the world of work as well as a consequence of having been formed intellectually and morally.)
Does the compiler log an error if you try to compile a line of code with more than one "i" in it?
Why Isn't Tesla Level 3?
I remember that some keys would randomly stop responding on mine as well. That was frustrating. I do not view having to take apart a modern Yamaha digital synthesizer to make it work as acceptable.
No, it's C at -O0.
You know he's been responding directly on Scott Aaronson's blog, right?
This will never take off with that awful logo and mascot, and general silliness. With the "developed by Framasoft", like who the f* cares. It's noise, it looks awful, it repels potential users. Get some serious marketing person in.
> And Playwright isn't smart enough to understand that that is still the label for the <input> element. Helium is smart enough.

I'm glad you like your project, and I'm sure there are others who will similarly enjoy that kind of magick. However, it's super disingenuous to write an example that asks a standards based API to find a non-existent element and then clutch pearls because it didn't find a non-existent element. page.get_by_label("I dunno, I didn't read, do what I am thinking").fill('lol') similarly would not work but that's not the awesome dunk you think it is
> a share of whatever revenue they make from Infowars in the future

What is that realistically? They said they will turn it into gun safety information. How does a gun safety information site make money out of an audience of people expecting a guy shouting about conspiracy theories?
My guess: less cells mean less cancer, but it's good to have reserves if you're fighting off a virus?
...something's hard is not a reason to expect it's magic.

Something that is impossible to accurately be modeled mathematically is not magic.
P550 cores don't have vector extensions. It's actually quite an old design, from 2021. What you'd want is SiFive P670 cores, which are RVA22 compliant with the vector 1.0 spec.
Enforcing high school standards is exactly what "lefties" are trying to do, but it's undermined by school choice vouchers (about to become a lot more prominent).

Instead we should follow Finland's example and get rid of private schools altogether.
> The problem it solved would take a septillion years to do on a conventional computer

And more importantly, the solution is not actually verified in any way. It might be wrong.

I don't understand (as a complete laymen) why the milestone isn't something classically hard but easily verified (in line with you). I feel like it's weird because people have spent a lot of time telling me how trivially quantum computing will break encryption that defeats normal computers.
I released a new llm-gemini plugin with support for the Gemini 2.0 Flash model, here's how to use that in the terminal:

llm install -U llm-gemini
llm -m gemini-2.0-flash-exp 'prompt goes here'

LLM installation: https://llm.datasette.io/en/stable/setup.html

Worth noting that the Gemini models have the ability to write and then execute Python code. I tried that like this:

llm -m gemini-2.0-flash-exp -o code_execution 1 \
'write and execute python to generate a 80x40 ascii art fractal'

Here's the result: https://gist.github.com/simonw/0d8225d62e8d87ce843fde471d143...

It can't make outbound network calls though, so this fails:

llm -m gemini-2.0-flash-exp -o code_execution 1 \
'write python code to retrieve https://simonwillison.net/ and use a regex to extract the title, run that code'

Amusingly Gemini itself doesn't know that it can't make network calls, so it tries several different approaches before giving up: https://gist.github.com/simonw/2ccfdc68290b5ced24e5e0909563c...

The new model seems very good at vision:

llm -m gemini-2.0-flash-exp describe -a https://static.simonwillison.net/static/2024/pelicans.jpg

I got back a solid description, see here: https://gist.github.com/simonw/32172b6f8bcf8e55e489f10979f8f...
Static computation is not reasoning (these models are not building up an argument from premises, they are merely finding statistically likely completions). Computational thinking/reasoning would be breaking down a problem into an algorithmic steps. The model is doing neither. I wouldn't confuse the fact that it can break it into steps if you ask it, because again that is just regurgitation. It's not going through that process without your prompt. That is not part of its process to arrive at an answer.
Correct.

On the other hand, neither one is guaranteed to be optimal for continuous thrust maneuvers, which with electric prop are increasingly common.
I do occasionally get twinges in the exact place on my leg that my phone vibrates against when it's in my pocket, even when my phone is in my hand. It's quite unsettling.