skysight-inc/HackerNews huggingface dataset:
Yah, well... in Tokyo, with the largest installed base of MRIs per capita.

/me plays https://www.youtube.com/watch?v=1t-gK-9EIq4
(Depeche Mode - Everything counts)
Just repeal the thing. The only good part of the DMCA was the safe harbor provision; everything else should just be thrown out as irreparably bad.
For work from home, technology’s convenience matters more than its power
Unable to deal with Chrome Extension Team, Kozmos is shutting down
Err dude, you aren't reading. This is AVERAGE speed. The average internet speed in the US or UK is nowhere near 197 megabits. In the UK it's 28.9Mb and in the US 32Mb.
I guess that makes sense. But it doesn't explain why the iPhone intercepted those digits when I was punching into a phone menu system.
How about proper testing and contact tracing? How about clear, nationwide recommendations? How about if the president took it seriously, instead of turning it into a culture war? How about if he set a good example by wearing a mask in public?

Here’s the thing: places like South Korea and Germany seem to have a pretty good handle on this. Why can’t we in the US get our act together?
Call by Push Value does account for both CbV and CbN language semantics, but the reason it can do so is by basing the language in a rather particular categorical semantic.

Based on the linked intro, it would seem that the language is leveraging the ‘computational’ types that are an intrinsic part of the CBPV semantics to force the ‘thunking’ of the dependent types. Effectively, all of the types become ‘functions’ from the CBPV lense and those functions are linear by construction (it is a categorical, as in category theory, feature of the underlying semantics). Although not cited, it seems like the underlying type theory takes notice and inspiration from Levy’s work on adjunction models for CBPV.

I tried to find a way to make this comment that wasn’t too acedemic sounding, but I think I missed the mark.
I'm not quite sure about that framing. Every jurisdiction reserves the right to sanction attorneys for frivolous cases.

The framing I'd prefer is that there are meritless cases that don't quite rise to the level of frivolous; the legal terminology here is "a good faith extension of existing law." I think the legal system properly doesn't penalize such cases. If a case isn't sanctionable, we need to accept the consequences as a trade-off for allowing everyone access to the courts.

That being said, I support stronger anti-slapp laws - and I say this as someone who's faced a meritless and possibly frivolous anti-SLAPP motion myself (discussed in other recent HN threads). Personally, the anti-slapp laws have only hurt me, and I still support their expansion.
Mind sharing brand name ?
For me, sitting for periods longer than 20 mins makes my back hurt; so I alternate between standing, kneeling and laying on my back on the couch :P
Amazon, Microsoft, Google provide services to blacklisted Chinese surveillance
Original title lacked specificity and context. It was:

U.S. tech giants are reportedly providing web services to blacklisted Chinese surveillance firms
In the past, the "Internet speed record" was measured in units such as "terabit meters-per-second":

> ... they had managed to send nearly 840 gigabytes of data across a distance of 16,346 kilometers (10,157 miles) in less than 27 minutes, at an average speed of 4.23 gigabits per second.

> This was equal to 69,073 terabit meters per second (or 69,073 trillion bits sent through one meter in a second), which exceeded the previous record set by CalTech and CERN earlier this year. [0]

---

> The team successfully transferred data at a rate of 8.80Gbps, which is equal to 264,147 terabit-meters per second (Tb-m/s). [1]

---

> Internet2 ... has this week announced a stunning new record speed of 9.08Gbps - equal to 272,400 terabit-meters per second (Tb-m/s) [2]

---

