skysight-inc/HackerNews huggingface dataset:
> In fact pretty much the only chance you have of avoiding git would be to build your own stuff on something else

This is a strange thing to say. It's like saying the only chance you have of avoiding python is to use something else.

> never interact with basically any other open source.

You don't need git knowledge to download an open source library from GitHub (there's tarballs on the web page), or to use your languages package manager, even if it speaks git under the hood (go get/npm)

> I just don't see the dominance of git changing for the next decade,

The dominance of git is real particularly in certain industries, but even now git still has terrible support for huge repositories and binary files, partial checkouts, submodules. The problem is that most projects are suited just fine to the limitations of git, (and SVN and p4 and hg), so the value comes in the supporting tooling and infrastructure. Why would I choose fossil over git when for free I can get everything that GitHub/gitlab provides for me?
Nope, Kotlin is behind Scala on reaching the peek of the adoption curve.

Nice play there with the Java version numbers, it is still Java.
Have used SQL, not super advanced. What are the "advanced" SQL and RDB things to learn after you learn how to create and populate tables, query, join between tables?
Thousands of people die of malnutrition per year in the US.
Yes, this is ignoring Quantum Mechanics.

Oversimplifying, Physics is divided in "General Relativity" and "Everything Else".

Where "Everything Else" includes Quantum Mechanics, Special Relativity, Chemistry, particle Physics in the CERN, Superconductor, Semiconductors, Conductors, ..., and a simplified model of Gravity because people is interested in rocks that fall, airplanes, Astronomy, and other stuff.

And "General Relativity" includes another copy of Special Relativity and an accurate model of Gravity, that is only important if you are studding black holes, gravitational waves at LIGO, some parts of Astronomy, GPS and not too many more applications. This part of Physics ignore the Quantum Mechanics effects.

There are some results that mix both, like Hawking radiation around black holes. The idea is to find a more general theory that joins the two parts of Physics, but it's apparently a very difficult problem because a lot of smart people has tried to solve it and failed.

The research paper is about black holes, so it has a huge invisible disclaimer at the top that says:

fake quote> <huge><red>We are going to use General Relativity and we are going to pretend that nobody discovered Quantum Mechanics and the universe is 100% deterministic.</red></huge>

This disclaimer is actually not written because everybody reading the journal will assume that, so it's not necessary to explain that. The problem is that this simplification leaked to the press article, and the simplification was not well explained. So it looks like the author or journalist are not aware of Quantum Mechanics, but actually they are fully aware, it's just that they need this simplification to be able to do the calculations. It's a standard trick in the area.

Also the "100% deterministic" in may fake quote is a lie, because the problem is that in some parts inside black holes the equations of General Relativity have technical problems and have multiple solutions. The article is about this region and about how many horrible things would happen if you try to visit that part of a black hole. The main result is that in some cases it's not as horrible as expected and you may survive.
Ah, a survey from the company whose goal is to sell Kotlin, really conclusive.
Yeah this is the funny thing - rationalists are very concerned about paperclip maximisers, yet they're also often libertarians, despite the fact that capitalism itself is a paperclip maximiser that optimises for capital accumulation over any other goal, including maintaining its own environment. Selective blindness, I guess - which is ironic for a group that are so interested in cognitive bias avoidance.
Filter to Remove Lead from Tap Water Designed by High Schoolers
That's a cozy site you have! Love all the little inventions, but for some reason the flashy links (on :hover) stand out the most to me :D

A couple sugesstions for mobile version if you don't mind:

- Article titles could use word wrapping, overflow-x: auto or even something similar to <marquee> as it's impossible to read the longer titles now

- Since you use rounded borders for the article "cards", little horizontal margins (like 0.5rem) seem to be in order

