skysight-inc/HackerNews huggingface dataset:
> In my experience, Node.js generally performs very well

Hard disagree here. Node is extremely fast to get up and running with, has as close to 0 barrier to entry as possible, and doesn't suffer from slow startup times that plague JVM languages. It can also be fast for tight loops.

But in the experience I've had with it"generally", it's orders of magnitude slower than other languages. A hello world with express.js and gin in go are a full order of magnitude apart, and the express app with default settings dies under a load test that I would describe as "very light".

Stories like this thread are common in the JS world where technically it can be rewritten to be faster, but like with Bun, esbuild, and many other examples we've seen here on HN, a better language choice makes an enormous difference. And to me, the only time node is the right tool for the job is if you have a team of JavaScript developers who can't learn another language
>He said the openings were all really routine/reactive, and the endgame was way too much chasing.

Openings in normal chess are indeed pointless memorization. I would never have gotten into chess as well, if i had to memorize openings. However Chess960 nowadays exists, and it is thriving. Granted 15 years ago, no one played that variant.

Chess 960 expands the surface area of opening move possibilities by a factor of a thousand (960 to be more accurate). So if someone wants to memorize openings for 1 move, i.e. 2 plys, he has to memorize 2.000 possibilities. If someone wants to memorize 3 moves ahead, i.e. 6 plys, he has to memorize 6.000 possibilities.

In normal chess memorizing ten or fifteen moves ahead (i.e. 20 or 30 plys) is pretty much the norm.

>and the endgame was way too much chasing.

With all due respect to your dad, that's nonsense. Endgames almost always have the potential to outsmart and outmanoeuvre the opponent, like any other part of the game.

See a game [1] i played against goga-magoga ranked 200 in the site, in which for 70 moves i was always losing or equal, and i won the last 3 moves. Endgames are so unintuitive, almost like programming, that even the best players in the world get confused and fatigued by the complexity.

[1]https://lichess.org/ZPT5FxJb/black#141
I have used a variety of them in NYC, Rome, Amsterdam, and Warsaw. They were all pretty nice and the NYC ones in particular are huge. It'll be a shame if they can't keep the ones in Lower Manhattan open.
No. The Normans had been in Normandy for a long time and were quite distinct from the Norse. The Normans had been there for 150 years before they invaded South East England at pretty much the same time that Harald Hardrade was trying to invade the North East. The latter were Norse.

https://en.wikipedia.org/wiki/Viking_activity_in_the_British...
Yes, of course the unbounded array will cause you to run out of memory. That’s… not news, and it absolutely isn’t a “memory allocation issue” in the sense they are using it in the post.

Try modifying it to clear the array (a DB flush, if you will) every 100k lines.
>what is wrong with SSI?

Nothing actually. Here in germany, we may have a broader safety net but similar harassment of already recievers or applicants.

I once had to bridge over 6 month of unemployment and years later recieced invoices of wrongfully granted aid i got. For about another 6 month, i was arguing with bureaucracy over ever new details. Its deliberate.

In my oppinion, such extra discrimination is meant to water down welfare, ultimately to cut cost. Its perfectly aligned to our recent bill, to reduce budgets to compensate for past crisis over spending (covid, ukraine, inflation), instead of raising taxes on those who even profited in all these crises.

I am not suprised, that any government -- the sovereign -- takes the route of least resistance in terms of fiscal policies and i think neither should you.
I was trying to remember the name! Came off as a bit too salty, but I still found it funny
Ethical work in a world that committed fully to self destruction is not easy to find if your work is not by nature contradicting the world's way
Package managers are not the only way to get software. People build software off GitHub all the time.
> That right there tells me that we as "the tech community" are way too okay with this sort of application of the tech. The tech we're all so convinced will "make the world a better place."

This calls for a larger discussion of individual choices of every one of us. It would not be an easy discussion, because things are far from simple, and yet every one of us should actively think, instead of falling into the whataboutism trap and doing nothing.