No idea if it's still done that way or not but I don't see any mention of distance in this article (haven't looked at the paper).

---

[0]: https://www.cnet.com/news/internet-speed-record-broken/

[1]: http://www.startap.net/translight/pages/applications/2006/da...

[2]: https://www.hindustantimes.com/india/the-speed-fantasy/story...
An interesting POV. I certainly hope that's true. Is IBM reputation good in the contractor space? As in, are their services largely viewed as dependable and good value?
It is apparently a fork from a program called synergy which at some version turned into a paid software. I guess the devs
priority was to make the open source version up to date.
The extreme lengths people will go to break the Cannonball Run record
Very glad to hear it! Part 2 will be out in a few days and part 3 the next week.
Most important element is definitely finding a device that suits your needs in terms of connecting it, USB connectors, NFC and so on. The whole idea is these things are trivial to either plug in and leave in a machine that's with you everywhere, or carry on a keyring to use quickly, if it's a whole performance to use your key then you just won't.

I can vouch without hestitation for the Yubico Security Key (newer version has a "2" printed on it clearly, this also does the FIDO2 protocol with resident credentials). This is a relatively expensive option for the purpose but it's robust (lots of people put these on key rings and stuff then carry them everywhere) and simple and the people who built it know what they're doing. But it's a USB A device, if you need bluetooth or USB C or whatever then don't buy one hoping to like it.

That product skips all the fancy Yubico features other than being a Security Key, thus saving a big fraction of the cost - but there are much cheaper options that work if budget is tight, if you're just playing around, or to do testing for a potential deployment: I also have a "KEY-ID FIDO U2F Security Key" again USB A and it works nicely, but many people don't love the bright green LED (all the time, not just when authenticating, it's on all the time). However it clearly also feels cheaper than the Yubico product, this is not an heirloom product.
Thank you for the thoughtful reply!

So you're going to type the wrong one (not
necessarily on purpose), and you'll get a runtime
error. Not that bad, sure, but you'll get it.

I agree with your facts but not your conclusion here. This certainly happens, but this is trivially caught by your integration tests.

Now, it's certainly true that in a static language, your compiler would catch this for you. In a decent IDE it would be pointed out to you while you type.

However, static or dynamic, you're going to be writing tests anyway, so I can't view this as some sort of increased burden when it comes to writing tests.

Also, at some point, you'll realize that a string is not the
ideal way to represent a user name [1]

I have loved that article since it came out! It's one of those things I saved as a PDF just in case the original goes offline someday.

I don't think your examples are realistic, at all, though.

1. If you replace `User#first_name` and `User#last_name` with `User#name` (which returns a `Name` object) your test suite is going to blow up all over the place every time you call the deleted `User#first_name` or `User#last_name` methods anyway. And now you have a list of places where you need to fix your code.

2. But, what if you update the internal structure of `Name` over time? Some of the above applies. But also callers of `Name` shouldn't know too much about `Name` anyway - it should be providing some kind of `Name#display_name` or whatever function that handles all of the complexity and returns a dang string anyway.

Everything I've written here presumes the existence of a test suite, of course. Which of course takes time to write and maintain. But any nontrivial project needs one anyway regardless of language or type paradigm, right?

Bottom line: I'll gladly admit that I'm too old and
stupid to do that anymore. I had typechecking in
the 90s. Give it back.

Absolutely the same here. But, I seem to miss it in different places than you.

I miss static types when I'm writing code. I want my IDE to tell me the types and type signatures when I type, and draw a little squiggly line under my code when I get it wrong. In Ruby, I wind up having 10 different files open at a time in my text editor so I can see what various methods are expecting.

This is mitigated somewhat by simply bashing out a lot of my code in irb/pry directly, since pry's `show-source` can at least tell me stuff.
> stinks of some tech-fetishist with poor communication skills who insists on doing everything by the most difficult and convoluted means possible

That crosses into personal attack and that is not ok on HN. Please don't do this sort of name-calling here.

(Edit: looks like you did it here too: https://news.ycombinator.com/item?id=23280952. Please make your substantive points without stooping to this.)

https://news.ycombinator.com/newsguidelines.html
So you don’t see the organized crime tie-in when there’s obstacle after obstacle in billing and revenue, high bandwidth and storage expenses, a product that is in such oversupply as to be practically worthless, in a space that is mostly opaque and privately held, and has ties to organized crime all the way back to the Betamax days?
I installed Catalina on my iMac several days ago and ImageCapture still has bugs! Although I can now select multiple photos to import from my iPhone 11, ImageCapture will not delete the photos after import. Previous to that, ImageCapture on Catalina would not import more than 10 photos without reporting an error. At least they fixed that bug.
what most annoyed me about the response was that this criticism:

> making a profile public meant making public that people were job searching

was repeatedly met with this response:

> we're not making any profile details public.

Which avoided what people were upset about. It's talking past the issue and I'm not sure what the expected outcome was, either from this original screw-up or the response.
that's the good stuff
Yeah; the basic philosophy of 'let it crash' presumes that the issue is bad internal state, and you need to get back into a known good state. If your domain doesn't really have a way to get back to a known good state, or a way to determine a state is good and persist it, it's not going to help you.
Postgres :)

The JSONB column type is bomb
Why Cuddli, a dating app for geeks, failed
I think that's what's going on here. Got another email today letting me know that my request to delete my account is complete, yet I could reset my password just fine.
Not a Catalina issue per se, but the big problem with Apple nowadays is:

1. Upgrades are not optional. The system will relentlessly nag me until I upgrade even if I don't want to upgrade.

2. Upgrades are crap shoots. An Apple upgrade nowadays is as likely to break things as it is to fix things.

3. Upgrades are difficult and sometimes impossible to revert. If an upgrade breaks something, I'm just screwed.

So I'm still running Mavericks. It works. It's reliable. It does everything I need it to do. And I can count on that still being the case tomorrow. If I upgrade, all bets are off.
What advanced material are you looking for?

A lot of research papers can be found online for free. What problem are you trying to solve that you feel would be helped by advanced material not found in research papers and/or computer science textbooks?

For me, the problems I've encountered that I thought were problems of lack of advanced learning material, have turned out to be problems of absence of tooling, libraries, frameworks and the will to create them.

In my particular case - I became an iOS developer and found out we're still paying people 100k+ to manually create trivial phone apps that fetch trivial database queries via json and display them in rather trivial ways on screens.

You wouldn't believe the number of people working on any given banking app that lets you display your past transactions and transfer money in-between accounts - it's basically a folder/file viewer with pre-defined file types and a couple of pre-defined actions for each. We've had folders, files and transactions to ensure correctness for decades! People are still re-creating these features!

Why do we have separate banking apps that do the exact same thing and why does displaying text fetched from a database and letting you modify it in the most trivial way, a job that pays 100k+ while producing bug ridden code?

There is no book to solve this problem and I believe most of the people employed in software development are churning out or maintaining this type of code. As a result, the market for advanced techniques in computer science is incredibly tiny - if you removed the idiotic whiteboard waterboarding techniques, academia and R&D at big corporations, you'd find out that there is maybe a few thousand people world-wide who are genuinely interested in putting advanced computer science to use.

I'd say this hypothesis explains why we don't have any actual progress in the field, just more javascript frameworks (simplifying, of course ) :) It doesn't explain very well what those billions of dollars in R&D at big corps are accomplishing besides removing ports from laptops and coming up with new keyboard mechanisms that fail when dust falls on them (lol) - maybe we're one day away from a quantum computer that changes everything? I have my doubts :)
What development tools/framework did they use to write it?
>"It all underscores the fact that the ad tech space is so convoluted, it’s easy to make money from legitimate advertisers just by setting up a web page.

