skysight-inc/HackerNews huggingface dataset:
Just opened it up and it's... ok. Have 4 files open (all from the same project):

- VSCode itself 453MB

- cpptools (language server under the hood) 573MB

In the mean-time, I've been doing most of my work all day in Emacs and it has bloated up to 126MB :).

Edit: I will admit that the cpptools stuff is very nice. I do most of my C++ work in Emacs, but when I'm dealing with weird template type stuff I'll switch over to VSCode for the nice affordances it offers.

Edit 2: Just tried using VS Code to debug something that I can't quite grok.

IntelliSense process crash detected.
IntelliSense process crash detected.
IntelliSense process crash detected.

Ahhh well, I can't really blame it on this one :D
Some related past threads:

Dolt is Git for data - https://news.ycombinator.com/item?id=22731928 - March 2020 (191 comments)

Git for Data – A TerminusDB Technical Paper [pdf] - https://news.ycombinator.com/item?id=22045801 - Jan 2020 (5 comments)

Ask HN: Would you use a “git for data”? - https://news.ycombinator.com/item?id=11537934 - April 2016 (10 comments)
White thought crimes are just as bad as real physical crime!!!!
Scanned for this comment before making it. This optically reads as "Dolt", not "DoIt"
See my post earlier in this thread [1].

Yes you need reference data for machine learning, but the world isn't only about machine learning. You might want reference data for human-interpreted analytics, table-driven logic (business rule engines, for example), etc.

[1] https://news.ycombinator.com/item?id=26371748.
Can someone explain like I'm 5: if someone has a physics theory, can't we just use it to predict stuff in the real world and see if it works?

What does Eric Weinstein's theory enable that can't be done with what we've already got? That's what I'm interested in and I haven't heard anyone say anything on the matter, which strikes me as rather strange, given that uh, that's why people presumably do science?
Yes, the user types less but they have to think more.

Don't get me wrong, I love RPN and I've had a stream of HP calculators through my college years (synthetic programming on the HP41!), but... they come at a cognitive price. When you see an expression, you have to process the precedence in your mind to find out the most nested expression and start entering from there.

Basically, the calculator is cheating by forcing you to do some of its job.
The name feels a bit problematic due to ISO/IEC 30170:2012 l which is an ISO standard for Ruby...
Persuading the Unpersuadable
Ever search for an issue with Microsoft product, found every answer leading to MS tech support forums, where countless "certified MS MVP professional supporters" ask ridiculously clueless questions "for clarification", and never deliver anything even approaching a problem analysis, much less an actual answer? Personally, I no longer click on links going to answers.microsoft.com or technet.microsoft.com. It's a complete waste of time.
Intellectual transparency is part of the likeability of an author. Part of being intellectually transparent is elucidating your reasoning for external examination.

The density of self-promotion also affects the likeability of an author, and is part of signal to noise ratio.

Weinstein has been far less forthcoming than Mochizuki, but he has already gotten far better treatment, and Mochizuki is an actual career mathematician. [1]

One can view intellectualism as an activity of moving things around your head, and being correct in your own little world. Or one can view intellectualism as an activity of contributing to the cultural tapestry of knowledge. Regardless of merit, perhaps one of these positions is more likeable than the other.

[1]: https://www.math.columbia.edu/~woit/wordpress/?p=12220
Sounds like you're someone who enjoys gates and keeping them.
> Are there any complaints you have about the space compared to other spaces you've worked in?

The first time you go to an after party with colleagues and someone innocently says to you "Want some cocaine?", it can be surprising.

But if you can keep your head cool, you realize it's just a bunch of rich people who enjoy the good life and genuinely want to share the good things. Then you get rich too and you get along much better!

So no complaints, just be ready for some funny experiences at first :)

Now, if you genuinely want to get in, you need to learn.

Install a BTC, BCH or DOGE full node (because they are essentially the same software, except DOGE is cheaper ATM), get some coins, make transactions. Then do the same with a Monero client. Do some transfer of fiat to DOGE, then find a website to convert that to XMR. Understand the processes and the risks - when you can get defrauded and how.

