skysight-inc/HackerNews huggingface dataset:
> Ages ago I had a conversation with a coworker about why was it that if databases collect statistics for optimizations, that data structures in programming languages don't do the same thing?

Lus tables in LuaJIT, Hack arrays, and JavaScript arrays can use different representations depending on what is stored in them.

NYU’s SETL project also did some work on automatically identifying what data structure should be used.

IBM’s Hermes project was also working on this; I’m not sure whether they shipped it.
This is so cool! Definitely not a major use case, but it would be awesome to add support for Assyrian/Akkadian names as well.

Assyrians have been scattered for centuries, and many have settled in other countries and have organically picked up hybridized names - it would be interesting to compare some of those to the produced ones, and especially fuzzy matches for new ideas
Except nobody knows when that's gonna really happen. I've personally switched to ed25519-sk wherever I could.
While this presents Facebook as losing from this change, remember it is Facebooks customers who rely on their cost effective advertising campaigns to run their business.
> This does not mean we have to celebrate the person.

Yet that's what we are doing when we introduce an article about an underwater device by the name of the grandfather of the promoter of said device.

"Joe Shmoe's grandson wants to build something" doesn't have the same ring to it, does it?
The Future of American Industry Depends on Open Source Tech
V4 has many more things going on (it's stateful, has a much more complicated locking system integrated, and adds some other points of complexity that get better performance).
More than I was ready to take on for a first pass :)
So you want them to use the chat program like e-mail?
Test are like Haskell, it seems.
I would love to understand more about what you exposed as filesystems and why. Is that on https://skife.org/ somewhere?
Plenty more of that here: https://news.ycombinator.com/item?id=24239880

also https://news.ycombinator.com/item?id=24259156
Same, the short key looks much nicer and both will fall to quantum anyhow. Haven't run into any incompatibilities among the services I use.
> Palantir builds software tools to browse and analyze data.

Collecting is bad and should be outlawed, but analyzing is the bigger threat.

Vast amounts of data in aggregate are useless. It's like a school of fish, the probability of any single one being targeted is difficult.

When you start applying tools that can identify the fish, now its a problem.
> Because tar operations may be long running, it can be useful to have feedback about progress during the operation.

For those running on a system that has SIGINFO (e.g., BSD, macOS?), hit ^T and you'll get a status report to stderr. ^T should work for various other utilities as well: dd, cp, ftp.

On those systems that do not have SIGINFO (Linux?), but are using bsdtar (libarchive), SIGUSR1 will do the same:

* https://github.com/libarchive/libarchive/search?q=SIGINFO

INFO isn't one of the mandatory POSIX signals:

* https://en.wikipedia.org/wiki/Signal_(IPC)#POSIX_signals
> paths of more than 260 characters

This is the biggest joke of win32 system, how on earth after so many decades of breaking things this is still default?
The article explains perfectly what the parent would want instead.
I love the TODO. Awesome loading spinner too, and graph!

Now, the frequencies used by the buttons are grating on me with headset on. I wonder if there are free sounds we could use for those. Or, if they could be procedurally generated, so as not to be the same sound every time.
> It's all up in the air; some claim there is, others the opposite. And there's no way to prove anything.

The fact that those pushing the idea that there is something also depend exclusively on your believing the idea to make a living and gain power and influence over society leads me to believe that the odds are not 50/50.
You had me at stateful
They're still pretty durable. Germans, for example, build 8 huge concrete towers for AA defense, and those things were so damn durable that Soviets couldn't destroy them even with sustained artillery fire, nevermind the RAF bombers. Those things also served as air raid shelters, and indeed, were the safest places during the siege of Berlin (they were also the last places to surrender).

So, they were only mostly useless, and there's a big difference between mostly useless and all useless.
I was going to save for a Concorde flight for the novelty, but $12,000 was not really in my price range for routine use. OTOH, I can see that it was only 50% more than the $8,000 rate for BAL First Class. It’s also well within the cost of long range business jet flights. If that’s your expectation, those flights are for you.
> We are commenting on an article about a project by Cousteau's grandson.