That means there’s significant incentive to create sites with not just with low-quality clickbait or A.I.-generated nonsense, but sites filled with outright plagiarized content."
> You know what else TeX does? It takes forever to compile

What are you compiling, and what are your expected and actual times? It's certainly fast enough for me, although I mostly compile article-length documents.
This is monikgandhi, creator of LibStack. LibStack provides a search for Node.js packages with data from NPMJS registry and Github so there is no need to check both platforms. You get to know the number of stars, watchers, forks, issues and downloads of a Node.js package all in one place. The app also provides a coding playground so the package can be tried and tested in the browser before it is installed.
I’d love to hear your feedback. Right now only Node.js packages with more than 1000 stars on Github have been indexed and are searchable. Give it a try.

Links:

Home page: https://libstack.dev/

Search page: https://libstack.dev/#/search?query=lodash

Package page: https://libstack.dev/#/lodash/lodash

Thank you. Stay safe and stay inside.
It's an example of making something explicit implicit.

Whatever the answer, it won't surface a contradiction; but that doesn't mean it's not an interesting, obliquely related question.
Moondust, Radiation, and Low Gravity: The Health Risks of Living on the Moon
In the US you only can't sue for libel because DMCA preempts all federal and state causes of action - instead you sue for misrepresentation under 512(f).