For example, there are probably thousands of tech people in Russia right now either breaking into Ukrainian systems or writing software for missiles, drones, targeting systems, etc. These systems do not write themselves. Each of those people should ask themselves if this is really what they should be doing. I am certainly asking myself if I want to ever work with people who were complicit in these crimes (and how will I know?).

I know some people who pledged to never work on any military systems. I was close to that point of view, until Russia started dropping bombs on my Ukrainian friends. Now I don't see it quite in the same light anymore.

Similarly, the NSO group is not an amorphous entity, PEOPLE work there and write these exploits. In each case, it is a conscious decision.

My point is that we can't abstract tech from moral choices. There is always right and wrong, there is always the right thing to do. It might not be universally applicable, and there will always be endless discussions on HN ("but what about..."), but each of us can and should think about how our work is applied.
The world record average is 4.48s and it's held by... a 9 year old.
Did you write that with a straight face? LOL

So your boss told you (or it was in your contract) that if all your reports quit, your job would be terminated? Did that ever happen to anyone in the company?

You’re attempting to redefine the verb “to fire” in a twisted way regardless
Show HN: SpotiJ – The IntelliJ Spotify Plugin
The ties to government are a red herring. Hacking into people’s private phones and computer systems is generally immoral and illegal.

It generally continues to be immoral and illegal when governments do it. Except it also becomes more outrageous, because governments are supposed to protect us from this sort of thing.
Isn't the BEAM VM on which it runs rather slow?
I have reached the conclusion that teaching is what I need to do in my life.
This is really cool.

Second link I found: https://ambience.sk/quotes-from-books-the-universe-maker/
https://archive.is/HUOGy

Lucid CEO’s $379 million pay draws criticism from Musk
I think it's because Japan was the first to adopt western education. It's why people you wouldn't expect to be were educated in Japan, like the founder of the CPC or Chiang Kai Shek
How does it drive prices down? I can see how it drives profits up, so costs down when weighed against profits, but I don't see how it drives prices down.

Consider that these things cannot be sold on the secondary market. You can't pick and pull the hardware.
Or simi for telephone. Another near universal word would be police, wouldn't it? Iceland of course is one of the exceptions!

I found those fun facts about Icelandic very fascinating when I first visited decades ago as a teenager.
I'm not the author, just sharing it here.

Ebook link is mentioned on the home page:

>This book is also available for purchase in ePub, MOBI, and PDF format from https://leanpub.com/how-query-engines-work
I call bullshit on this one.

I don't buy that being able to manually copy data into a memory buffer is critical for performance when implementing image codecs. Nor do I accept that, even if we do want to manually copy data into memory, a bounds check at runtime would degrade performance to a noticeable extent.
we're using this model - quite successfully - i'd say. our releases are infrequent and huge and release prep may take months (due to things like security audits by external reviewers). i don't see how we could do this with a simpler trunk-based model without blocking development for weeks.
I have used this [0] successfully to "pin" casks from being upgraded - my use case was Docker needing > macOS 10.

It allowed me to keep the version of Docker working while other casks could be changed

[0] https://github.com/buo/homebrew-cask-upgrade
Let's make it clear, if by gentle you mean an intense 18 hour journey in a mind roller coaster you cannot control or stop, then yes, that's what a friend told me.
> This branching model is a direct mapping between regular run-of-the-mill release processes for applications intended to be delivered and installed by the general public, and how Git implements branches.

Git-flow kinda works for only one model, in which you have a single release out to the world at all times. If you have multiple concurrent supported releases, like Windows 2000/XP/Vista, or Chrome stable/beta/dev/canary, this model does not work.

The `master` branch and short-lived release branches in git-flow are a complicated dance and a lot of merging without much clear benefit. Compare with a trunk-based model:

* new features go into main branch (from feature branches)

* when making a big release, create a branch like release/23.09, do whatever preparations and testing you need, and release 23.09.0 - tag the commit that the release is built from

* bugfixes go into main branch (from feature branches) and then are cherry-picked into release branches (hopefully via pull requests)

* if the bug exists in release/23.08 and release/23.09, we can fix both and release 23.08.x + 23.09.y simultaneously