Once it's done, try some mining: CPU mining with XMR is still accessible, and will teach you the ropes.

Then it's time to move to DEFI: install an ethereum full node, get some ETC (cheaper than ETH and essentially the same thing like DOGE/BCH/BTC). Do a few transfers and try to write smart contracts - an oracle is something nice to play with. Try to interact with other chains - there's WBTC but a lot of other ways too!

Once you're done with all this, you will have a better idea of the main areas in the field: payments and custody (BTC), mining, defi. These are the basis.

Make some offline wallets to keep a few coins of each (you can check the prices on the likes of cryptomarketplot.com) and find a company to apply to. The field is so new that nobody really expects some experience, and having played with all the basic technology will open doors.
That's an interesting opinion. My impression is that the overwhelming majority of good content on SO is grandfathered from when moderation was much less strict.

That's up to the point that finding good answers to problems with new software is hard nowadays.
Yes, I do!

I'm advocating for people to understand that not being ready for this will be their demise.

Tell me, what would've been a better solution for WW2.

Let Adolph, Stalin, Hirohito, or worse both of them together, have Europe, and then have their free way to use the completely overwhelming resource advantage to kill you, or go and fight to the bitter end before they have it?

The most logical action to do if you can't win, is to fight. One must be ready to fight, even if it is a completely hopeless battle.

Second, I want to make you guys understand that, for now, NATO has 100% genuine ability to do something about its adversaries. Wait just a few more years at the current pace, and it wouldn't.

Third, if you chicken out, your weakness will rile the beast(s) even more, and fire up its appetites. It's showing your back to the tiger, an invitation for disaster.
Yeah, I wanted to say the same, somewhere in the middle it pivots to "white male has privileges". As a non-white male myself, it makes me wonder how accurate this article is, or if the author just took that particular lens to look at it.

If we look at European politics, there are those who have fallen up who are female and/or non-white, like Ursula van der Leyen, although arguably she benefitted from Merkel's backing.
Rich white man sells something worth absolutely nothing and having no value for millions; is hero. Film at 11.
The decision to decommission the plant is political, not technical.

Onagawa was closer to the epicenter than fukushima and suffered no ill effects. It can be done, the main different between Onagawa and Fukushima is that they were owned by different companies and one company took safety seriously.

For more reading, see: https://thebulletin.org/2014/03/onagawa-the-japanese-nuclear...

and IAEA report: https://www.iaea.org/newscenter/focus/actionplan/reports/ona... which the article is based on.
We totally agree on all points! Come chat with us on our discord about how we can help your org solve its problems:

https://discord.com/invite/RFwfYpu
I'm not really arguing that the JetBrains ecosystem is equivalent, or necessarily better, than the LSP approach. It's just that this article seemed to base the existence of the LSP as some evidence that JetBrains' approaches with MPS, etc, are "corporate enterprise bloatware", which will be displaced by VS Code.

I just haven't any evidence that the LSP is creating a disruption, which is what the article is asserting.

Right now, it seems like you still have Microsoft as the main driver of the VS Code ecosystem with a few other contributors, and JetBrains really drives a lot of its ecosystem, with a few contributors. Not really seeing much of a difference, and, it doesn't seem like the products or business of JetBrains is significantly challenged by VS Code.

I mean, I haven't heard anything like Google deciding that VS Code will replace Android Studio, right? If the LSP was a true disruptor, I'd think that after a few years, that would be true. I'm sure eventually there will be more and better support for Android development in VS Code, but that probably won't displace Android Studio much.
2nd comment. What I like about HN vs rest.

1. HN posts feel curated, filtered, critical.

2. Regurgitating from my previous comment to OP: HN commenters are a cut above the rest. Redditers may have witty retorts but HN's commenters are very cerebral.

3. My time is precious. HN's "curated" posts and brilliantly observant comments makes my time reading it feel time spent was invaluable vs Reddit's mindless brainless doom scrolling for a single hidden diamond in the rough post/comment with exception to few subs.