But for false claims of infringement that don't involve copyright, a libel claim can work. I've previously mentioned my own 8 figure lawsuit against tp-link for false claims of counterfeiting; I have antitrust, tortious interference, declaratory judgement, and defamation (i.e. libel) causes of action. I know of at least one similar case with a multi-million dollar jury award from 1999 (see Alexander binzel v nu-tecsys.)
True, but... My wife has this setup and there is a noticeable performace hit when using USB-C connected displays. Anyone else experienced something like this or is this my setup's related quirk?
Thank you for recommendation! I think I looked at Unraid and other options like FreeNAS and Proxmox etc, but from what I understand - the main value add of Unraid is presenting multiple HDDs as a single volume and with a single data drive (1) it does not make much sense (2) I specifically wanted to be able to stick the drive into another computer, and mount its ext3 file system and go, that came in handy few times. As for the amount of data - I went full Marie Kondo on my old datasets and now my backup set is well under 2TB.
My girlfriend converted me to Macs by giving me a Mac mini about 7 years ago. I love them, and every time I read the complaints on here about Mac keyboards, screens, mice, batteries etc I like them more. I can't imagine not being able to instantly replace those when needed, being stuck with annoying faults. I need a real mouse and keyboard too, and bigger-than-laptop screen.
Could you share the channel with us?
Recently the Australian Strategic Policy Institute put out a paper "The Chinese Communist Party: Engineering Global Consent" [1]. It focused on China's attempt to build a digital "belt road initiative" and the vast amounts of data (it was in the many hundreds of exabytes) they were collecting each year.

China has previously said 90% of military intelligence is OSINT, so this level of aggregation in a country without at least the checks and balances of the West is concerning. Think of all the problems America has. Then imagine them with Google 20x as big and no Supreme Court and no free press.

[1] - https://www.aspi.org.au/report/engineering-global-consent-ch...
I was watching a Linus YouTube video on the upgradeability of Alienware Laptops. So envious! Now you can't upgrade anything on the newest MacBook Pros.

https://www.youtube.com/watch?v=J-RXqNafscs

And if something breaks on your MacBook Pro, most likely you will have to replace the entire motherboard or display.

PS: I own lots of Macs but sad to see the direction Apple is heading in.
Animated time-lapse visualization of JHU CSSE Covid-19 timeseries data
I had the same question - if this guy has each web request adding to local state on his web server, I have some bad news...
-1 for this comment. It's unrelated.
Freelancing is generally about doing things that are billable. A team of two people who can perform billable work works well when one of the two likes sales. A pure salesperson is the wrong scale for one person with billable skills. Again this is freelance/consult/contract. It’s not a high growth startup. One grows linearly the other geometrically.

Platforms for freelancing operate in the economic where successful sales are not worth doing in house. They connect clients with tiny budgets to freelancers who are so bad at selling that the tiny budget is attractive. EverythingForFiveBucks.com doesn’t spin up a lot of multimillion dollar multi-year projects. That’s the kind of scale where full time sales might make sense.
Hm that’s interesting. In which case(s) does Thunderbolt 3 become a bottleneck? I do have a thunderbolt 3 monitor.
You're just saying that the DMCA notice system should be abolished.