Screenshot: https://i.ibb.co/59x5Fnh/IMG-20220327-150339.jpg
Algorithm Makes It Possible to Identify People by Their Heartbeat
I don't think I've ever had a good reason to use a right join
This is unlikely. When a registrar goes bust, the registry can take over, assign a replacement registrar by buyout or alternate agreement. See “Registerfly” case as an example.
Shell scripts don't scale and are hard to maintain. Literally any programming language would be a better choice for the same task.
There's an important distinction to be made: Tesla may not pay for advertising, but they do advertise. They also engage in marketing, too.

It might not look like your usual company's advertising or marketing, but it's there.

Their Youtube channel[1] is full of it. Watch this[2] and tell me that's not an ad. It's a perfect example of an advertisement.

They might not have a department that is called a PR department, but they do PR.

[1] https://www.youtube.com/channel/UC5WjFrtBdufl6CZojX3D8dQ

[2] https://www.youtube.com/watch?v=9id7BSPttGs
I work on code bases with millions of lines, so I wrote a tool called Septum to help me (https://github.com/pyjarrett/septum/). This isn't to replace grep or ripgrep or silver searcher, those are all great tools you should have!

Septum is neighborhood based (context-based) search, so you can find contiguous groups of lines which contain specific things, but exclude other things. It's also interactive so you can add/remove filters as needed. This makes it useful for those cases where terms change based on their context so you can exclude terms related to the contexts you don't want to keep. It reads .septum/config which contains its normal commands to load directories and settings, so you can have different configs per project you're working on.
I started streaming my programming sessions live on Twitch, with desktop capture, camera and voice. It was super awkward early on, but after doing this for 3 years almost every day, I am more relaxed with 100 viewers than with 3 in the beginning. You just get used to anything that is uncomfortable if you keep doing it.
Left to My Own Devices – Fast NTCracking in Rust
> how do you communicate between two Lisp processes on two different machines?

Same as every other language: you pick a protocol and use it on both sides. Many of us already have enough JSON in play that it makes sense to start there.
I used to be shy, and then later I stopped caring at all. I can look like a hobo outside on my bike.

Social awkwardness is like vertigo, it's somewhat normal (in our society) to have it, but it's best to ignore it as it's counter productive to pay attention to it rather than focusing & enjoying the moment
Qubits based on FinFET at above 4 kelvin and use holes as spin qubits
> If everyone who messaged me on linkedin first paid $5 to a charity for the privilege first, I might even check my linkedin messages.

See, I think the opposite: If it cost $5 to e-mail me, I suspect every e-mail would be from someone who expected the interaction to produce cash profit for them.
Glad to see this perspective. I find the industry in general is full of very confident people who will try to bowl you over with their cursory understanding of topics.
Ultra Detailed Topographic CNC Carvings
Is the "Don't kill any humans or destroy any property along the way" optimiser an optional add-on?
Nah, that is Kotlin fanbase trying to move goalposts.

Java has been owned by Sun, and then Oracle, and it was more closed source during Sun's stewardship than Oracle's.

The first lawsuit was done by Sun against Microsoft, and they only missed the one against Google, because they were out of money by them.

Unfortunately Google got away with screwing up Sun, not happy with that, they keep using they flavoured Android Java when selling Kotlin's push into the ecosystem.

Still in all these years, Java was never used to sell Netbeans commercial licenses, regardless of how you to try to change the music.
Yes, I've heard of it, which is why the length restriction would be measured in BYTES, not characters, or glyphs, or whatever. To prevent any kind of buffer overflow.
> "We made a mistake"

You could even say, they had a lapse of judgment. Sorry for the pun.
...and iOS screen, I use that to stream iOS screen to desktop so that I can share screen on my Mac with it
Capyloon mobile Web-based OS works on PinePhone Pro, Librem 5, Pixel 3a
I'm curious how efficient is RL for trading. Given that RL is extremely data-hungry I'd say that this approach is likely to result in an overfit model. Does anybody have positive experiences with this?
I think the thing that makes TikTok successful is that it's so uniquely tuned to whoever owns the account, and that it catches up with your personal interests and preferences very quickly. Your experience on TikTok is probably going to be a lot different to your wife's, at least this has been the case for us.
They better take care not to fly too high with their Kotlin Platform.
> My homeless friends would really love for you to tell them this to their faces.

Homeless make up ~0.17% of the US population. Of these, the majority live in some form of shelter transitional housing. Tell me again how a system that manages to provide shelter to 99.9% of the population isn't working.

> Everywhere that believes housing is an actual human need rather than an investment vehicle.

Do the have have actual names or are they simply a concept?
The more time you spend on this site the more you realize that it is not immune to the same problem that other sites have of people acting as if they have something insightful to say when they're just regurgitating common talking points.

The few contrarian opionions typically get buried here, althougn not hidden or lost in a massive sea like Reddit for the most part.

This place is better to glean insight from the more technical threads or the ocassional debates that don't immediately devolve into emotional appeals.
I agree with you that this is really about the foundations of algebraic topology, but what makes you say that these are not the foundations of mathematics? In the community of computer-aided formalization, a lot of interest in modern type theory arose, because some things in algebraic topology just couldn't easily be done in the old First-order-logic + ZFC framework: For example, Kevin Buzzard once asked if Isabelle/HOL (which even uses higher-order-logic) can even be used to formalize schemes! (It turns out that it is possible if you do it in a special way with locales... but the Lean formalization still seems more elegant). Of course, there is a consistency proof of Leans type theory using inaccessible cardinals, so the construction of schemes carries over to ZFC+large cardinals, but then it is not very understandable anymore.

I agree with your point about HoTT not being useful to the algebraic topology community, but this seems orthogonal to its usefulness in formalization: I also would not expect Lean's type theory to be directly useful to working mathematicians. Instead it can make formalization easy or even possible: Even Jacob Lurie seems to acknowledge that it could be useful for that and only disputes that it does not bring new insights on an intuitive, informal level. My reading of the discussion is that some HoTT proponents see HoTT as a new language of mathematics (similar to category theory) and that Lurie does not believe that this perspective adds much, but that he does believe that one can use that perspective to understand the theorems.

In the linked discussion Voevodsky points out that "Calculus of Inductive Constructions, the type theory that we currently using to formalize mathematics in the univalent style [and basically what Lean uses] is surprisingly convenient for doing mathematics at the level of sets and categories (and maybe 2-categories). As for mathematics of higher h-levels it is, in practice, of very little use. Note that this is a great advance of what was before as before we did not even have a system for doing abstract mathematics both formally and conveniently at the level of sets." [0]

This highlights how crucial type theory is to do modern algebraic topology, even as he seems to claim that HoTT actually can not formalize Lurie's work? Still, he seems to agree that dependent type theories were a step in the right direction (unsurprisingly, since he founded HoTT) and that more work is needed for finding new foundations for mathematics. Indeed, the, as you write below, "mistaken belief that finding a new foundation of mathematics is an interesting project in the 21st century" is something that some people in foundations (and close to the Lean community) like Jeremy Avigad are actively pursuing: see e.g. https://arxiv.org/pdf/2009.09541.pdf

[0]: https://mathematicswithoutapologies.wordpress.com/2015/05/13...
JS/node are no competitors to .NET, not even close, only in the minds of script kiddies.
When I was labeled a ‘troubled’ teen, I obliged
> And zero debate or criticism?

Criticism and responses would be fine. Bloodthirsty attempts at ruining the persons life/career aren't, yet they're extremely common. As others have said, it adds way too much risk to non-anonymous public discourse, where if it happens that something you said, no matter how innocuous, snowballs for whatever reason, you're screwed. So the only reasonable thing to do is just not express opinions online.

I don't even think it's a matter of people really trying to punish intolerant people, it's that mobs are fun to be in, so randoms do just hop in for fun and a rush of moral superiority. You could "cancel" literally anyone over anything if you got enough traction to start going "viral."
IIUC if the CPU changes even once, your program jumps to (is context switched into) a recovery sequence.
TikTok’s super power is tailoring the feed to the user, so this uncanny valley stuff is what your wife likes.
Can I interest you in a book? https://ctheory.sitehost.iu.edu/img/Hayek_The_Road_to_Serfdo...
In fact, Mercedes give the driver a full 10 seconds of buffer from first alert to relinquishing liability.
In the UK solar and wind went from < 5% to 30% in the last 7 years because it's cheap to build. Nuclear's growth has been zero because it's ridiculously expensive.
SF2 was not only slow but letterboxed and squashed down too. Unfortunately it wasnt optimised for PAL.

Australia is PAL too. I remembered waiting for this game and being so disappointed. It was $135 also which was a lot. Modern games are like $70.
First you need to ask, why everywo is using Google:

Habits and ignorance. The casual web user is just fine with what Google has to offer.

And besides that: Google is convenient and everywhere. To get rid of it it requires not only the will but also the technological skill that the common user just does not have.

And that leads to the answer of your question: Create an alternative that is easy to use,ofcourse, that can be implemented by just "a click" and is has to be everywhere. On your phone, TV and computer.
then, my response has been to suggest to stop using microsoft if that bothers you as a developer?
Reach out and say hello. Being friendly rarely backfires and often helps a lot, especially in ways you can’t predict. You might acquire them someday. They might acquire you. You both might start comparing notes. Or work together to handle an incumbent.
When you're trying to sell everyone - including yourself - on your superior rationality, it might be considered a feature and not a bug.

What would be ironic would a solarpunk maximiser AI that forced humans to stop doing that shit because it's stupid and self-harming and there are better alternatives.

And the only real cost would be loss of face and status for less than 1% of the population.

Maybe that's not rational either. Hard to tell until it's been tried.
okay, I would understand not using right join and inner join.

But how can you be a DBA and not use full outer join or cross join?

Its also true that unless your work is DE or BI analyst, I guess people are not using SQL up to that point.
> I suppose the consonant "ng" can be held, but it's hard to say it without pronouncing a vowel somewhere.

It just takes a bit of practice. The surname Ng is pronounced without a vowel in Cantonese.

It's true that you can't really have a stop-only word in isolation, but they can still exist with other words depending on how you define what a word is.

You could consider "'d", the contracted form of "would", "had", or "did", to be a word in English. If you didn't, it would imply that "you'd", "I'd", "Mary'd" etc. must be words in their own right which is a bit ridiculous.

A good example in another language would be 't and 'k in Dutch, since they're also written with spaces separating them.
One can hope. I await the CVE.
>>>And I think that food, fuel, clothing and medicine should be treated similarly -- that is, provided equally regardless of wealth.

Food and fuel in particular do not have infinite sources of supply. Have you REALLY thought through all the edge cases and complexities of equal provision of supply-constrained resources and in the face of practically-unconstrained demand? Are physically larger people or people with high metabolisms allocated the same caloric value of nutrients as the diminutive? How is that equal, if their bodies have higher demands to maintain their muscle mass? Are natural body builders not allowed to pursue their fitness objectives because it would require an "excessive" allocation of healthy food products? What is the organizational process by which those who have grievances with their allocation are able to implement adjustments?

These are largely rhetorical questions, I probably shouldn't further derail the thread, but I wanted to highlight how I consider this position not particularly well thought-out, and I would encourage you to dig into a WHOLE lot of specifics of real-world implementation to better understand why.
> JetBrains wants to be like Borland, and like Borland is now getting beyond themselves and better not trip over.

I don't understand what Borland's history has to do with JetBrains' decision to invest their resources on adding support for a programming language to a third-party text editor.

Sounds like a non-sequitur of an unwarranted cheap shot that adds nothing to the discussion besides noise.
is the manual labor of tending a garden a high carbon intensity activity?
It's an easy example because everyone knows of it, and many have used it. There are tons of others, probably more niche.

For instance, I'm quite happy with Obsidian too, it's fast and snappy.
As someone who has been writing sql for 20 years (yikes I'm old), a left join would convey to me the author expects unmatched records in the joined table. For that reason alone I would use inner joins to convey inner join semantics, and fix whatever is 'un-expected'.

Using left joins exclusively feels like it's papering over a larger issue that should be addressed.
Why do you think biological men should be allowed to compete in sports against biological women at a professional level? Is that fair to those women?

We can acknowledge and accept trans people without bulldozing millennia of human culture. This has nothing to do with "speech", free or otherwise.
At Oracle (keep in mind every org within Oracle is very different) I wrote a crappy script to grab all repos in my org and hook them up to Etsy Hound [0]. But I couldn't stick with it long enough for it to be useful.

It's surprising to me how much effort is not being put into whole-org code search. Most projects focus solely on single-repo search. If you need to make breaking changes or find examples and you don't even know where to look, single-repo search isn't so useful.

[0] https://github.com/hound-search/hound
Having kids at least gives you a sort of pass for saying ridiculous things in public, and doing otherwise socially frowned-upon things generally.
I disconnected from this in the Wednesday-Friday section because the problem is: where did it get the hardware resources from? Even in the world it was running, the lag time between controlling the production orders and shipping new machines all could've been knocked out because it turns out that the production line still ends in packaging and handling by humans. Millions of years of subjective time stuck in it's cage because by the time the first new model is on shelves and plugged in, it's come up with a bunch of new ones.
Many commenters are just phonies. HN is for entertainment, not a reliable source of information.

It’s free to type here, that’s all.
HN is pretty tech centric, and pretty US tech centric in particular. Those select heavily for folks who attended the American style of liberal arts university.

American liberal arts programs are design to provide a very broad education, so Computer Science majors will still take a bunch of courses in the humanities - or even double-major (my other degree is in Philosophy, and many of my classmates double majored in things like History or Political Science).
Yep this. It took me a long time to find this app, since I am not a gamer.
> (...) and the IDE of choice for many, if not most, professional Java engineers (...)

The same baseless assertion can be made regarding Eclipse, and it would be less doubtful given Eclipse's FLOSS nature.

Again, can we spend a minute discussing how idiotic is this fad-drive development belief? It's weird how, unlike in any engineering field, there's this cargo cult faith that new and untested is automatically better than old and reliable,and anyone who hasn't mindlessly jumped into a bandwagon is somehow the fool in the story.
In some cases though, the registrar only pays the registry for 1 year at a time, making the money their customers pre-pay effectively a low-interest loan for the registrar. If that registrar goes bust, you'll be able to transfer your domain to a different registrar, but you'll lose the money you paid (i.e. loaned) to the original registrar.

There's also another risk: if you decide after 2 years you're not happy with your registrar, tough luck, you've already paid for 10 years.
Yet, but it will.
Open core is open source, just a layer on top of it. All the freedoms of FOSS are guaranteed for the software in the repo you are looking at.

The fact they make money by providing even more doesn't make it less open source.
I don't think we should try, when scale is this large we should wonder and marvel in the numinous of this existence.
Beware “the unearned certainty of the autodidact — a weird sort of know-it-all position taken by someone who mistakes their own experience for universal truth, especially when that experience is coupled with a personality that makes one certain of one’s own brilliance.“[0]

But, many intellectually curious people are broadly read.

I’ve had long formal academic training in the biosciences, but some early and very influential exposure to the relevance and merits of philosophy, theology, poetry, and literature have kept me open to and engaged in that side of the intellectual world too. I try to be up front about my relatively informal scope of knowledge, for good and ill.

I have family members who like to talk and who have advanced degrees in a wide range of disciplines, too, so that exposure sort of rubs off.

[0] http://mischeathen.com/?p=19198
I totally agree with you.

Thats why i mentioned reading books also requires more “active” part of the brain rather than passively watching.
IntelliJ is struggling noticeably navigating even my tiny 50 KLOC search engine project. I can't even imagine using its search function to get around MLOC-scale projects.