skysight-inc/HackerNews huggingface dataset:
> While I think they're both wrong, a lot of people seem to think they can do abstract reasoning for symbols or symbol-like structures without having to use formal logic for every step.

Huh.

I don't know bout incompleteness theorem, but I'd say it's pretty obvious (both in introspection and in observation of others) that people don't naturally use formal logic for anything, they only painstakingly emulate it when forced to.

If anything, "next token prediction" seems much closer to how human thinking works than anything even remotely formal or symbolic that was proposed before.

As for hardcoding things in world models, one thing that LLMs do conclusively prove is that you can create a coherent system capable of encoding and working with meaning of concepts without providing anything that looks like explicit "meaning". Meaning is not inherent to a term, or a concept expressed by that term - it exists in the relationships between an the concept, and all other concepts.
Maybe I'm being too skeptical, and certainly I am only a layman in this field, but the amount of ANN-based post-processing it takes to produce the final image seems to cast suspicion on the meaning of the result.

At what point do you reduce the signal to the equivalent of an LLM prompt, with most of the resulting image being explained by the training data?

Yeah, I know that modern phone cameras are also heavily post-processed, but the hardware is at least producing a reasonable optical image to begin with. There's some correspondence between input and output; at least they're comparable.
you're saying something about yourself and your context but very little about python or loops

what would you prefer using? how do you compare python loops and those of that other language?
While I don't disagree (broadly speaking) with you about the complexity of webdev, it looks like you don't have a full understanding of what Tailwind is:

a (CSS) code generator.

It happens to be written in JS so it can be integrated as part of existing build steps or bundling. That's the rationale behind it. :)
It's build-time, not something client-side.
Interesting. I wonder what parts of this approach could be adapted to DEM models of solids. For those unaware - even though DEM is naturally chosen for fluids, depending on how you configure the force laws between particles you can easily model solids as well, where each particle is essentially a chunk of material. There are then some interesting choices to make about (a) what kind of lattice you set the initial particles up in, and (b) how you tune the force flaws to get the macroscopic properties you want around stiffness, etc and (c) if you use multiple “types” of particles forming a composite etc.
To an American, it probably sounds metal. To a German, it sounds whimsical. Love it.
> E.g., open this webpage in different browsers: https://howfuguismybrowser.dev/

... and see a bunch of Chrome-only non-standards

> On “speed”, not sure what you mean, but Chrome has been demonstrably the fastest browser.

Re-read what I wrote. I was talking about the speed of releasing new features and APIs. They ship ~1000 new APIs a year

> Speaking of PWAs, Chrome was also the first to deliver a good PWA experience on mobile devices and on the desktop.

There's no such thing as PWA. It's a marketing term used extremely loosely to prove anything, and nothing. It's a random collection of 20 or so standards, and everyone choses their own favorite subset to say ah yes, this is crucial for PWA support".

---