I guess art is to the eye's of the beholder. I/we can't tell you if your time here is worth it, it's up to you to interpret that however, you coming here to "ask" that seems somewhat telling, don't you think?

On that vein, I found my wife of 10yrs on craigslist as she was inquiring on my laptop for sale. Everything seems to a degree serendipitous . You should give everything a try once...if not multiple times.

PS. Interesting fun movie on this note: Yes Man https://www.imdb.com/title/tt1068680/? tongue and cheek romcom, worth the life lesson(s) in it.

PPS> On what seems like a sad statement though mainly bc I'm feeling a bit melancholy lately. I wish I could befriend everyone here in HN.
I categorically refuse to use tools like this that tries to force a single set of formatting rules, as I've yet to ever see one that hasn't been infuriating in all kinds of ways, because the "things that doesn't matter" to the people building these projects tends to be things that does matter to other peoples sense of what a well formatted program should look like.

As you say, a configurable tool with reasonable defaults to encourage people to only change the things they actually have strong feelings about, fine.
Don't get me wrong, I still consider VS to be an extremely powerful IDE. I think it's the best IDE for .NET development, and maybe C++. It also has the best debugger, period. But when it comes to supporting multiple languages, it lacks the consistency, extensions, and integration that JetBrains IDEs enjoy. Admittedly, I haven't used it professionally in about 5 years, so many things may have changed.

There's also something I can't express about productivity when I'm using a JetBrains IDE. I remember over a decade ago when I added ReSharper as a plugin to VS and all of a sudden I felt the IDE come to life, with a level of assists I haven't seen in VS proper. Of course VS has caught up now, but ReSharper was way ahead of it in those days.

It's also clear that MS is focusing their efforts with VS on cloud integration (VS Online, Azure, etc), rather than sweating the little details that make you even more productive day-to-day. That's probably why they let VS Code eat the bottom of the market, knowing that MS shops will still pay for MSDN subscriptions.
Is it uncommon for people to include Cygwin binaries in their path?

I just use the new Windows Terminal console and use cygwins ssh command. The experience doesn't feel very different at all from my linux machine.
Reactionaries largely rejected from their primary field of expertise, now blatantly peddling pseudo-intellectual takes on subjects way beyond their wheelhouses.
Well said. If I can add a final point, it's that it is nonsensical and inappropriate to judge how a word sounds in one language based on how it sounds in one which is only very distantly related (PIE at best).
Thanks for the response morlockabove!

I interpret your response to suggest that taking risks comes with consequences and that most of the time those consequences are negative.

My question was meant to ask (in a round-about way) why collectively we don't subsidize risk-taking (especially when the risk-takers have a track record of producing neat things)?
same way you would with llvm, you can map executable memory without llvm and execute it.
I might look at it for work. Compliance requires us to keep track of who made what change when, and who it was approved by in case regulators need it.

Right now, this often means making an MR on Git with your snippet of SQL, getting it approved, and then manually executing it. This would let us bring the apply stage in, as well as avoid "that SQL query didn't do exactly what I expected" issues.

It's possible to do it within the SQL engine, but then I have to maintain that, which I would prefer not to do. As well as dealing with performance implications from that.
Hey, I have... I'm a co-author of Algebird[0], which has many ideas that I'd pull over.

I'm hoping to introduce Clojure's "spec" or "schema" libraries so that the types at play can at least be inspectable inside the system. In a fully typed language, I'd implement the extensible generics as typeclasses.