This model is much easier to comprehend, has less branching, and allows maintenance for older versions.
Andy Grove is a great guy, and the book is excellent. This might be interesting as well: https://www.youtube.com/watch?v=NEL6DluUxgw&ab_channel=Delta...
People simply want to get high, be it to forget their lives, or have an intense trip to neverland and back. Heck, animals enjoy getting high from alcohol to the point of becoming alcoholics if unchecked.

I think its about time we accept this as part of our humanity and act like grown ups, not this childish banning which clearly does much more harm than good. There are endless states between ban and having it thrown at everybody for free.
I left emacs around 2018 or 2019 after 8 years of use as my main. A couple weeks ago I started configuring neovim to use it as my main editor outside of work. I'm doing mostly what I did back when I started with emacs which was copy and pasting the code that the plugin creaters advised and go from there. My main takeaway is that Lua is an immensely better language than Lisp for this use case, and when something goes wrong I feel the same about the stack trace.

I've had a better experience tweaking the configuration in Lua as well. I never tried neovim's starter frameworks (NVChad, LunarVim, etc) so I can't compare them to emacs's. I was never able to use well emacs's frameworks because either they were too convoluted ann hard to customize or kept crashing.

Also when opening or formatting large files (sometimes not so large) emacs would freeze for a very long time. Also, LSP was not around, or was in its infancy, so my experience with code completion and intellisense was very poor, but perhaps that has changed.

Finally, emacs's plugin called "Magit" is a godsend and I lack a similar tool ever since.

With all that said emacs was very special for me because it fueled my passion for open software and being able to control and customize the tools I use. I really hope it got better and keeps kicking!
One of my major concerns with Lean 4 is when I asked about mathlib compatibility some 2-3 years ago and the only reply I got was from Kevin Buzzard, implying that the best we can do is essentially rewrite it all!

Correct me if I am wrong, but I think mathlib still uses a community-maintained fork of Lean 3. I love Lean and its relative ease-of-use compared to e.g. Coq, but man, having to rewrite all of mathlib is a real bummer if that is indeed what has to happen for Lean 4 compatibility.
$200 million ?!
A bleak life for sure, but probably still many times better than normal life in NK.
You can open your own company, otherwise, for the money they pay you, sometimes you have no choice.
> Nowadays (god-)fathers of AI are Geoff Hinton and Yann LeCun

Schmidhuber part of the story should also considered more, I think
>One of the biggest mistakes that people tend to make is looking at the current population and using it to fill in the gaps in the archaeological record.

That how the Europeans never found the Amazon lost cities, because earlier explorers were looking for cities like European cities.
Check out https://ebookfoundation.github.io/free-programming-books/boo...

Includes websites as well as PDFs.
Any idea or any studies on how that (the UBI) is working out?
200gB in 2.5 hours is still only 22mB/s, I feel like I've seen blog posts of people going several orders of magnitude faster than that when the bottleneck is the sequential read of a big file on an SSD
All the Finnish children I know use äiti for mother, but I've seen a lot of variation with regards to naming fathers: isä, isi, and iska.

I must admit I've always meant to look at the differences, and see where they come from, but I've never quite remembered.
"Hitting the block" = "Keith Haring’s Never-Before-Seen Computer Drawings Are Hitting the Block as NFTs at a New Christie’s Online Auction"

I can't believe NFTs are still a thing, I thought the bubble rightfully burst months ago?
Yes. The Supreme Court might declare such a law incompatible with the European Convention on Human Rights (incorporated into UK law under the Human Rights Act), but that does not in itself invalidate the law: it would remain the law until Parliament amended it or repealed it (if it ever did).
Everything is outside of your control. Including the product of your work.

I worked for a company that has a very eco-friendly product yet eventually it was used by industries one might not find ethical.

Simplest example is engineering of factory farms and industrial slaughterhouses. Are these engineers evil? Is the automation work that was focused on machine production to blame? Why didn’t the engineers predict that their work will be transformed into an industrial slaughterhouse? Just look at what happened with gas chambers.

The chain of influence is everywhere. You have to accept that eventually your work results are outside of your control even if you have an illusion of choice (self-employment, owning your own company, picking projects or clients).