Exactly. And we wouldn't be talking about it were it not for the affiliation.

> This is at the level of the darkest recesses of 4chan.

Right. Does this count as Godwin's law?
YES! Check out Bootstrap and How to Design Programs.

https://www.bootstrapworld.org/
https://htdp.org/

You might also like Pyret: https://www.pyret.org/
‘Altered Carbon’ Canceled After Two Seasons at Netflix
Hmm I don't remember that ever being true. Items like Postgress would listen on localhost only. No services outside of DHCP were even enabled by default going all the way back to BackTrack.
Concorde was a multibillion dollar government research programme which built hardly any aircraft and still had to give away some of them for £1 due to absence of commercial demand. Noise, lack of range and cost meant that even after 14 aircraft had been effectively given away, they spent most of the time on the ground because of the difficulty of finding more than a couple of viable routes.

Sure, some people paid for tickets, but it's a stretch to call that 'commercialization' in the context of the impossibility of ever recovering the programme's losses.
The article lists that as an example of what _not_ to do
Audio in podcasts could be and are targeted now. Scared the shit out of me, so I did some digging and arrived at https://www.acast.com/en
Yeah. Incorporating abroad is easy, but remotely opening a bank account for the business is something that seems possible in the US only, AFAIK.
But what if you're doing a bunch of category theory stuff? Passing in the right monoid or whatever to every function is such a drag. Alternatively using local open is also a drag.

Maybe people should just use OCaml's object system. It solves a lot of these problems and is very powerful.

Not sure how it came to be that everyone totally ignores it.
They're restricting my freedom in the sense that, in the absence of government, I would be free to contract with the seller of the non-certified heater.
NFS is a lot faster. A custom protocol will almost always beat a kludge on top of HTTP
> So splitting up a repo into different repos doesn't come with the versioning hell when working with maven.

Damn you hurt me with this one. You can use 100 plugins and versioning with Maven in these scenarios is still a rat's nest. But using a monorepo can make CI/CD for individual services just as messy :(
And the only downside to RSA 4096 is that it will fall before Niederreiter using binary Goppa codes?
The city is 2/3 white so yeah they are probably going to be white people

https://www.google.com/search?client=firefox-b-1-d&q=kenosha...
Analyzing sources of compiler latency in Julia: method invalidations
Former Cisco engineer pleads guilty to hack that shut down 16,000 Webex Teams AC
The standard solution to this is called an easement, which basically means I own the air rights over your property so that I can ensure my views are unobstructed.

Getting rid of the idea of owning the neighbors airspace entails figuring out how to fairly allocate easements that generally don't currently exist because of legacy reasons.
I can tell you it won't work with Zoom. For some reason it takes over all of your sound, so if I play quiet music I can't hear it.

