skysight-inc/HackerNews huggingface dataset:
> I'm just surprised (and again, not very, not anymore) at the degree of anti-Israel rhetoric

You are saying this as if anti-Israel rhetoric is something bad. Israel is an apartheid state currently engaged in genocide. It is an absolutely normal reaction on the part of this and other communities to call out Israel's atrocities.
Fair enough for dense urban areas, I suppose.
There's a nod given to dependently-typed languages (where types live in the same namespace as values, so they can be passed-into and returned-from functions), but it's useful to note that in those languages this "local coherence" approach doesn't just "look like" lambda calculus, it is lambda calculus. For example, to insert a new element into a sorted list we might define a function like this:

insert: (t: Type) -> (o: Ord t) -> t -> List t -> List t
insert t o x xs = case xs of
Nil _ -> Cons t x (Nil t)
Cons _ y ys -> case lessThanOrEq t o x y of
True -> Cons t x xs
False -> Cons t y (insert t o x ys)

(Sure, we could also use a more specific type like 'SortedList t' or whatever; that's orthogonal to my point)

Notice that the first argument `t` is a `Type`, and the second argument `o` is an `Ord t` (where `Ord` must be a function which takes a type as argument and returns another type; presumably for a record of functions). It's literally just lambda calculus.

However, this obviously gets quite tedious; especially when there's so much repetition. For example, the third argument has type `t` and the fourth has type `List t`, so why do we need to pass around `t` itself as a separate argument; can't the computer work it out? Yes we can, and we usually do this with {braces} syntax, e.g.

insert: {t: Type} -> {o: Ord t} -> t -> List t -> List t
insert _ _ x xs = case xs of
Nil _ -> Cons x Nil
Cons _ y ys -> case lessThanOrEq x y of
True -> Cons x xs
False -> Cons y (insert x ys)

Here I've indicated that `t` and `o` can be worked out from the context; I've replaced their argument names with `_` and we're no longer passing them explicitly into the recursive call, or to `Cons`, `Nil` or `lessThanOrEq` (assuming that those functions/constructors have also marked their arguments as such).

This is why the feature is called "implicits", since it's leaving some arguments implicit, for the compiler to fill in using information that's in context. It works quite well for types themselves, but can get a bit iffy for values (as evidenced by this blog post; and I've seen all sorts of footguns in Scala, like defining some implicit String values and hoping the right ones get picked up in the right places...)
> but everyone knows that the first applications will likely be military and surveillance.

military, surveillance and porn
Nodejs/js runtimes in general get a lot of development effort to make the runtimes fast from Google et al. It's the default web language so there's a ton of effort put into optimizing the runtime. Python on the other hand is mostly a hacker/data science language that interops well with c, so there's not much incentive to make the base runtime fast. The rare times a company cares about python interpreter speed, they've built their own runtime for python instead.
At current sizes, these things are like humans. They gotta specialize.

Maybe that'll be enough moat to save us from AGI.
> given how easy it is to write typescript compared to Rust and Python imho, maybe the JS community isn't as crazy as I thought

Speed and easiness of writing aren’t the only two metrics that matter. Unless you subscribe to “move fast and break things”, I guess. Simplicity of packaging/distribution/embedding, artifact size, reliability and trustworthiness of the ecosystem, pre-distribution correctness checks… All of those are important to consider.
> All climate predictions have proven to be wildly inaccurate

Climate models are not inaccurate. They have error bars and a range of possible outcomes, but the models presented to the leaders and the public are in like the 10th percentile of severity, because otherwise the scientists are accused of being hysterical and overreacting. None of this is any surprise to climatologists.
We don't need Google, but it offers convenience.
According to Wikipedia, USA is in 16th place, behind a bunch of small countries, and Saudi Arabia, Canada, Australia and Russia.
Yes, though that's Fibonacci, etc. I assume V8 still has a large edge against PyPy for a lot of real world applications.
“Veterinary medicine has been predominantly female in the US since 2009. That trend is continuing, with 87.3% of current veterinary school applicants identifying as female, as well as 88% of veterinary technicians.”

(Source: aaha.org)

Given that the gender imbalance in physics/engineering/CS is always blamed on men pressuring women against participating, one wonders, what kind of monstrous women are gatekeeping the veterinary field, and what kind of harassment are they inflicting on men who try to participate?
You're describing the WebGPU spec and its different implementations.

OP claimed WGPU had native support for VK, DX and others. But as far as I know, WGPU just supports WebGPU being translated on the fly to those other backends, with the obvious performance hit. If I'm wrong, I'd be interested to know, as this would make WGPU a more interesting choice for many if, in reality, the code was native instead of translation.

Edit: https://docs.rs/wgpu/latest/wgpu/#backends it seems they indeed support native code in almost every backend?
But all such triples are non-primitive. I.e. they are of the form (ka, kb, kc) with k>1.
So all Pythagorean triples can be generated as a scaled primitive triple (a,b,c) that is generated by Euclid's formula from m,n.
A friend of mine achieved a similar speedup by implementing the text parsing in numpy instead of native python.
The clamp() CSS function (and auto-adapting grids) can reduce media query usage to a really loooow minimum. Nowadays I use media queries only for mobile nav and maybe layout grid adaptation. Like 2 to 4-5 media queries per project maximum.

I think that's what the comment you're responding to meant.
Do Large Language Models learn world models or just surface statistics? (2023)
I don't want a camera the size of a grain of salt! At least not while surveillance capitalism and creeping authoritariarism are in full swing...
A ~20U rack working off residential 15/20A would have been so cool.

Though given how it's designed for the datacenters, I'd expect the thing to be pretty darn loud.
Should I climb the career ladder as a manager
I'd recommend checking out numba (https://pypi.org/project/numba/) - where relevant, it can give huge speedups for minimal effort.

Just adding @numba.njit above the factorial function gives me a 36X speedup, putting it ahead of PyPy/Node.js and just a couple of times slower than Rust.
Wow Windmove is a little gem that I'd never heard of. Shift-<arrow> is way more intuitive for me for moving around buffers than bashing C-x o or invoking ace window and then choosing a buffer number. Activate with

(when (fboundp 'windmove-default-keybindings)
(windmove-default-keybindings))

Thanks Julian!
> This is unlike basically every other form of death.

It's unlike many deaths. But there are plenty more that share that quality.

> Wetterhahn would recall that she had spilled several drops of dimethylmercury from the tip of a pipette onto her latex-gloved hand.

> Approximately three months after the initial accident Wetterhahn began experiencing brief episodes of abdominal discomfort and noticed significant weight loss.

https://en.wikipedia.org/wiki/Karen_Wetterhahn

That onset reminds me of a children's book about postwar Japan, in which a little girl is running around on the playground and falls down. This extremely ordinary event is treated as an emergency, and it turns out to be one.
But why? Seems like it would be inconvenient to gym-users to add these extra steps to getting in and out of the gym. Especially if you have to wait behind other people just to get or return a key. What is the benefit of such a system?
And yet reflexive cynicism about politicians is just being a realist :D
> It would surely just be fluff in the prompt. The model's ability to generate chess sequences will be bounded by the expertise in the pool of games in the training set.

There are drawn and loosing games in the training set though.
Meteor 3.1 is out: a new dawn for full-stack JavaScript development
I had the same thought, but it sounds like this operates at a much lower level than that kind of thing:

> Then, a physics-based neural network was used to process the images captured by the meta-optics camera. Because the neural network was trained on metasurface physics, it can remove aberrations produced by the camera.
The core of the issue is that you need beefy GPUs to really run these models at production workloads.

So I think what you're currently imagining won't happen until GPU prices go down massively
How would someone detect sensors so small?

How would someone excrete an array of these cameras if ingested?
I was thinking upsets from the two party status quo. It reduces spoiler effects but increases the risk of that third-party candidate actually winning, and I think the two national parties are worried about needing to change at the regional level in ways which they fear would harm their party in other regions (e.g. say more AOCs beat establishment Democrats in similar district: do they get comfortable with a two party coalition, or do they try to run more liberal Democrats and hope this doesn’t set them further back in other states?).
The natural input of "nutrients" to the ocean is vast, compared to the natural input of modern artificial plastics.
First Close-Up Picture of Star Outside the Milky Way
Massive amount of rare metal deposits found off remote pacific island in Japan
> I invite anyone making that claim to find me an "advanced amateur" (as the article says of the LLM's level) chess player who ever makes an illegal move. Anyone familiar with chess can confirm that it doesn't really happen.

This is somewhat imprecise (or inaccurate).

A quick search on YouTube for "GM illegal moves" indicates that GMs have made illegal moves often enough for there to be compilations.

e.g. https://www.youtube.com/watch?v=m5WVJu154F0 -- The Vidit vs Hikaru one is perhaps the most striking, where Vidit uses his king to attack Hikaru's king.
I wonder why they didn’t go forward with the extermination charges then. It shouldn’t be to hard to find evidence of hundreds of illegal deaths. I mean the flour massacre alone has 118+ confirmed deaths back in February.

Did the prosecutor simply fail to put forward good enough evidence to convince the judges?

Not that it matters the most, the charges they did bring are serious enough.
This is a great visualization. It highlights not only the increased frequency of attacks but the extent to which they happen at night and especially pre-dawn hours.

I returned to a Kyiv in August 2023 and in the intervening time I’ve noticed this trend as well. It really takes a psychological toll when you are woken up in the night over and over by explosions or air defense systems firing.

If more westerners had to live this way for a month or two I think it would go along way to a better understanding of the plight (and incredible grit) of everyday Ukrainians.
Any similarity to actual persons living or dead is purely coincidental
Your conclusion is correct. I'm very happy with the two that Rust picked and tired of people pretending that there will be a magical pick three option if we just keep talking about it.
2010: https://www.consumerreports.org/cro/news/2010/10/consumer-re...

> Volvo models are rated average or better

2023: https://www.consumerreports.org/cars/car-reliability-owner-s...

> Overall Volvo reliability score: 28 (out of 100)

(A snide remark at the second link: Teslas are notorious for falling apart when they come out of the factory, but even they scored 48/100)

If you can only make baseless made up ad-hominem attacks, don't bother responding.
Just file a complaint with the United Nations Ethics Czar. Oh.. wait.
For protein intake helping decrease this:
https://faseb.onlinelibrary.wiley.com/doi/abs/10.1096/fj.13-...

https://faseb.onlinelibrary.wiley.com/doi/epdf/10.1096/fj.13...

https://faseb.onlinelibrary.wiley.com/doi/epdf/10.1096/fj.14...

https://www.sciencedirect.com/science/article/pii/S216183132...

https://www.mdpi.com/2072-6643/12/8/2457

For weight lifting helping decrease this:
https://www.mdpi.com/2072-6643/11/11/2824

https://journals.physiology.org/doi/full/10.1152/japplphysio...

https://link.springer.com/article/10.1007/s00726-013-1506-0

https://journals.physiology.org/doi/full/10.1152/ajpendo.005...

https://onlinelibrary.wiley.com/doi/abs/10.1002/mus.21780

https://journals.physiology.org/doi/full/10.1152/ajpregu.004...

https://www.mdpi.com/2072-6643/10/4/423

These are just a tiny subset of the studies done - google scholar can find you many dozens more, if you desire. And, of course, the fact that these studies exist it all necessarily implies that you lose muscle mass when in energy deficit, as you will see in the control groups for them.
Your comment resonated with me, feels like it somehow ties in with Peter Turchin's concept of "Elite Overproduction" [0]

We're generating too many elites, and there isn't room for all of them in the power structure. Which could explain why bureaucracies have grown so much, finding some place to put these warm bodies. Of course orgs can only support so much bloat, leading to infighting for status, further leading to social instability and culture wars.

Anyhow, interesting food for thought.

[0] https://en.wikipedia.org/wiki/Elite_overproduction
So we're in a "no true Scotsman" situation then, where no benchmark is ever useful.

I kind of disagree on the meaningfulness of microbenchmarks, they give a feel for the performance, even if it's not a perfectly useful apples-to-apples comparison.

Like, if decoding a large JSON takes 3 milliseconds in one language and 2 minutes in another, that's signaling that the second language is a worse fit for certain projects. Even if the benchmark isn't super rigorous.
Presumably because the old API was broken/lacking/etc. Calling the resulting porting work "unnecessary" without even considering why the API might have been changed is not fair.

The pidgin project is 25 years old, and libpurple is 17 years old. It's entirely fair that a rework is required, and much appreciated that this work is continuing.
You could compare childhood with the training phase of a model. Still think humans are not data-efficient ?
Every major website including Reddit and Imgur have TOS language saying they can do basically anything they want with content you add to their platforms, including AI training
What We Know About Earth's Temporary Mini-Moon
>“His only weakness was temptation,” says Rogers. For alongside Esame, his wife, and Lucy, his first love, he had numerous other lovers.

Funny this is cancel-worthy sometimes, and in other times it's treated as a quaint personality trait.

Also, the Beatles aren't famous because I Want to Hold Your Hand sold 12 million copies. The Beatles have 50 multi-million selling singles.
Also the scatterable surveillance cameras used in his other great novel, 'The Peace War' [0]. Although IIRC they were the size of seeds or similar.

[0] https://en.wikipedia.org/wiki/The_Peace_War
It's weird because it is not a black box at the lowest level, we can see exactly what all of the weights are doing. It's just too complex for us to understand it.

What is difficult is finding some intermediate pattern in between there which we can label with an abstraction that is compatible with human understanding. It may not exist. For example, it may be more like how our brain works to produce language than it is like a logical rule based system. We occasionally say the wrong word, skip a word, spell things wrong...violate the rules of grammar.

The inputs and outputs of the model are human language, so at least there we know the system as a black box can be characterized, if not understood.
Is healthline spam? It's my go to whenever I have a medical question to add healthline to the search
In 20 years of non-truck car ownership, I've never had to rent a truck. I could always just buy a service that e.g. delivers my large goods from the store to my door, or move all my things and furniture when moving apartments etc. What are the use cases when actually driving the truck myself is necessary?
Are they not? Every modern camera does the same thing. Upscaling, denoising, deblurring, adjusting colors, bumping and dropping shadows and highlights, pretty much no aspect of the picture is the way the sensor sees it once the rest of the pipeline is done. Phone cameras do this to a more extreme degree than say pro cameras, but they all do it.
> Casey Muratori has a real in-depth course on why Python is slow and how to make it fast

I don’t think that’s a fair characterisation of the course and that description does it a disservice. The course is not about Python, it’s about programming with performance in mind.

The video on Philosophies of Optimisation is a good primer on the tenets of the course.

https://www.youtube.com/watch?v=pgoetgxecw8
Unfortunately, whether or not a client is sanctioned for use on Signal-owned infrastructure is entirely up to the Signal organization, and they have been rather hostile to such clients.
Do you mean cython? Or did you switch from something else to Python?
I am by no means an expert in CPython/V8 internals, but arguably Python is way more dynamic (e.g., dunder methods), performs way more runtime checks (whereas JS will happily keep on trucking if, say, you add a string to an integer), and its design makes it very hard to infer which value inhabits a variable at a given point in time (which you would need in order to apply optimizations to the bytecode). This kind of flexibility cannot come for free.
Those links aren't shy about explaining that people exposed to that level of heat die. Here's the first one:

> According to a study recently published in Nature Medicine, more than 60 000 people died because of last year’s summer heatwaves across Europe.

It's not necessary for your home food storage to be able to survive temperatures that you can't. If it happens to the food in your home, it will happen to you too.
Or a sign of pride or virility, reserved for (or a prerequisite to become) the rich, powerful, famous, and leaders.
It's been a while now, but I believe Ed Kmett covers some of this in his talk "Typeclasses vs The World"

https://m.youtube.com/watch?v=hIZxTQP1ifo
it has a GIL; it supports all pure python packages; it has decent support for packages with compiled code, particularly the more popular ones

pypy is used in some interesting places; at some point development was sponsored by a sports betting arbitrage company; you can research a bit more starting from https://pypy.org/pypy-sponsors.html and reading the links from https://pypy.org/categories/sponsors.html
Brave is great. Even my Mom uses it and now "hates commercials"
Because his hit was sold across Africa, not Europe or North America.
Norway and Switzerland - one has huge amounts of oil, the other stores crooked money...and both are far more connected into the EU than the UK is.

Australia....a great country but not a world power. 40 million people on a continent where the UK is 70 million people on an area 31 times smaller. Even if you ignore the desert it's such a different story.

The whole thing is just ridiculous - the UK needs to be teamed up somehow. The Empire made people think this was unnecessary but that never was true and it's now a hopeless sentiment.

We accept that NATO is critical....but teaming up is critical for every other aspect of life - especially if we are to preserve our values in the face of other big groupings that are far far less nice.
Careful with your bits vs bytes there
Everyone here is thinking about privacy and surveillance and here I am wondering if this is what lets us speed up nano cameras to relativistic speeds with lasers to image other solar systems up close.
Databases Avoid Data Loss with Write-Ahead Logs
Yes, and I would like this approach to also be used in other, more practical areas. I mean, more "expert" content than "amateur" content in training data, regardless of area of expertise.
I think it depends a lot of what one see as a success and "make it work".
If we think that success is only high earning, growing forever, vc fuelled companies, then no. Open source will never work for that.
The rayban metaglasshole comes to mind. Now its just journalists who fool people in the street with AI face recognition tricks, and its all still fun and games. But this is clearly a horror invention, merrily introduced by jolly zuck, boss of facelook.
> I think you don't appreciate how good the level of chess displayed here is. It would take an average adult years of dedicated practice to get to 1800.

Since we already have programs that can do this, that definitely aren’t really thinking and don’t “understand” anything at all, I don’t see the relevance of this part.
> which strikes me as pretty ample unless they're also adding a bunch of physical activity.

It seems likely we've evolved to reduce energy expenditure in other ways when we regularly induce physical activity, too. Walk 20,000 steps or spend a couple of hours on the treadmill? Your body finds ways to reduce your energy expenditure elsewhere.

https://pmc.ncbi.nlm.nih.gov/articles/PMC4803033/
what is more permacomputingy about xmpp than matrix, ooi?
very interesting. I have never been able to achieve speedups in text processing with numpy. Do you have any examples by any chance?
This is in reference to [1].

[1] https://github.com/gfx-rs/wgpu/issues/6434
Slow Email (2008)
Do you have any sources to back these claims? Also, what specifically do you mean by "half the casualties were instant"--is it that "of those who died, half of them died instantly" or "of those killed and injured, half of them received their injuries instantly". Or is it some other thing?

I think you're falling into exactly the sort of trap I was talking about, that the enormity of the devastation is so unimaginably great that it's difficult to imagine what it would actually be like, and to (somewhat lazily) conclude "well, it'd probably be instantaneous". But, for example, this analysis doesn't support that idea at all: https://thebulletin.org/2020/08/counting-the-dead-at-hiroshi...
EU buyers still shunning pure electric vehicles, prefer hybrids
it is certainly good to not put more stuff in the water. i would suggest it is even better not to make stuff that shouldn't go in the water. but apparently a lot has already been made and there's constantly more of it in the water, and it looks like nobody is stopping

so if some major fraction of present production of that shit that shouldn't go in the water can be eliminated, and satisfied by an alternative that is not a persistent accumulating poison, i'll take it
Myst Fans 2015 Convention Escape Room Wrapup
edited, thanks!
Yes, that is exactly the point I am making. It takes many repetitions (epochs) to teach them anything.
Ah, though I don't know what relative amount of similar time/money Apple dumped into that engine.
Kyndryl insiders say there's little new business
I don't think the cheap clones were ever the problem. Prusa changed gears more heavily when Bambu came, took the code, ideas and learnings, modified, added, closed it and held for themselves.
An 'ocean grab' for a property megaproject leaves Jakarta fishers grounded