skysight-inc/HackerNews huggingface dataset:
> And it's not like there's a high switching cost

I think there is a high price to switching. Once I pick an IDE, I need my fingers to relearn all the different shortcuts for code completion, refactor, find, find regex, find and replace, find and replace regex, code search in different scopes (file level, project level, all open files), start the debugger, debugger shortcuts, launching terminal. The list goes on and on.

So I also need to relearn the ecosystem of the editor/IDE. How to configure it? How to install plugins? How to configure the myriad of plugins? How do you codify the entire installation and configuration so that you can push it to Git to make it easier to recreate the same configuration on a new system?

Then I need to learn how to configure the editor/IDE for each programming language I'm going to work with. Space/tab conventions, linter configurations, spell checks. Another long list of configurations here.

I do find the cost of switching to be high. That's why I ask the questions I do on this Ask HN.
Looking forward to HN’s mechanical types explaining what could have happened for the tank to undergo such a sudden (presumably unexpected) catastrophic disassembly.
Well if they exist it’s unlikely he would allow them, which makes it somewhat plausible (idk) and it’s certainly not generally unheard of.

Another scenario to think about here is how does he spend any amount of quality time focusing on SpaceX or SpaceX projects when he’s running day-to-day ops at Twitter for sure and supposedly Tesla too. Something has to give.

If he’s mostly spending his time on Twitter I don’t see how it’s all that implausible that for SpaceX he does randomly show up and toss around ideas and people tell him yes so he goes away and they can go back to their normal ops. I don’t know either way, but I wouldn’t really dismiss it so offhandedly.
Well gitea itself is a fork of a different project, because of some other founder drama (that I forgot honestly). So it’s fine.
I don't know what stupid assumptions you're making, so I'll fill you in:

The Swedish National Board of Health and Welfare has been producing thorough public statistics over the situation in Sweden ever since the COVID outbreak began. The statistics are accumulated on a weekly basis and cover the number of confirmed infections, number of mild and severe hospitalizations, and the number of deaths. All of it is broken down in age groups as well as grouped according to prior underlying health concerns of the patients.

The statistics accumulated up to the same week the general availability vaccinations began - covering two waves and approx. 14 months of COVID - revealed that for their age group (age 35-45) and with no known underlying health problems, there had been a total of 11 deaths. It's fully understandable that they don't feel threatened by this virus.
IMHO there should be a DE/German tag in the title.

edit: title has been edited since this comment
> I work mostly on golang, and now the environment is certainly more stable, but I remember that in order to have go extensions working on vim I used to have to be updating manually the extensions pretty much every release and it was some effort. Now I update the golang version and things just work.

Most of that is because the Go ecosystem moved ahead. Five years ago something like vim-go would depend on maybe 15 different binaries that operated on the source code. Automatically updating all of that is possible, but somewhat slow and tricky (especially because there were no modules yet, so had to "go get -u" all these different binaries to check for updates).

Now, it's basically just gopls. You don't even need vim-go any more; just Vim + $any_lsp + gopls gives a very similar experience.
Sadly I don't read German, was anyone injured?
"My brain doesn't infringe the LOTR copyright because of my memories of the films. "

I guess you can pirate Lord of the Rings on bitorrent all you want then? Cause computers are just a bunch of brains remembering things?

This is not a winning legal argument. However this is resolved, no court is going to treat an intentionally designed piece of computer software as a "brain". Or the machine storage of information as equivilent to a human being's "memory".
It's part of the deal for modern SaaS software deployment. If the devs want to deploy more often than once a quarter, then they need to be mindful of the operational burden they impose on the ops team. The way to drive that home is for them to carry the pager part of the time.
2 people, 1500 fish
> Their plan was to make the SF Bay Area like Cleveland, Chicago, Pittsburgh, or Detroit.

Good job somebody prevented that growth, really.
China bans export of Loongson military grade processors to Russia
Berlin: AquaDom aquarium containing 1500 fish explodes
No it isn't, that is just a meme people are repeating without thinking.
2 people got injured and mostly all fish are dead...
Previous thread, with link to article in English:

https://news.ycombinator.com/item?id=34012469

Before: https://www.sueddeutsche.de/image/sz.1.5716681/1280x720

After: https://www.sueddeutsche.de/image/sz.1.5716703/860x1290

It seems like the inner glass (for the elevator shaft) is still intact.
“So long, and thanks for all the fish.”

— This Aquarium, probably
Death, or even hospitalization. Swedish case statistics on COVID are very thorough and the data is public.
You believe rich investors and powerful people were relying on Twitter posts to track his location?