This would also be incredibly wasteful of bandwidth and CPU. Bandwidth is not unlimited, and if everyone in the Zoomy world kept a silent conference on in the background all day, the internet pipes [Zoom's especially] would be quite a bit more full, and my CPU would continue to churn unnecessarily.

Then there's the etiquette. What if people just start water-cooler-chatting? Maybe at a low volume it's OK, but I could see people leaving just because of too much laughter [yes laughter is annoying and yes I am a horrible person].
World's Smallest iMac – Full Build – The Casual Engineer
My wife's ex colleagues built this - https://www.remotion.com/. It's more like always on room
From what I can find online[1,2], for a dual-income family earning 250k CAD/ 250k USD, tax in BC Canada[1,2] is 33% Federal + 16.80 % State = 49.8%. For California it is 24% Federal + 9.3% State = 33.3%. Is there a big difference in other taxes (like Payroll/Social Security) between California and BC that makes the overall marginal tax same?

[1] https://www.canada.ca/en/revenue-agency/services/tax/individ...

[2] https://www2.gov.bc.ca/gov/content/taxes/income-taxes/person...
> How did Facebook, for instance, avoid the fate of every prior social network?

By buying its competitors.

The complete lack of anti-trust enforcement is a big deal.

If Facebook couldn't buy its competitors, now it has to use money and development to compete. And it may or may not be successful.
Mostly target audience, I'd imagine. Anyone still using NFS or iSCSI probably has specific performance or integrity requirements that those services aren't geared for, plus multiple concurrent access that makes locking and cache coherence significant questions.

In terms of low-urgency storage though, the Dropbox/Google Drive/Syncthing model of directory replication largely has supplanted SFTP, though.

There is probably some middle group of S3/B2 type storage backing some FUSE-style integrated filesystem, but I'd suspect the same problem that makes WebDAV unpopular hampers that, namely that it almost invariably sucks horribly on Windows when it works at all.
Tl;dr: No. He sent a "burofax" which is the name in Spain for an electronicly submitted letter with delivery receupt (delivered and attested by the Postal Service).
Exactly. Does this mean the EFF would support the measure if these objections were overcome? I would hope not. This concept is nuts
Love the website. I'm not sure how I missed that when it came out. this site shows some of the evolution of Jackson Pollock's work. In it you can see him moving from imitation of the masters of earlier 20th century art to his own unmistakable thing. Clark Terry, a revered jazz trumpet player and teacher famously said "Imitate. Assimilate. Innovate." That same process can be seen here. http://www.all-art.org/art_20th_century/pollock1.html
First, Racket was originally called PLT Scheme, but then added a lot of stuff, and then broke some standards compatibility. (I'm currently interested in moving back to more-portable Scheme, possibly using Racket as my default Scheme implementation.)

There are huge differences between Scheme and CL, and you can usually tell when, say, a person good with CL is writing Scheme code.

(Disclaimer: I've used both languages professionally, and am a Scheme expert, but am a CL novice, other than my experience using various Lisps.)

One of the differences is size: You can sit down in half an hour and skim through the R5RS paper (skipping the scary sections on formal semantics and on first-class continuations), and be ready to sit in front of Scheme and start programming, even if you initially won't be writing idiomatic Scheme. Though you do need to add a lot more library to Scheme to do real-world things, the core language is small and elegant.

There's also noticeably different idiomatic programming. An idiomatic Scheme programmer might do things like avoid mutations, leverage tail call optimization, use only hygienic macros (syntax extension) and maybe fancy tools for that (e.g., `syntax-parse`), not use dynamic capabilities of the language so much, never go and optimize by looking at native code generation (though Racket now has tools for looking at bytecode/IR), and use simpler language features for many things (not know and leverage the CLOS MOP, nor make complicated `LOOP` uses).

If I was doing a startup with a Lisp for my launch, I'd personally use a Scheme (maybe Racket), because I happen to already know all the big&small things I need to DIY and manage, to make it viable for things like Web startups. For CL, those things would be different, but I think also doable and more proven already.

I do think I could get a team up to speed on Scheme faster than CL, because I can say "This week, use the core language, plus these packages, and then next week there's some non-obvious idiomatic stuff that I'd like to propose we learn, but I have to explain it, because it's not in any book I know of."
There was this Show HN for watercooler.work a few months ago.

https://news.ycombinator.com/item?id=23434271
> You seem to have invented some sort of persecution scenario that I'm pretty sure doesn't exist.

It's not persecution. It's just that recently you can't have a discussion about OCaml without having an Haskell devotee dropping by and implying you should use Haskell instead generally for somewhat spurious reasons (same with Rust but the languages are so different, it's easier to ignore). It gets a bit tiring.

> think this is a ~complete non-issue mostly brought up by people who haven't actually used Haskell much at all.

We might have to agree to disagree on this one.

> Not having a well-functioning asynchronous programming system (Async sucks).

It's a chance everyone uses Lwt then. Pretty much no one uses Async apart from Jane Street.

> Also, OCaml does have a clone of Lens, but it was only written in the last year. Another example of how OCaml is very far behind Haskell in terms of development/production readiness.

OCaml has multiple lenses libraries including one written by Jane Street which are not used a lot because mutations are fine. This is not being far behind. It is being practical.
Indeed! I recall a lexer and parser built via TDD with a test suite that specified every detail of a DSL. A few years later, both were rewritten completely from scratch while all the tests stayed the same. When we got to passing all tests, it was working exactly as before, only much more efficiently.

From that experience, I would say that in some contexts, tests shouldn't be removed unless what it's testing is no longer being used.
What you mention is a different scenario from a developer building an 8-story complex next to a 2-story SFH, and it's reasonable to think we (society) could treat them differently if we so chose.
A nice protocol to do this with is 9p [1]. It's much easier to implement a server for it than for NFS, either from scratch or even with a good library, and it's about just as usable on major operating systems. It has a tiny API and therefore surface area, also making it great for high security applications. It’s probably the closest thing we have to a cross-platform, network transportable FUSE.

Even though it started its life as a component of Plan9, 9p is getting through a renaissance period right now: qemu, WSL, gVisor, ChromeOS VMs (crostini)... all use 9p!

[1] - https://en.wikipedia.org/wiki/9P_(protocol)
The first programming language I learned was Scheme, as taught in CS61A at UC Berkeley. It opened my eyes to the beauty of programming.

I had classmates who blew it off as a useless course because they already knew Java and PHP. It was their loss; they don't have the same fascination with computer science and I can directly attribute it to not getting exposed to Scheme/Lisp.
Here is an article putting back in context the method they used to count species:

https://www.levif.be/actualite/environnement/quand-le-comman...

Nowadays scientists use poison instead of dynamite, is it better? That shows you these methods have strong rationales, even if they seem stupid at first.

And at the time the Sea was still a big unknown, Cousteau greatly contributed to open this unread book.

So you see, you do not have to feel compelled to destroy him and his work.
Yes, I hedged because C-Corp taxation sometimes makes sense now. A few years ago it never made sense.

Even so, LLC-as-a-C-Corp is usually the winner, not a full-blown Delaware Corporation taxed as a C-Corp.
Hello! I'm a developer for Klim. Thanks for prompting us to look at this CPU usage issue. I'm happy to say that it has now been resolved.

For those interested in the underlying cause, it seems to have been a bug in Safari. The following CSS triggered infinite repaints:

transition: all;

The solution was to simply be more specific:

transition: background-color;
As a Canadian living and working in the US, I encourage all those that think Canada is somehow better than US, to go give living in Canada (and paying their taxes) a try.

US is a much more competitive and diverse market in every respect (even with it's shortcomings).

My parents (and other immediate family), would move to the US if they could.
Virtual worship was already on the rise in India. Then Covid-19 hit
Did the Chinese & English:

- I'm not sure how "Lee" is a feminine name.

- Park is more Korean and not Chinese.

How did you get your data?
Bombardier has its own problems and is viewed as a corrupt Quebec company by much of English Canada (that is, the rest of us). So the other comments on the political appetite to bail them out again are mostly correct.

[1] https://www.theglobeandmail.com/business/article-world-bank-...
[2] https://globalnews.ca/news/3354398/bombardier-trudeau-hammer...
[3] https://www.cbc.ca/news/canada/montreal/bombardier-what-happ...
It would make sense to build a version of what you're not going to use at this workplace, but what you'd like to use in a hypothetical next one.
Yes. You can open a Mercury account only if your company is registered in the US, so for Stripe's purposes you are just a US company like all the others.
Well the A64FX "deal" is for those interested in building HPC clusters out of them. As such people people are interested in useful work / total cost to own.

Your 3990X system has dramatically less memory bandwidth with 4 64 bit memory channels good for a peak bandwidth of around 100GB/sec, which is 10% of the A64FX.

Your $3,500 price likely doesn't include an infiniband card, or a port on an IB leaf switch, or the port on spine IB switch, and you are getting quite a bit less memory bandwidth and floating point than the A64FX system. As a result you end up buying more threadripper nodes, paying for more power, more rack space, more cooling, more IB spine switches, more IB cables, more IB leaf switches, and potentially even a larger building ... just to hit the same performance.

Generally to get close to the memory bandwidth or flops with an x86-64 system you end up using an accelerator, like say the Nvidia A100. Problem is that the nvidia GPUs can only run CUDA aware programs, which rules out a significant chunk of HPC workloads.

The attraction of the A64FX is that it's efficient, has impressive flops per watt (which means cheaper cooling, racks, buildings), impressive memory bandwidth, and will run any python, perl, fortran, C, C++, go, java, code you throw at it.

For large clusters this isn't just a nice to have, it's a huge driver of real world performance / price. So much so that the top 4 supercomputers in the world are not x86-64. Even #5 uses a Intel Xeon to run the OS and do I/O and uses an accelerator (Matrix-2000) to do the heavy lifting. #6 and #7 are similar, but using a Nvidia cards. #8 is the first pure x86-64 cluster and is pretty small in comparison, 18 times smaller than #1.

Even #8 (Frontera) being 18 times smaller, makes it MUCH easier to scale codes that run across the entire cluster. Despite that huge advantage, Frontera scaled lipack to the entire cluster with 60% efficiency. The #1 Fugaku using the A64FX scaled at 80% efficiency, that's a pretty large real world advantage.

Keep in mind that Linpack is a pretty limited benchmark, heavily optimized, and not particularly memory or network intensive. Many real world codes will more heavily exercise the system and would likely show a larger performance differential than linpack.

Imagine you have 20,000 watts a rack and 100 racks. Sure you could use cheap nodes, but your total performance would be less... and that's before you throw in problems like scaling to 100 racks at 60% efficiency instead of 80%. When asking for your budget it will be that much harder if you only perform well on CUDA codes. Not that there's not room for cheaper node clusters out there, but non-x86-64 systems do seem to have a significant advantage on larger clusters.

Also general HPC devel/test systems often come with substantial support to enable users to tune their codes to a new platform. I wouldn't assume that if you want 100 racks of them that you'd pay $20k each, in fact the hardware you'd likely use isn't even the same hardware. The A64FX nodes used in clusters like Fugaku have higher density nodes that depend on water cooling, have more cores, and have a much better interconnect.
Andy Matuschak's Notes
Long live Word Art!
Is this anything other than neo-colonialism? How can the power of the US copyright lobby extend quite so completely into Europe. Imagine Norway wanted a bunch of US kids arrested due to their, or their lobbyists, pet peeve.

I used to be passive about it now I am anti-copyright, that has been the effect of the overreach by the copyright lobby, they have hardened me against them.
The intersection of Greek and Korean names was the empty set! We went with Greek first name, Korean middle name, and Greek last name.

For the first names, we made sure there are reasonable English renderings of the Greek, which unfortunately excluded my parent's names, and my name as well.

The Korean middle names reference celestial/heavenly items as well as being popular Korean entertainment figures, and have a nice word play together in English.

Talk about threading the needle!
I am fine with an aircraft which takes me supersonic over Atlantic/Pacific and then switches to subsonic over land on my way to Asia.
Because, last I checked, Angela Merkel doesn't invoke Hitler to show how great Germany is.

I'm sorry to have to point this out.
Yes, there are plenty of smart people that can't meet the income requirements and that should be the crux of the constitutional challenge: the assumption that people with money are inherently smarter than those without, while other markets also allow for discretionary risk taking.

Even the SEC commissioner's have pointed out this incongruency.

The only thing supporting this difference is that gambling is regulated at the state level, while securities are regulated by the Feds with a few exemptions so that states feel like they have power. Spot commodities and uncategorized property are ignored by both.

Smart people that are not born into a useful amount of money have to earn and hope absolutely nothing goes wrong for decades, while being cut out from many growth opportunities, but they are able to speculate in many other financial games anyway. There are plenty of smart people that were earning where nothing was going wrong, until suddenly the pandemic sent them back to their parent's house where they will stay for the next decade.

This dichotomy in opportunities wasn't an issue when the equities sector was structured differently. Before the 21st century, companies were going public much earlier and much more frequently. There simply are not Microsoft's and Amazons going public at $37 million valuations anymore.

So now it is an issue.
#5 - IMHO you just can’t emulate a physical social event, the biggest problem being that you cannot establish smaller groups which are natural in physical events.
Did the show have a good ending (ie no cliff hangers?)
It is on my watch list, but not if everything is unresolved...