On the other hand we have documented cases of Google sabotaging competitors (https://archive.is/tgIH9), forcing their tech decisions on competitors under the threat of retaliation (https://www.flatpanelshd.com/news.php?subaction=showfull&id=...), selling user data to advertisers (from FLOC to current plans to sell first-party cookie data: https://bsky.app/profile/thezedwards.bsky.social/post/3las7o...) and so on
Python takes ~180 assembly instructions to add two numbers, where „compiled to machine code“ languages only take one.

Casey Muratori has a real in-depth course on why Python is slow and how to make it fast, among many other things why software can be slow.

https://www.computerenhance.com/
Cycles: A peer-to-peer electronic clearing system
How is a political preference a causal factor? Why isn't it considered a correlation rather than a cause?
Yup, I remember reading your comment and that making the most sense to me.

OpenAI just shifted their training targets, initially they thought Chess was cool, maybe tomorrow they think Go is cool, or maybe the ability to write poetry. Who knows.

But it seems like the simplest explanation and makes the most sense.
> In the title of this article I asked if Python is really that slow. There isn't an objective answer to this question, so you will need to extract your own conclusions based on the data I presented here, or if interested, run your own benchmarks and complement my results with your own.

Huh? I mean, author's own benchmarks prove that Python is, indeed, that slow. Not everyone is going to be running their python code through PyPy. There are areas in which Python is invaluable and irreplaceable, but, let's accept things for what they are - it's slow. It only keeps up through libraries that leverages C code, and for those things - it is very acceptable.
The demo is doing a setBindGroup per triangle, so not exactly surprising since this is a well known bottleneck (Chrome's implementation is better optimized but even there setBindGroup is a surprisingly slow call). But since both implementations run on top of Metal there's no reason why Safari couldn't get at least to the same performance as Chrome.
From string to AST: parsing (2019)
Is it enough if I hand-wave it with probability distributions, or do you want me to write out adjacency search in a high-dimensional space?
Feel free to elaborate on how it's wrong.
Or simple locked car on a sunny day (maybe not during winter), with dark interior. This can reach >90C over an hour or two.
This is not true. R shines for classical stats and ML. If you are doing deep learning, you need Python.
Honestly Senator Coons is a good guy acting in his constituents’ interest, and this is not based on campaign donations from corporations or patent trolls. He represents a small district home to a big pharmaceutical company, and that is also a center for patent litigation.
> You'll be viewed as a neanderthal that probably can't or didn't pass Calculus.

Funny you say this 1.5 months after I find out that the university where I got my master's dropped calculus classes (from the bachelor subjects, there never was much non-applied math in the master years). Logic (mathematical logic), discrete math, combinatorics and theoretical statistics have been dropped years past (more than a decade for logic). Applied statistics and "Math I + II" (essentially revision of high school calculus, practical only, no theory, e.g. no more treatment of the difference between Riemann and Newtonian integration) are all the math that's left.

Master degree holders starting 4 years from now will all be "neanderthals that probably can't or didn't pass Calculus". Or at least know little of the theoretical underpinnings of calculus.
I'm sorry, but DEM is not for fluid simulation. It's used to simulate granular materials by default. Also the hopper discharge that is shown does not contain any fluid. The fluid is usually modeled using a different tool (e.g. using the finite volume method) which is then coupled to the particles.
I'm new to GPU programming, and WebGPU and Rust's wgpu seem pretty nice to me (except the bindings!). The API is high-level enough that it's easy to learn. It hasn't grown deprecated parts or vendor-specific extensions yet.
They don't all produce separated plutonium, this also includes those that produce enriched uranium, which is also fissile.

The three reasons to produce fissile material are weapons, non-explosive military uses and civilian power reactors. Even many of the weapons states aren't producing new fissile material for weapons these days, they have more than enough.
This is a great visualization from the creator of Leaflet.js, the original lightweight web mapping library that gained significant traction over a decade ago. It is such a good visualization because it tells a compelling story that immediately highlights a couple of points that the author is trying to drive home in the article: namely it demonstrates quickly how bombings affect the daily lives of Ukrainians as well as quickly demonstrating the frequency and duration of which attacks occur and how attacks have increased in both frequency and duration in recent months.
I didn't downvote you (I'm just reading this thread for the first time), but I don't get your original argument. Usually benchmarking two languages means either:

* microbenchmarks comparing speed of doing stupid things (like adding 10000 integers or sorting a list with bubblesort 1000 times)

* 'real world'-ish benchmarks comparing idiomatic solutions in two languages doing the same thing

In both cases it doesn't matter (much) how big a standard library is. If you want to compare two languages doing something complex, you need to have -standard or not- implementation of that something for both languages.

But maybe I (and possibly others) have missed your point?
These bar graphs really need to use a logarithmic scale. Also, 0.06s is too small a runtime to measure reliably with an external wrapper, the workload needs to be larger or repeated to get good data.
https://en.wikipedia.org/wiki/Peace_on_Earth_(novel)
Me either. Acly's krita add-on takes a bit of the pain out of it for me personally: https://github.com/Acly/krita-ai-diffusion
(I have not and would not try FLUX however -I don't have the hardware).
Learned something new today. For other interested: https://en.wikipedia.org/wiki/Pythagorean_triple#Generating_...
72,000*72,000* say, 24 bits per color * 3 colors, equals ~43 GiB per image.

edit: mixed up bits and bytes
Every time I bought an electric unicycle, it got stolen at South San Francisco branch. It is totally reproducible, happened 3 times. One time I found some higher up at FedEx on LinkedIn and sent them an InMail. The regional manager really pushed this issue to highest priority for the branch. Branch managers got CC'ed in, drivers, people working at the warehouse; it was an all hands on deck situation. They reassured me that they have cameras everywhere and it couldn't be stolen.

It was stolen. They don't know who did it. FedEx is terrible.
With a JIT, you can examine what's actually running and compile on the fly a static portion and then execute that.

A downside is that you don't have as much time as time spent compiling is not spent actually doing the work. And I think typically for these dynamic languages, you still need some guard code at the edges to make sure the types you see are consistent with the compiled portion.

But there's the upside that you can observe runtime behaviour which is much more difficult to get into an ahead-of-time compiler. For instance, you might be able to JIT into a regexp engine executing a particular regexp.
You would still have to power the thing and store the data etc. This is just about the lense.
> We must reserve a back room [une arriereboutique] all our own, entirely free, in which to establish our real liberty and our principal retreat and solitude

And thus the man-cave was born :)

My dream house would have a big study with books covering the walls floor to ceiling and a big wooden desk in the middle, like the one in Palazzo Revoltella in Trieste[0][1] (by the way, goo see the Museo Rivoltella if you ever go to Trieste).

The current small room I work from is something already. At least I can close the door when I call customers and team-mates. Heaps better than when I had to work from the living room. But a bit more room (and not having to share the space with the pantry) would be nice.

[0] https://i.pinimg.com/originals/33/47/20/3347206a9602a062ee8f...

[1] https://i.pinimg.com/originals/04/99/fb/0499fb98b756a2511c40...
Deno 2.1: WASM Imports and other enhancements (LTS released)
This seems like it's going to ne a serious problem for privacy... not that anyone cares.
That depends on how “compilable” a language is and on how much effort the compiler writers made.

All else bring equal highly flexible languages where the code continuously has to check the current type of the value of a variable and/or functions can be updated/replaced/etc tend to be slower than more strongly typed ones in both interpreters and compilers.
As with any http website, a malicious actor (e.g. someone in a coffee shop or an airport) could set up a plausible looking wifi service and then MITM the website and insert adverts or malware into the page.

However, that has been discussed on many other topics that are directly to do with TLS/certificates etc. so I don't think it's worth bringing up (aimed at the OP) every time there's an HTTP linked.
Bag rule?
Implementing a safe garbage collector in Rust (2022)
Sensor size is super important for resulting quality, that's why pros still lug around huge full frame (even if mirrorless) cameras and not run around with phones. There are other reasons ie speed for sports but lets keep it simple (also speed is affected by data amount processed, which goes back to resolution).

Plus higher resolution sensors have this nasty habit of producing too large files, processing of which slows down given devices compared to smaller, crisper photos and they take much more space, even more so for videos. That's probably why Apple held to 12mpix main camera for so long, there were even 200mpix sensors available around if wanted.
How does this work? If it's just reconstructing the images with nn, a la Samsung pasting a picture of the moon when it detected a white disc on the image, it's not very impressive.
Of course it can change, that's what removal of coherence does.

It seems to me to be a logical impossibility to allow orphan implementations, and allow crate updates, and not have trait implementations changing at the same time. It's a pick-two situation.
Reminds me of "Do not look into laser with remaining eye"
Well, people who write such benchmarks have no business writing benchmarks, and the comments to such comparison would usually say as much.

Such benchmarks don't compare anything in a meaningful way, and, in the second case, don't even compare what they claim to compare (you don't compare the languages if you run some third-party code on top of it, which has nothing to do with how the language itself is implemented).

These "benchmarks" just score some holly-war points for people who either irrationally like, or irrationally hate a particular language...
> I don't know bout incompleteness theorem, but I'd say it's pretty obvious (both in introspection and in observation of others) that people don't naturally use formal logic for anything, they only painstakingly emulate it when forced to.

Indeed, this is one reason why I assert that Wittgenstein was wrong about the nature of human thought when writing:

"""If there were a verb meaning "to believe falsely," it would not have any significant first person, present indicative."""

Sure, it's logically incoherent for us to have such a word, but there's what seems like several different ways for us to hold contradictory and incoherent beliefs within our minds.
But I think you hit the nail on the point that “it is actionable”.

You argue any such conclusion is not actionable. But it is, and to make example, one can imagine that senators will be more circumspect in sponsoring labs to do this kind of work. If no one held the opinion, they wouldn’t care a hoot.

Is it a certainty? For sure it’s not. But having opinions is worthwhile.
All climate predictions have proven to be wildly inacurate with actual rates of warming bieng an order of magnitude greater than the ones still bieng taught in universities and used in most "models"
There is zero political will to do anything about environmental problems.
And disaster capitalism is booming on the backs of everyone effected now.
The only cause I am championing is pragmatism, and so I vote with my feet and my wallet, and try and cause less harm
Also, whose definition of "best self" are we using, that of the person being watched or of the person controlling the camera?
> I think the recommendation also included extermination, which is similar to genocide, but also does not require intent, but I think the voted against that.

Persecution is the charge probably most similar to genocide minus a lot of the intent requirements (which was granted). The requirements for extermination (which was rejected) is basically they have to be resposible for > 50 illegal deaths (not sure on the exact number, but somewhere in the double digits). The icc granted the murder charge, which is the lesser version of exterminatin when it is only < 50 ish deaths.
Have you looked at the PyPy benchmarks in the article?

Broadly speaking, PyPy is to Python as v8 is to JavaScript.
I dislike the habit we see here of downvoting without commenting the reason why the comment is being downvoted.

We can only guess, but I believe it's because even though that is true, that python packs a lot more in its library than js, therefore more batteries, more time spent including those batteries and less time spent optimizing the interpreter, but standard benchmarks do away with all of that and focus on simple problems, like adding two numbers, to see how each language behaves.
The first time I registered to Mastodon it autocapitalized my user name on the web form. Thus I ended up with a capitalized name.
I didn’t like that as all my Social handles are lower case, thus deleted the account and registered again only to be alerted that the name was taken.
So basically I couldn’t change it to lowercase on their interface, but when deleted I could not register it again.

And that in a nutshell is my experience with everything Mastodon :)

After years the issue is still open and makes the first impression of a lot of users pretty bad.

https://github.com/mastodon/mastodon/issues/20487
I haven't read deepness in the sky but it's interesting how wrong alot of scifi got this. Cameras are always considerably bigger than grains of sand
My partner has a PhD in maths and physics and she absolutely suffers from discrimination in both fields for being a woman. It’s a field full of men who aren’t very in tune in what it means to be appropriate and professional around women, she is constantly dismissed and ignored despite being a leading expert in the world for what she does, and has had men make non consensual advances on her including her having to duck away from men trying to kiss her unprompted.

She knows women who haven’t had this experience as strongly but it definitely happens to a lot of them in fields dominated by men who have very poor social conditioning when it comes to women.

Her experience was actually worse in Europe than the US, too. To the point that she refuses to ever work in a certain country again, which is a shame given it’s a great opportunity
When I first started programming, this would have been about 2009.

Everyone said python was slow, learn C++. So i did. I never taught myself python until much later. Huge regrets. All of my open source projects are now in python.

I've discovered there's literally only 1 thing in python that causes it to be slow.

Global Interpreter Lock.

Use multiprocessing and avoid this problem? Now python is as fast as I ever need it to be.
> What's our AI strategy?

In most cases, probably giving OpenAI a bunch of money.

For whatever reason, the full stack hasn't been commoditized yet to a degree where you could self-host easily. For example, I can put the paid or free version of GitLab on my servers and get repo management, issue tracking, CI/CD, Wiki and a bunch of other stuff. It covers most use cases and works out of the box, even if not always in the ways I want.

As for AI... there's OpenAPI and GitHub Copilot, even JetBrains has their AI solutions. You pay for access to the back end component and there's IDE plugins that integrate with that, even custom IDE's or editors like Cursor. But what if you want an editor/plugin that talks to models running on your own servers? Sure, you can get models off of HuggingFace and hook them up to run locally on a machine that has the hardware to take advantage of them... but then what? What about integrating with merge requests in the aforementioned GitLab instance? Obviously it's all possible, but somehow I haven't seen many solutions that offer you something similar to GitLab but for AI.

Even GitLab's own solution talks to their servers: https://about.gitlab.com/solutions/code-suggestions/

> Code Suggestions is available to self-managed GitLab instances via a secure connection to GitLab.com.

I'm guessing CodeGPT is probably a piece of that puzzle, or maybe the Tabnine enterprise setup.
And since it's AI improved, all of th will hurt people because of hallucinations.

I don't trust human to avoid taking shorcuts once the tech is available, it's too convenient to have "information" for so cheap, and less costly to silence the occasional scandal.
Anecdotally I find the opposite to be the case. I think Forth is hard to write but easy to read.
Thanks, I typed that on my phone and it "fixed" it for me without me noticing.
I know this is a late response, but for anyone curious you would need to use an official Oracle or Sun JDK/JRE from Java 8 or older. OpenJDK doesn't include support for applets.

You also need a browser that has NPAPI. IE 11 was the most modern browser I am aware of that still supported applets.

The old GUI framework mentioned in the GP might have been Swing. It is still included in most JDKs and allows for cross platform desktop GUI application development with no other dependencies outside the JDK. Finding documentation on how to do GUIs in Swing is getting increasingly difficult though.
It doesn't matter what field you are in, plenty of people have this as their ultimate objective.

It's the only thing that ever motivated them to be productive in the past.
Okay, fair, I was using fluid loosely (and inaccurately) to mean both granular and fluid behavior. But there’s nothing inherently incompatible between fluid dynamics and the discrete element method as far as I am aware, just like there is nothing inherently incompatible with solids. Sure SPH or LBM or FVM are the more traditional choices for fluids and computationally more tractable in most cases, but they aren’t necessarily “more right.”

Awesome paper on how powerful particle based methods can be:

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

And a fun image of a DEM solid model of fracture:

http://www.cba.mit.edu/media/DEM/index.html
Yeah, I was painting with broad strokes. Thanks for clarifying.
You're comparing a completely domestic webservice to a prime Google product. I do agree sentimentally but logically that's insane. I mean, ever given a thought to Twitch!?
Referer nonsense? I'm sent to Google if they're allowed to know lol
This is much like C. The easiest way to use assembly in C or Forth is to know your 'ABI' and write separate assembly code functions where needed. In Forth at least you can write a CODE word.
I am an expert level chess player and I have multiple people around my level play illegal moves in classic time control games over the board. I have also watched streamers various levels above me try to play illegal moves repeatedly before realizing the UI was rejecting the move because it is illegal.
While v8 is without a doubt a very impactful project, there are JS runtimes that prioritize speed, and they aren't v8-based. One example is Bun, which is I think based on JavaScriptCore, the Safari's JS implementation.

So I don't think it's attributable to Google's implementation.
AI and the Last Mile 2: Subsidiarity
What about Frank Lentini ?

https://en.m.wikipedia.org/wiki/Frank_Lentini