But the system was established for a compelling purpose. Firstly, it provides a safe harbor to YouTube - nobody can sue YouTube for hosting infringing content if they comply with the DMCA. This is good. In your system, we'd have to say nobody can sue YouTube regardless unless they don't comply with a court order, and this makes it too easy for someone to set up an infringing website and simply say that someone else uploaded all the content, and force the rights owner to sue for every piece of content.
It’s all about the $$$$$$. Privacy be damned.
Also I believe the traditional drawing algorithm (e.g. the painters algorithm) is not well suited for parallelization and how gpus do work. So the gpu is “fast” at slapping a circle texture on a couple of triangles, but rendering a circle from vector data not so much.

I think Apple has said that Core Animation (and maybe Core Graphics) now use Metal where possible, but vector to bitmap rendering is still done on the cpu.

https://raphlinus.github.io/rust/graphics/gpu/2019/05/08/mod...
As I mentioned in another comment, the particular category he is deriving the semantic in is dictated by the CBPV semantics. I certainly agree that a closed monoidal category is the appropriate ambient category for the standard linear type theory, the structure required to reach the full semantics of CBPV, as designed by Levy, require a narrower framing. Although, it should be noted that there is only a small amount of formalism to work through and the adjunction model of CBPV can be seen as right adjoint to the linear/non-linear systems Benton describes in his 94 paper with Wadler.
Expanding a sexual selection theory explains animal patterns
TL;DNR, use a language your company can support. It doesn't matter how suited to the job a language is, if it's single Engineer or small team, what happens when they move on? How do you support it? Who's on call?

Not Elixir, but a cautionary tale from our Erlang project. ~8 years ago a our IoT backend was written in Erlang, this was the early days of IoT, so sure it made sense as a technology, could scale well, handle all the symmetric sessions, etc. It was a good tool for the job and in theory could scale well.

But, there's always a but. We're a Python shop on the backend and C on embedded devices. Engineers move on, there some lean times, and after a few years there was no one left who could support an Erlang system. So we hired for the position, and it's key infrastructure, but not really a full time project, so we hired a Python+Erland person.

But! Now they're on call 24/7 since the regular on call roster are python people and when the Erlang service goes wrong, it's call the one engineer. So, do you hire 2 or 3 people to support the service? No, you design it out. At the time is was 2018, and IoT services were a plenty, so we could use an existing service and python.

Another way of looking at it, let's say it's a critical service and you need at least 3 people to support it/be on call. If each engineer costs $200k/year, that's $600k/year. Does this new language save you that much over using a more generic and widly known language in the org?
1 in 4000 is not a lot, as deadly pandemics go.

I'm not aware of numbers on permanent lung damage. Too much of the news seems to be fear-mongering anecdotes when we could really use all the objective facts we can get.
...which, to reiterate, just means it's not extremely dangerous to healthy people.
when thou least expect it.

Should be “when thou expectest it least”

lest thou tear thy hair

Should be “lest thou tearest thine hair” as I seem to recall the h sound acting like vowel for words that sound different based on what follow them.

lest grievous harm befall thy program.

Should be “befalleth”
Speaking as someone who contributed to those killer sales, the justification for my iPad 1 purchase was for presentation purposes - never again did I need to present on a laptop screen, and slides flipped elegantly. Of course, with that purchase I discovered the kindle store with the complete works of Aristotle, Nietzsche, etc as well as classic literature. In fact, I single-handedly attribute the iPad for turning me into a reader.
> Why the harsh tone?

It wasn't intended to be harsh, simply a case of 'come on dude, think about it'. These performers will be swamped by offers of "help" every day from people charitably wanting to get in on their act.

The people who matter to the performers are the supporters/fans the poster (harshly) dismisses as "creeps".

> There was nothing contradictory is his/her statement.

Without wanting to repeat myself, their first sentence is about how great they think it is performers/models don't need anyone else, and the rest is annoyance and refusal to accept that that includes him/her.
I've had my backgroumd as pure black on every machine I've ever used... Even my phones.
I see the above comment heavily downvoted but I'm specifically looking at 4000 series Ryzen laptops as my 1st move away from MacBook Pros. Such incredible CPUs really make the decision a bit more acceptable. The laptop I'm eyeing is near $1000.