It seems more likely if you are rich or powerful, you have much better alternatives available.
> Moreover it is supported out-of-the-box in emacs: `M-x list-packages`.

Or just use the menu; click on "Options” → “Manage Emacs Packages”. No need to scare people with “M-x” weirdness right out of the gate when it isn’t necessary since the option is right there in the menu.
PFOF is not a problem, except that it hurts your pension funds.
PFOF needs to be price improvement. Research has been done and it _does_ give price improvement.

The main point of PFOF is that high frequency traders have much less risk when trading with single persons than they do trading with big players. They are willing to offer them much better prices than they will offer big players. Suppose there is 10cents difference. PFOF means they pay your broker, say 5c to give you a 5c better price. You are better off, your broker is better off, the high frequency traders are better off. The only people worse off are the big players. Because when HFTs can filter out the low risk trades, the high risk trades get more expensive for them.

Research has been done showing that different brokers split the price advantage differently. Robin hood, IIRC was one the worse side, allocating 80% of price advantage to PFOF, leaving only 20% to the customer. But the customer is still better off than paying the public exchange rate.

-----------------------------

The above was written before I found this report: https://www.afm.nl/~/profmedia/files/nieuws/2022/afm-paper-a...

I found it trying to find the source for the research I quote. That stat came from Matt Levine's newsletter. This report contradicts what I wrote above. It does seem that the report is about european brokers, whilst Matt Levine was talking about US brokers.

edit: I believe this is the orginal source regarding US markets: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4189239
‘Nasty’ geometry breaks decades-old tiling conjecture
I know for a fact that they do.
"If there's a minimum length (the Planck length?) then space is discrete "

"The Planck length is the scale at which classical ideas about gravity and space-time cease to be valid, and quantum effects dominate. "