Once you truly accept that, from that place dilemma no longer exists.
On the contrary, I think the basics are covered pretty well by the official documentation, but it's lacking the more advanced stuff.
Russia is the best NATO recruiter in the world. Countries are actively applying to become NATO members, because they don't want to be puppets ruled entirely by the Moscow elite. Sure, American imperialism is awful, but for most countries that's a far better proposition, because it comes with way more democratic freedom and less strings. A country can leave NATO if they want to. A country can't cut ties with Russia without a war.
> If you put your finger in it then it'll cut it off... So I just don't do that

Ah yes, simply don't make any mistakes ever ;-P

Fair enough though. I suppose the thing that makes table saws / routers / etc seem safer -- to me at least -- is because they look and sound scary. An untrained novice is much more likely to be careless around a band saw than around a table saw.
> Agreed. In my teams, I've always implemented a simple model, which hasn't failed me. Main branch triggers deployment, and name rest of the branches <author>/<feature>. Just works.

So you work with a small team that does not need to put together releases nor does have quality assurance engineers verifying your code before it's released. That's perfectly fine.

Your team also has the luxury of pausing any additional development work while lining up a release. That's cool too.

Perhaps you don't even have releases, and just continuously integrate everything you throw at it to deploy it somewhere and rely on a multi-stage pipeline to catch problems. That's fine. That's also not the usecase for gitflow.

I don't think it's a good idea to project your team's needs to absolutes, and pretend that just because you don't benefit from a process it means none do.
I am not a Rust dev. It surely looks great.