I suspect it would make it quite a bit tougher (at least in the approach I'm imagining) for folks to write new generic functions, due to many type constructors...

On the other hand, the complexity is there, even if you don't write it down!

It would be a big project, and a worthy effort, to write down types for everything in SICM.

[0] https://github.com/twitter/algebird
5D Optical Data Storage
The former inhabitants of Pripyat and the Fukushima exclusion zone are thrilled to hear that.
Your description sure sounds derogatory.
Singapore's bubble facility lets travelers bypass quarantine
You are claiming it’s fine for physicists to publish YouTube videos for world changing claims and nothing else.
“rsync” 3.2.0 and higher can use zstd and more
> Those trolls are likely to migrate to Twitter now, as the Tesla Engagement Platform will be moderated.

Says a lot about what Twitter has become.
I skip them too and Microsoft forums are particularly infuriating. If you so get past the insane dipshits asking you to reinstall, you get pointed to a feedback form where you can report the bug and upvote it. And the posts are years old.

What’s worse is that there are frequently problems that have solutions but the moderators aren’t aware of them.

One of the reasons I don’t like using Microsoft products (looking at you PowerBI) is because there’s not as active a developer community to help answer my questions.

It really makes me appreciate stack overflow and how it is so much better than the alternatives.
Cactus Comments: Federated web comments based on Matrix protocol
If all you want is AS OF semantics, then SCD2 is a great match. Used it a ton in application development myself.

Dolt actually makes branch and merge possible, totally different beast.
That's how I generally feel about it. Strategies like these are usually covering up the symptoms while leaving the root problems in place. "We aren't arguing so it's clearly going well".

Thing is, I _want_ my team members to argue over coding styles and patterns. I _want_ people to present different techniques and approaches, and for everyone to weigh in with what they like and they don't like. I _want_ people to be pushed to consider new things and and perspectives, and to challenge their accepted notions on how to code.

The true root cause, I think, is that many people know how to argue, but very few people now how to argue constructively. Where the goal isn't for one person to win, but for everyone to discuss ideas while tracing back our shared interests until the proper solution presents itself. I wish more people took the time to develop such a skill.
Because you make a claim that is based on nothing against a claim based on evidence.
> No if a user clicks a button to see the prices at 10 euros but see the prices at 20 euros then that is an issue.

I agree with you, that is a serious issue. But that issue is caused by your use of a/b testing, and if you solve that issue with a cookie then you need consent.

The ICO PECR guidance explicitly states that you can not rely on the strictly necessary exemption for analytics cookies.
Nodes.io – A new way to create with code
Just optically? It's meant to be "dolt", not "do it", optically and semantically.

It's a pun on git, which also means "stupid/unpleasant/etc person".
In my case - the downside to misgendering someone is extremely high. If my work day was to skip work and go hiking, or go into work and misgender someone, the latter has much higher downside consequences in some areas.

The other issue, I've had preferred pronouns change. I'm not sure if that has settled down, but there was a lot of new language / wording constantly churning. There was a him that was a her, but then I found out they preferred they instead of her - so I'd been mis-pronouning them even though I wasn't misgendering them.

Given the amount of risk involved in getting this stuff wrong, it really is safer just to use names.

If you use names, you need to use them for everyone. This can get complicated for some folks because names like Ted, Bob, Sue, Joe etc may be more familiar from a pronunciation standpoint for a white person for example, but then that person avoids pronouncing Khamala or Nkosazana because they are uneasy with how to pronounce the name. That becomes obvious pretty quickly.

Managers also have had some awkward situations correcting minority employees use of terms if the manager is of a different background, ie, someone saying latino community (who is themselves latino), and manager has to correct them that it is latinx not latino.
Show HN: Higher-level RabbitMQ library in Go
Starlogo TNG: The Next Generation (2009)
Do you have an example of what you'd consider typical, boring Forth code? I was trying to compare programming styles in different languages the other day by looking at different pieces of randomly selected code, on the theory that most code is probably pretty typical. So, for example, for JS I used the bisect_by function from Crossfilter2, and for Perl I used Net::DBus::Binding::Message::Error::new.

Unfortunately, all the Forth I had on hand or could easily find was one of ⓐ something I'd written myself, ⓑ something written for didactic purposes or as an example of the ideal way to do things, or ⓒ by the author of the Forth implementation it runs on. I'd argue that all of these are likely to be atypical examples of Forth style.
Read this:

https://www.ribbonfarm.com/2009/10/07/the-gervais-principle-...

It will teach you a lot more about the modern corporation than anything from the mainstream press.
It was nice of the author of the linked blog post to dissect these ideas in detail. It really is a public service he has provided here, since almost all professional theoretical physicists recognize the pseudoscience from miles away.

Maybe in the new media landscape it is important to debunk pseudoscientific theories more publicly? Is this going to be an integral part of interacting with the public? As opposed to normal outreach activities, such debunking would would be boring and annoying work for an academic -- but maybe it should be viewed as having become part of the job.
I don't actually think the Chinese government is trustworthy, for all the reasons you state. However, I find the US/MS less trustworthy for us. I've been the target of US propaganda far more often than Chinese propaganda, since I'm a US citizen.

Remember Bush/The New York Times falsely claiming that Iraq had WMD? A lesson we shouldn't quickly forget. Especially when the current admin has already initiated illegal military action. I'm weary of war hawks and the propaganda that supports them.
Genuine question, do you understand the value buying a price of certified art and registering it as yours?

To oversimplify, an NFT shares the following properties to art:

* creator fame

* non-fungible (my copy of your Mona Lisa isn't a Mona Lisa)

You can argue about people doing better things with their time and money and I'd probably agree but I can see the value in owning a piece of history.
If you’re sweating a lot the salt equation really changes though. I got major cramps until I realized that.

Also I use salt liberally to make vegetables and other healthy food taste good. I figure it’s a net benefit.
I'm convinced, but their google pay seems to time out on my phone. Will try again later, but if the rest of the book is like the first chapter it's well worth it.
I agree. The single most important thing about any of us is that we are members of a civillisation that has run for thousands of years. Yet we constantly forget this, and the classics are a rich and vivid reminder.

Another reason is that lately, reality is both more fantastical and absurd than fiction. Contemporary books come off a bit pedestrian.
It's the ultimate bike shed and it's trying to push the idea that it's only taking away choice that doesn't matter. But generally with tools like this, if you try arguing for different settings, you'll find very quickly that the reasons these tools have the rules they do is that the people writing these tools tend to have very strong ideas about what the rules should be and how important it is they're all the same.
Personally I like it, none of this stuff is worth my time to worry about configuring.
I asked Dr. Weinstein about this directly (on Twitter) and his response is (I think I am being fair here) that this isn’t developed (he says “instantiated”) to the point where you can predict things, or even reproduce known behavior. At this point he is guided by not much more than mathematical beauty, he doesn’t expect that it is a correct theory of physics yet.
Go’s fmt seems to do a pretty good job in this area
We cant. But we can try to make sure that surpluses are spread rationally, at least to the extent non-market interventions are concerned i.e. supply-side (QE) vs. demand-side fiscal/monetary policy and governance.

That there are huge markets for useless things at the same time people are struggling without healthcare is not a positive sign.
It was probably already mentioned earlier, but I noticed this only recently => somebody else might have missed it as well.

My syncs are now a lot faster (using new options "--compress-choice=zstd --compress-level=3 --checksum-choice=xxh3"). Output on Gentoo:

# rsync
rsync version 3.2.3 protocol version 31
Copyright (C) 1996-2020 by Andrew Tridgell, Wayne Davison, and others.
Web site: https://rsync.samba.org/
Capabilities:
64-bit files, 64-bit inums, 64-bit timestamps, 64-bit long ints,
socketpairs, hardlinks, hardlink-specials, symlinks, IPv6, atimes,
batchfiles, inplace, append, ACLs, xattrs, optional protect-args, iconv,
symtimes, prealloc, stop-at, no crtimes
Optimizations:
SIMD, asm, openssl-crypto
Checksum list:
xxh128 xxh3 xxh64 (xxhash) md5 md4 none
Compress list:
zstd lz4 zlibx zlib none

Synced files up to a size of 400GiB => nothing was hanging (it could happen in the past, for misterious reasons) and CPU consumption was minimal.

Really happy about these improvements.
As somebody who was faced today with the lack of that specific skill, can you recommend any good reading?
Here is the link to the video directly: https://www.youtube.com/watch?v=qsvpU7G5IJg

It's really impressive how he turned to welding and... essentially learned welding in the process?
Wasn't there that pit in the bible that was 30 cubits around and 10 across?