(https://www.physlink.com/education/askexperts/ae281.cfm)

This does not say, that space is discrete, it says that our concept of space does not make sense anymore at sizes that small.
It's like API indexing, I like it. I started M3O (https://m3o.com) with this idea of API aggregation for absolutely everything but not specifically indexing, more so providing a uniform access layer to all things with one API token. The programmability of Nango will definitely a be a selling point. For the founders, focus on that, double down on that. The ability to program the APIs and the data retrieved is really key.
Water-based circuit concept switches much faster than semiconductors
I think they are acrylic, not glass.
Depends on language, I've build GraphQL servers in a few, though mostly JavaScript and Python. For Python I used to use Graphene, these days I use Strawberry.

For JavaScript, I originally used graphql-js and express-graphql, as these were the original libraries and I was a literal day 1 adopter. All the libraries are essentially just wrappers around graphql-js, so it's still viable to use directly. But for schema-building I now use Pothos (https://pothos-graphql.dev/), I'd probably use graphql-helix as the http layer (https://github.com/contra/graphql-helix).
I think most important aspect is experience, the second most important would be leadership. There is little point being a principal engineer if the intuition and experience you can bring to bear aren't embraced by your team so the soft skills definitely count. The role generally encompasses tasks that go beyond writing code, architecture being the most crucial (and technical) but you will also be expected to take part in hiring, making strategical and tactical decisions, etc.

Generally you get there through a senior or staff engineering role where you can demonstrate the technical and leadership aspects. I would focus on mentoring your more junior engineers and taking part in force multiplying efforts, i.e tooling, processes etc.
I would say you would find a significant number of Oracle DBs still running on SPARC, so why not POWER!
Would be curious to know what hardware the benchmark was run on. That drop-off beyond 16 threads is steep...
I don't know what LSP is or why you'd think it's anything special or game-changing.

It just seems to be a generic interface to describe language bindings, which most text editors have.

In practice it's mostly a bad thing because any advanced language has special needs which will end up difficult to address by funneling everything through a common interface.
Another argument against PFOF is that brokers could (and Robinhood has been caught doing it) be incentivized to route orders to the highest PFOF rather than executing at the best real price.
There are also a finite number of quarks.
It looks to me as if they're actually a lot of smaller pieces put together, but maybe I see it incorrectly. Maybe one day, architects will stop designing things that are structural liabilities, or engineers actually get to say no to it before construction starts.
I was skeptical until I read the about us page and learned these sentences are crafted to be the worst.
Medication if you have a mental disorder that causes you to "procrastinate" or "focus on the wrong thing" :)
> If you’re a Software Engineer/Developer, then consider that a service (at least, for me), is a piece of code running in a live production system, that YOU wrote, only YOU know how it works, thus YOU own.

SE owns the code, but SRE owns the running code

Other than that, I agree with everything in the post
Another great one is https://www.youtube.com/@HowtoADHD
From the guidelines:

> Off-Topic: Most stories about politics, or crime, or sports, unless they're evidence of some interesting new phenomenon. Videos of pratfalls or disasters, or cute animal pictures. If they'd cover it on TV news, it's probably off-topic.

HN really needs a European mod to maintain the quality of this board.
> Buying a Tesla doesn't cause less emissions.

what are you basing this off of? Are you specifically saying buying doesn’t cause less emissions (ie manufacturing) or overall compared to a generic ICE car that a Tesla generates more emissions?
>The system sure seems to have created a ton of music

Because of it, or in spite of it?
The last SUN/SPARC server I bought (maybe 5 years ago?) had the same thing going on. 1 cpu, huge number of cores. Sun was already owned by Oracle at this point, so I would guess they are not as concerned about IBM's move as you might imagine!
Dark pools mean that public market prices aren't as accurate. The story of financial markets being valuable to wider society is, among other things, price discovery. Dark pools don't serve that purpose.

Moreover, the PFOF story depends on 'price improvement'. If public stock markets aren't accurate, then 'price improvement' is a meaningless concept, because it compares the price to the public stock market price.

> It’s no different than telling your neighbor you’re willing to sell your house for $X without publicly listing it.

The difference is that the most accurate price for 'my house' is not of significant public value. Whilst the most accurate price for stocks is quite valuable to the wider world.
Unless you see something like one of 3 teens swings hand and they run away.
Navigating uncertainty: how to keep your business afloat when the tide turns
From my point of view, having IBM fully pivot from Smalltalk into Java was one of the biggest reasons, and the millions that Sun pumped into having the JDK available as free beer.

On OS/2, SOM (much better COM like API), also had support for Smalltalk besides C and C++, effectively giving Smalltalk a role in OS/2, similar to VB and later .NET on Windows.
Link to English article:

https://www.theguardian.com/world/2022/dec/16/huge-cylindric...

> A freestanding cylindrical aquarium housing about 1,500 exotic fish has burst in Berlin, causing a wave of devastation in and around the Sea Life tourist attraction, police have said.

> Glass and other debris were swept out of the DomAquarée complex, which houses a Radisson hotel, a museum, shops and restaurants, as 1m litres of water poured out of the 14-metre-high tank shortly before 6am.

> Operators say the aquarium has the biggest cylindrical tank in the world that contained 1,500 tropical fish of 80 different species before the incident.

> The aquarium, which was last upgraded in 2020, is a big tourist attraction in Berlin. A 10-minute elevator ride through the tank was one of the highlights of the attraction.
Ironically turning a non postmodernist comment into a postmodernist comment through context. Golf clap
Oh wow! Walk by that place once a week and never thought to go in haha.
It really doesn't. Does every name that has "book" or "face" in the name, imply a connection to Facebook?
Be that as it may, I think this initiative by YC is mainly because they noticed a lot of talented founders were starting Climate Tech companies. pg had a tweet about this a while ago.
Don't underestimate the complexity of software built in the seventies either for the business, financial or scientific world. We already had virtual machines, HA, realtime and distributed computing back then.

Some code running at CERN or NASA was far more complex than a bluetooth stack, yet was also written with teletypes or ADM-3A style terminals.
>If a proof can not be found isn't that like not halting, since the space of all theorems can never be exhaustively checked?

That's correct, and the consequence is that Coq will reject some valid recursive functions that always terminate. You can't describe the Collatz function in Coq and then ask the compiler if it terminates or not, for example. The compiler will reject the function, but it may still terminate - we don't know.

The general reason for this is that Coq allows you to write recursive proofs (such as the induction in the article), and these recursive proofs need to have limited power - otherwise the proof system becomes inconsistent and it's possible to prove any statement. Since Coq proofs are just programs, if you could write a recursive non-terminating function, you could write such a function that lets you construct ill-founded proofs e.g.

(* Non-terminating Coq function *)
fix : (A -> A) -> A
fix f := f (fix f)

(* Use of that function as a Coq proof building tool *)
my_false_statement : ⊥
my_false_statement := fix (fun x => x)
I can only imagine either the gas lever broke off, leaving him unable to stop the jet, or the jet itself had some sort of malfunction and decided to eject the pilot. Mind that these vertical takeoffs take a lot of computer control just to keep the jet balanced.

Either that or incompetence, but I like to think people are on average competent at what they do for a living.
Oh, that may be why Musk is so anti trans all of a sudden, first his child disowns him and now he loses his lover to a trans person. Taking Musk's ego into account some kind of response is inevitable.
>I guess he's kind of undercutting himself by making it available on github, but I bet most people would rather pay 3€ and have nice steam features than download and compile a game off a site they likely don't know

Well, if you don't have copyright, anybody could also publish the game on steam or in any other shop with the same "nice steam features", and get the money over him. It would just be up to the audience charity ("let's give our money to the original author instead of buying the cheaper same featured alternative release")
That is lot of water. A thousand tonnes. It could do lot worse.
I genuinely hope they consider a rename. I wouldn’t want to use software with such a sleazy connection. It could have been “OAITokenizer”.
Ruining yet more ecosystems by paving them over is pretty much the exact opposite of fresh and sustainable.
From what I've read, this is untrue. He has requested a privacy ICAO (https://nbaa.org/aircraft-operations/security/privacy/privac...), and as such the ownership was not public.

The data published was not just ADS-B data, but ADS-B data + content intended to violate the specific privacy ICAO.

I'm not defending Musks actions, simply providing additional context.
They could make it from concrete.
I do agree with you that it is fine, what I was getting at was that there needs to be a way to measure uncertainty in a manner that is robust to unbalanced distributions or context drifting.
Tabs too. Stop reinventing tmux.
The difference isn't the separator, it is the suffix. Strict designation would afford that either properties be signed off with a semi-colon on the same line (or just a newline). Alternatively you could go the other way and enforce selector signoff with a comma or a bracket on the same line. No strict, no nesting /newfangled wizardy.

This allows for graceful degradation.

My point about corner cases is that there is very, very limited use of pseudo selectors, relatively speaking. Let alone pseudo selection where the selector is based on an element and not a class, or ID, or something else easily differentiable from a property. Which is to say, they are the corner case.
Those fish must have taken a battering
For anyone else who, like me, couldn't decide which pronunciation it was the FAQ says "(pronounced /forˈd͡ʒe.jo/)". I don't know IPA so I can't tell if that j in ".jo" is like "joker" or like the french "jambon" or if it's soft like "yo"
I am pretty sure people got a hold of Clarence Thomas’s too
Show HN: mpvc-tui – A minimal mpc-like CLI and TUI for controlling mpv
Hi there,
This is just a shameless self-plug about a personal project of mine:

"Using mpv and mpvc to play and manage the stuff I listen."

To that end I've forked the great https://github.com/lwilletts/mpvc and started hacking around, so far I've focused on: getting a minimal TUI working, improving the CLI, playing online music (eg. youtube and other streaming services), and bugfixes (including the introducing new ones).
The project is mainly developed, and, used under Debian/Ubuntu systems so expect the best results with these.

What I expect from sharing in HN is:

- Letting people know about that might find it useful/interesting.

- Getting some feedback about things that I might have been missing.

- Being a personal project, that I use and develop, I've got no commercial interest, but I highly value if people find it useful and promote it.

If you are still reading, just head to https://gmt4.github.io/mpvc/

Thanks!
Retrofitting is always possible. It’s just not satisfying to know that it takes decades. But as an example Amsterdam started its journey in the ‘70s.
It's a paper by Terrence Tao, and Rachel Greenfeld. Terrence Tao features here often.

They disproved a longstanding conjecture in geometry known as the periodic tiling conjecture. This conjecture stated that it was impossible to devise a tile that could cover a higher-dimensional space aperiodically, but not periodically. The two mathematicians were able to construct a tile that could do just this, breaking the conjecture. This finding has implications for the understanding of patterns and symmetry in higher-dimensional spaces.
They should use transparent aluminium https://en.m.wikipedia.org/wiki/List_of_Star_Trek_materials#...
„why create a powerful CPU for a low-end database? Big Blue still has not responded to our inquiry...“

Bahaha, savage :)
Now radisson will have to discount the room prices, once main attraction is gone...
I know that one of our biggest national banks still run on mainframes for their core banking infrastructure, but there's so many satellite systems which are way more modern and use separate systems and servers.

In these cases generally DBs are migrated to external clusters of their own (like HPE Superdome, Exadata or similarly tailored hardware) and connect via IB or IB like low latency, high performance networking.

AFAIK, the bank I'm talking of is working with "Don't fix what is not broken" motto, and only move what's necessary to modern or external systems.
As a retail investor, I’d rather have PFOF and free trading instead of paying $5 to $10 a trade which is more expensive than spread improvements.

That’s what PFOF has brought to retail investors. It’s not like retail investors was ever put onto the public exchanges prior to robinhood and PFOF, they were sent to dark pools for institutional investors to trade against but retail investor never got the benefit.
Please dream of me winning the lottery and or becoming 10x dev.