However, from what I understand it seems to supply just a parser separate from the Rust compiler (https://github.com/rust-lang/rust-analyzer/tree/master/crate...) trying to keep up with Rust‘s development. So, in principle, it could have been just another treesitter parser plugin, too.

So, again, the LSP framework does not directly provide any magical benefit over a static parsing framework. All the semantic analysis capabilities stem from a good parser.
https://hnreplies.com
Reminder: This is my personal opinion, not an attempt to convince you of anything else. While my opinion might be unpopular, I don't believe it to be without any contributing value to the discussion, so please keep that in mind if you decide to read it (and before downvoting me for providing my opinion).

I don't really, if I'm not doing it, someone else will do it, so it will be done anyway.

My belief is in bettering the world through regulation rather than individual choice.

I drive a diesel, but I'd vote for legislation banning _ALL_ diesel cars in a heatbeat.

I travel by plane, but I'd be vote for implementing laws to reduce or eliminate air travel related pollution.

I'd vote to ban some of the things I've worked on, definitely, and I'd have been glad to vote to put myself out of that previous job.

I'm not an idealist on this point.

I'll not personally sacrifice anything when the effect of my personal, specific, individual sacrifice that has direct impact for me personally, has no globally measurable impact.

I'm very much for doing good things, but while I'll be glad to do them, I want everyone else to be forced to do them too, so that they work effectively, and not just be my personal little cross to bear.

I won't be the one making do without X when X is legally available, ban X if it's bad, we'll all do make do without and find alternatives.
The rule of thumb is to act like a regular human. If you are a savvy user, you have shortcuts for everything, you have scripts for optimizing your work, then be careful.

Exporting your data is a great piece of advice. Thanks for reminding that.
>completing it could easily become a lifetime's work!

How so?
Mathlib was fully ported to Lean 4 (https://github.com/leanprover-community/mathlib4), and the Lean 3 version is deprecated now.

Edit: Adding a little bit more detail, it was ported one file at a time, using the automated translation from mathport (https://github.com/leanprover-community/mathport) as a starting point.
In the cities millions of people had the best years of their lives due to US intervention. So in isolation that was a moral thing. But of course, they didn't manage to shift the balance away from islamism to secularism in the country. Probably because they didn't even try much. There was a cultural battle that the US largely tried to stay out of, even though that was the real battle all along.
Differentiating online variations of the Commonplace Book
Differentiating online variations of the Commonplace Book: Digital Gardens, Wikis, Zettlekasten, Waste Books, Florilegia, and Second Brains
In Dutch the word order is a bit better: als achter vliegen vliegen vliegen, vliegen vliegen vliegen achterna.
It seems that even turning off iMessage is not enough ?

This a zero-click exploit, which means you don't even have to open the message to get hacked.
Yes, tamam.

Turkey also borrowed the "qahwa" (meaning coffee) from Arabic but since there's no "w" in Turkish, it became "kaveh".

Later the word "coffee" spread to European through Turkey to Dutch, then English and the rest of the world now use the word coffee [1]. The strange thing is that now even in Arab world like Saudi, most of the young people use the word "coffee" rather than original "qahwa". This is one of the rare situations where the original loaner now become the borrower. The only saving grace is that the best coffee type is still Arabica.

It's also very interesting to note that the popular and universal English word "cafe" as in cafeteria also derived from the Arabic word "qahwa", perhaps from the summary of the word for coffee house [2].

[1] From Qahwa to Coffee:

https://arabiconline.eu/arabic-coffee-qahwa/

[2] Coffee and qahwa: How a drink for Arab mystics went global:

https://www.bbc.com/news/magazine-22190802
I'm glad this site exists. What doesn't get measured doesn't get managed, so I'm all for.

Regarding drainage, there is so little soil left in London that surface drainage of the kind you seem to be thinking of is non-existent. We had to build the supersewer to deal with it, see https://en.wikipedia.org/wiki/Thames_Tideway_Scheme
Coffee and qahwa: How a drink for Arab mystics went global
I would certainly hope they implement it themselves!!
Anything less than 1% marketshare isn't really a "competitor" though for the purpose of antitrust regulations since it doesn't affect the market.

And Android isn't really an open platform but a semi-open platform. There's not a single phone on earth running AOSP (not even their own Android emulator) and the Play Store contracts where Google dictates their terms are pretty much mandatory to ship a phone.

Then again, there's network effects in play as well.
That's mainly Sanskrit. It has various forms in most Indian languages. For example, Malayalam has "mataav^" and "pitav^"

But the commoner words for parents in Malayalam is "amma" and "appa/acha".
I really find how theoreticians approach things to be challenging. Given that I headed to rosetta code to find some examples. Here's FizzBuzz in Lean 4:

https://rosettacode.org/wiki/FizzBuzz#Lean

def fizz : String :=
"Fizz"

def buzz : String :=
"Buzz"

def newLine : String :=
"\n"

def isDivisibleBy (n : Nat) (m : Nat) : Bool :=
match m with
| 0 => false
| (k + 1) => (n % (k + 1)) = 0

def getTerm (n : Nat) : String :=
if (isDivisibleBy n 15) then (fizz ++ buzz)
else if (isDivisibleBy n 3) then fizz
else if (isDivisibleBy n 5) then buzz
else toString (n)

def range (a : Nat) (b : Nat) : List (Nat) :=
match b with
| 0 => []
| m + 1 => a :: (range (a + 1) m)

def getTerms (n : Nat) : List (String) :=
(range 1 n).map (getTerm)

def addNewLine (accum : String) (elem : String) : String :=
accum ++ elem ++ newLine

def fizzBuzz : String :=
(getTerms 100).foldl (addNewLine) ("")

def main : IO Unit :=
IO.println (fizzBuzz)

#eval main

Hopefully that's helpful to others.
Will this allow finally replacing that Siri mess with a capable Assistant or is this out of scope even when using private APIs?
Our Finnish child learned to say "äiti" for mother pretty early on. But his first real word was when he started saying "mama" - meaning he wanted milk.

No idea where that came from, but we understood pretty quickly.
It took me about a minute and more than one click to reach a page which told me what lean IS. Hint: In the Readme, it's the Home Page link, then About.
> Rockets are not LEGO.

For a moment there I thought that Low Earth Geostationary Orbit might be a thing.
https://archive.is/p4IQY
No, but it means that if you argue with me about what I say without having read it, then that makes you kinda silly.

It's also a suuuuper short little blog post. I almost always write very short stuff :P