skysight-inc/HackerNews huggingface dataset:
I don't see an option to send text (browsed through README and Issues), is this not possible with croc? With Magic Wormhole it's the default to get a message prompt when running "wormhole send". Or you can do it as a oneliner with "wormhole send --text 'something'". Wormhole William can do this as well IIRC.

I use MWH often for sending stuff like URL's, passwords, API keys... having to create a file for that is quite annoying (and remembering to delete it afterwards).

"brew install magic-wormhole" or "sudo apt-get install magic-wormhole" is easy enough and I don't hang around with people who use Windows. ;)

Resumable file transfers sound like a great feature though. Not sure it's implementable with MWH the way it now works.
Steroids Can Be Lifesaving for Covid-19 Patients, Scientists Report
I’ve sent a few GB over this method using their free service. Doesn’t seem to have a transfer limit

https://ngrok.com/pricing
> That's what motivated the formalization of Type Theory and the invention of Type Systems in programming languages.

I don't think that's right. The original invention of type systems in programming had nothing to do with Type Theory. The motivation wasn't from any theory. The point was to tell Fortran whether to treat a value as an integer or a floating-point number, which affected storage format and a bunch of other things. (Before Fortran, there was floating-point arithmetic, but the type was still just a computer word. The programmer had to keep track of what format it was in.)
I was just using the same type of typing syntax as the OP. I could have left that out.
what the heck are EVPs and CVPs?
Over the last 23 years of my career, I have concluded that there is no intrinsically bad or good paradigm; They’re just all different, each with their strengths and weaknesses. Just as you wouldn’t kill a fly with a sledgehammer, you wouldn’t choose a big, heavy OOP language like Java to write up a simple script to copy some files around, would you? No, Python or Perl would be better suited for such things. But using scripting language for large Enterprise-level software begins to fall apart at some point. Suddenly you’ll find yourself wishing that you could name and encapsulate data structures, and then perhaps extend the functionality of a module, and you might even find yourself mimicking concepts of classical inheritance - and eventually you’ll end up with a mess that would have been much cleaner with some kind of OOP. Take Javascript, for example. In the days before ES6, many large JS Enterprise libraries were written with strange prototype hacks that did their best to mimic classical inheritance with varying degrees of success. A framework called Dojo tried solving this with convoluted constructs like “declare”; Whole transpiled languages like TypeScript and Coffeescript were created just to make it easier for developers to write “clean” classic OOP-style code. My point is, OOP is and has been useful in all manner of problem solving, and no matter how hard we try, we always come back to it in some way. Perhaps the question of why it’s so prevalent is misguided, driven by misunderstandings, culture, trends, and a desire to shun what’s old and promote what’s new.
> To me that’s a bit like complaining to HR. They’re on the side of protecting the company. If you get protected too, it’s just a happy accident.

Agreed completely. I meant to respond to this from my parent (https://news.ycombinator.com/item?id=24358059):

> My own country has lots of the same issues, but at least it is a separate branch of police which investigates abuse, not a colleague who will have to deal with the backlash if they report dirty acts.

I meant to point out that an internal-affairs branch is still part of the police, even if it's nominally a separate branch; and, as such, as you put it very well, their job is to protect the police, not you.
Up to a few GBs I'll host them on my server and send a link. More than that: I'll host a torrent.
> The ACA also ads out of pocket maximums. They might still be high enough to cause problems for some people, but it’s a lot better than it used to be.

That's pretty dismissive of reality. A more lifelike portrayal is that ACA co-pays/deductibles resulted in wholly unusable insurance for millions of economically vulnerable Americans.
> election

Congress was elected. If they are doing a bad job, the voters can recall them.
There's no need for lower officials to deal with them.

If the majority of the voters are wrong, then your "democratic nations of laws" is dead.
> defer also cannot handle resources whose lifetimes do not correspond to nested scopes

It can, it's just more explicit about it. In a language with destructors, you'd do RAII here by having a list destructor that cleans up each element in turn. In a language with defer, the same destructor becomes a regular function that you'd invoke in the deferred expression.
Isn’t an endofunctor a morphism from/to the same category? So a functor would be any morphine from/to different categories, and that wouldn’t be an endofunctor?

Endofunctor:
A -> A, for category A

Functor:
A -> B, for categories A and B
What is your take on checking return values?
Yep, also should be “rationale” rather than “rational”.
Your implementation is necessarily complex. That's why it may have bugs, and why it needs tests.

You have many more tests than implementations. In my experience, ~20x more. If your tests had bugs at the same rate as your implementation, you'd spend 95% of your time fixing test bugs and 5% fixing implementation bugs. That's why tests should be simple.

If you're going to be spending that much time on validating assumptions, I think you're better off trying to express them formally.
It's a pretty frequent problem for someone to be going 10mph below a 55mph limit. To pass safely you have to go well above the limit for a few seconds, even if they don't speed up, so that you aren't in the oncoming lane for too long.

If they speed up during the passing manoeuver you should probably slow down and fall back.

If there's oncoming traffic, sure, but not as a matter of principle. Once you start passing, you should definitely finish unless it becomes dangerous to do so.
I'm confused by your Bush and Obama references—both incidents occurred under Bush, the one that you attribute to Bush was revealed under Obama, whereas the one you attribute to Obama was revealed under Bush.

Are you attributing based on occurrence or based on decision not to prosecute? Did you accidentally switch them?
India and Iran are not really comparable in terms of government control.
Probably, but it is quite a neat technology. As people in this industry, we know what else it is being used for, and it serves those purposes pretty well. I love torrents. I love the technologies that it uses. Many other projects use it, for example take a look at https://docs.ipfs.io/concepts/dht and https://github.com/savoirfairelinux/opendht just for DHT alone. There is also https://en.wikipedia.org/wiki/Magnet_URI_scheme. There are many more, just too lazy to find them at the moment, but believe me, the things you will encounter once you go down this road, is truly amazing. Worth it!
I have one that's in-between. The monitor is always "present", only the keyboard and mouse get (dis)connected. It works fine, since it avoids the biggest problem of adjusting the screen resolution which can reposition desktop icons, etc. The only drawback is a 3-4 delay as USB mouse/keyboard is reconnected.

The price was around $50 IIRC.
I can't think of an OOP framework that went functional.

I can't think of a time where we killed a project or rewrote a project to make it more functional. Or where OOP bite us.

React went functional for a reason. Does everyone share that reason?
>> I think there's good evidence that this isn't just a run of the mill "grass is greener" grousing by experts.

I’m not sure. For example, frameworks are often nicer in OO than FP. Of course some wag will suggest you shouldn’t use frameworks, only libraries, but that misses the point.

Plugins strike me as another use case that works better in OO than FP. I’m certainly not saying you can’t have a plugin architecture in FP though, it just won’t be as nice to use, that’s all.

I expect in a few years the OO revival will be strong. “Look, we can neatly model fundamental concepts such as timers again!”

>> Can you name

Does es5 to es6 count? es5 was in theory already OO but the predominant usage appeared to be more heavily influenced by FP. I could be wrong on that but books like javascript the good parts were popular.
Look up when those events happened vs when the Constitution was written.
For some reason browser vendors do not allow JavaScript to connect to any port. So there's no other way.
Almost exciting. But it is not using natural language, it is using templates and heuristics.
Check out a DisplayPort cable teardown. I was surprised how complicated they are! Long gone are the days of simple 'copper only' cables. These high bandwidth cables have electronics on both sides to negotiate with the devices they connect to and to optimise data throughput from one end of the cable to the other.
I admire the discipline to have built all of this and then not actually use it.
Chrome extension to replace all images with Cheems
My neighbor did that 3 times. Didn’t work out so hot for the third kid. I would never consider asking if they regret that choice, but I cannot imagine the grief from losing your child in a home birth scenario.
GP Social Club: How to Create an Exclusive but Not Exclusionary Community
sure, i used this[0] for the hotpluging part and these[1] are the udev rules :) in order to switch inputs you should take a look at ddcutil...

[0] https://github.com/olavmrk/usb-libvirt-hotplug/blob/master/u...

[1] https://gist.github.com/4ab23675ab69162934ce75b52bd1d290
Been tinkering with this and it is a pretty solid focus stream! Bookmarking.
Now that I think about it, I think that depends on what you mean by "use". I was commenting from a perspective that you can pass in something that is not 0 or 1, and in general it is not advised to assume that a "boolean" is 0 or 1 especially given that this document doesn't mention the boolean type (which is guaranteed to have those values). This is true even under ANSI C, because as it mentions later, programmers depend on any nonzero value being "truthy".
(disclaimer: I know you're joking, sorry to answer so seriously ^^)

The fact it is released does not mean that it is captured (by humans). Actually, any project to capture all of methane clathrate (because capturing all of it is the only way to preventing it melting and leaking) would be so titanic, really impossible, or very very difficult.

Yes we agree, Musk will never run out of methane. But the Earth will quickly run out of capacity to process it when it's released, accelerating the greenhouse effect, that's the real limiting factor.
>The only thing missing would be exhaustiveness checking

Not if you're on a recent version of Java, switch expressions are exhaustive and they're a stable (non-preview) feature now as of Java 14.
"During the early stages of the Iraq War, United States Army and _Central Intelligence Agency_ personnel committed a series of human rights violations against detainees in the Abu Ghraib prison in Iraq,[1] including physical and sexual abuse, torture, rape, sodomy, and murder.[2][3][4][5] The abuses came to public attention with the publication of photographs of the abuse by CBS News in _April 2004_."

https://en.wikipedia.org/wiki/Abu_Ghraib_torture_and_prisone...
How is C# similar to C++ in that regard? It's a much higher-level language.
Neat! Glad someone knows about it, heh. :D
You have a refreshing way of accepting when you are wrong, it is a joy to witness on these here pipes.
This is exactly why I included earlier bit where they claimed there was no boolean type, to show that their conclusion is logically inconsistent rather than just incomplete ;)
The Aurangabad branch of the Bombay High Court has quashed cases against members of the Tablighi Jamaat (which parent seems to be confusing with the Taliban) and said that they were made "scapegoats". [1]

In any case, large gatherings in both religious and political contexts have continued during lockdown. The lockdown has had no apparent success in reducing the rate of new infections. [2]

[1] https://indianexpress.com/article/india/tablighi-jamaat-case...

[2] https://www.ft.com/content/53d946cf-d4c2-4cc4-9411-1d5bb3566...
This one is quite incredible. System of a Down - aerials Bardcore https://youtu.be/tAVkuRKwuDI
We birthed at home (& later at birthing centers) so my wife could be appropriately in control.

She's a chemical sensitive. Staying out of a hospital was the only way to keep some rando hospital staffer caked in perfume (or Tide) from walking in & triggering an 8 hour migraine.
Why are we talking about OSes all of a sudden?

ChromeOS has "won" in a niche where no one was competing with it.
Celebrate TiKV Graduation Within CNCF
Based on Putin’s public statements, we can presume that he wants one of the following.

1) To rebuild the old USSR territory, he seems to consider ex soviet bloc countries to be wayward states, not independent countries.

2) To expand Russia so that the border it shares with NATO countries is narrower and anchored to a defensible barrier. To my (amateur) eyes, that would possibly be the Dnieper river, although other good choices might exist.

1 is largely ideological, 2 is based on the fact that Russia is facing both demographic collapse (particularly when you focus on ethnic Russians) and it has immense borders that are already very hard to garrison. Due to the layout of Europe, Putin could potentially drastically strengthen his western border with more territory, which might be imperative to do before the Russian population gets too small to garrison it’s current borders.
Yes, the ACA has out of pocket maximums. $8,150 per individual or $16,300 for the family this year.
I think you can get far with this type of code organization, and using methods just for easier name lookup of functions associated with a particular type (static lookup -- no vtables / RTTI). Function overload sets are also useful. Libraries like https://github.com/skypjack/entt really help here too--for an 'ontology of alive objects' its felt like using an entity-component-system has been more ergonomic vs. a big tree of inheritancey classes.
Similarly, a typical LED can be used as a photometer.
The latency would probably make it a shitty experience. I got a displayport switch when I started working from home this year and the thing works so well I forget it exists. There is no latency at all and it automatically switches inputs based on which one is active so I never have to touch the thing.
Exactly. People are missing the point that bringing in new customers is a lot harder if you have to go through a number of additional loops to install an app and even find out about it. Local rivals have a massive leg up. Over time, once local rivals develop and they are easily accessible and feature rich, then people will stop using the Chinese apps. Just look at the latest YC batch which was full of Indian startups.
High density does not automatically imply skyscrapers.

Paris, or Siena, or many other examples achieve very high density, with buildings that are 3-4 floors high.
I'm okay with this type of stuff but when people start to stretch it to support inheritance and virtual functions and then clever macros to hide it all to make it look like C++ its too much.
WDT from Facebook - https://github.com/facebook/wdt/

We use it for copying hundreds of TiB's regularly, occasionally over a PiB.
I have been using a KM switch and manually switching the monitor for the last few months. I was wishing there were a way to programmatically change the input, and apparently there is! But I assume this is only supported by some monitors. I will try it out tonight. Thank you
We already have that system. Congress can pay any reparations it decides.

You want a system where any judge or jury can decide that someone owes someone else a billion dollars based on past law? Until 4 years later when a judge or jury rules the other way and makes them pay it back?
There is a generation of programmers that grew up being told that the only right way is to:
```
>javac

public class Main {
public static void main(String[] args) {
System.out.println("This will be printed");
}
}

>java Main

Also, there is no way you could get things done, without spending a year studying what each of
Class, static, void, System, args, etc
meant.
It's hardly surprising there will be a number of people. who realise that that's neither the only nor the most efficient hammer to drive in all types of nails.
> Like there's was a dip in CO2 emiisions during covid, but only like a 15%. Who's producing the rest?

While I agree very much about the absurd logic of trying to put the solutions to climate change on individuals, I am honestly perplexed that you don't seem to understand how all of your daily consumption contributes to climate change.

CO2 emissions doesn't just come from driving your car. If you ordered anything delivered from amazon that created CO2, if you live in a developing city your environment creates CO2, if you consume food that is grown non-locally or that uses fertilizer that also create CO2.

It's not just a "small number of companies" it's every company and every part of our modern life. Look around you and I can assure you that most of the things you see where shipped around the globe using ships powered by bunker fuel, they were made with materials gathered using a non-trivial amount of non-renewable energy.

Again, I agree that we can't expect that individually we'll all radically alter our lives and live like it's 1800, but it is essential to realize who much of your current way of live contributes to the enormous production of CO2.

The fact that things slowed down and we decreased emissions by some notable percentage but we suffered incredible economic consequences for this show just how unsustainable our entire way of life is.
> The ACA needed a parallel side to the legislation that aggressively attacked medical price inflation: taking on medical liability insurance reform, forcing price transparency across the entire medical system, fixing in-network vs out-network blackholes, etc.

Most of the text of the ACA attempted to do exactly that. The problem is that there are no simple answers, the rhetoric notwithstanding. The ACA created rules and processes built around consensus advice for controlling costs, but predictably the results were more meager than the rhetoric and studies claimed. But it was always understood that would likely happen. Much of the ACA also included data acquisition and feedback mechanisms that would feed into both regulatory committees and into subsequent reform legislation. But the GOP stonewalled both mechanisms. Remember, their sole desire was repeal. Replace or even supplement was never on the table for most of the past 12 years, and offered proposals were never made in good faith because they were always patently deficient.[1]

To the extent the ACA has failed (and that's debatable because people have very rose-colored glasses about the previous state of affairs), it's because it was deliberately sabotaged.

[1] For example, prohibiting denial for preexisting conditions but removing the universal mandate is patently not fiscally viable! Certainly not without a hefty tax increase to reimburse insurers, a process (temporary under ACA) which the GOP also subverted. That's not even Econ 101, but Kindergarten Econ.
Don't forget the oud!

https://www.youtube.com/watch?v=tsHeDpGcZVM
If the clathrates are really massively destabilized with raising temperatures, no existing microorganisms could possibly stop the huge mega-bubbles of methane that would raise bursting to the ocean surface.

Microorganisms could very well be useful, but only if the process stays slow. But in this case, maybe there are already enough of them naturally.
Asking people to cite their sources without presuming good faith is not very welcome here.
How it works in my state is every grocery chain (except walmart) joined an employer union, called allied employers inc, and they negotiated a union contract with UFCW21. (yes, the employer's answer to unions, was to start their own union)

The effect is every grocery chain in the area has the same price-fixed wage they offer, price-fixed benefits, and etcra.

Don't like your wage at Fred Meyers? too bad, the safeway down the road is in the same union contract and thus the same wage.

Get kicked out because an unexpected financial/medical expense killed your ability to pay dues? too bad, none of the other chains in the area can hire you until you pay off the back dues, that you can't pay because you can't get a job.

Union is holding a vote to strike and pushing out misleading information when really the only provision the employer is objecting too is a new one that requires the employer pay the union dues for any unfilled position because the union just wants to make more money so they can vote themselves into a raise? too bad, you can only communicate with people on your shift at your location in your section of the store, the union however has mandated access to break rooms, as well a mailing and email broadcasts.

What people don't seem to get, is that sometimes, the power unions get from getting so large, can be used against the employees, not just the employer.

But you can't even bring that up without getting strawmanned as a republican union hater.

I haven't even gotten into programmer unions, with high dues and 9k initiation fees that get voted for because nobody who votes it will have to pay it as they are already in.
> I feel like I can confidently say structural typing, in practice, is MUCH easier, better and fun to work with than nominal typing.

That's the issue with these kinds of topics. For me, it's the other way round. Having worked with golang on significant code bases, the way they handle interfaces is just terrible IMO. It's been quite friction heavy, and loses out on one of the most important part of nominal typing: being able to use interfaces to tag classes. The hacks you see in golang to get around it, while introducing dangerous behavior, is quite astounding.
I think this sort of reduction is lazy in terms of design for language semantics; there's a massive difference in expressiveness between languages and to pretend otherwise is to do a disservice to the rich field of PL theory.

Even when you elevate a particular construct to be first-class in a language; the expressiveness of languages differs greatly.

For example, prior to lambdas, first-order functions existed in Java in the form of static methods - but higher-order functions weren't really possible. Even now, we lack the ability in Java to express certain forms of functions which are possible in more expressive functional languages.

Lisp's in general have the same control constructs as many imperative languages, but it's possible to do higher-order abstractions over them through the use of macros and constructs like shift/reset or call/cc and the fact that everything is a s-expression.

In this regard, Java and C-like struct pointers are almost first-order OOP languages - the composition via inheritance is quite frankly poor compared to the other paradigms.
Thanks for the point about judicial review. That's obviously very important. (And, if judicial review were added to the no-fly list, the list would probably get orders of magnitude smaller.)

But it would still be possible (with judicial review) to put people on a no-fly list who the government nevertheless has no grounds to arrest for anything, just as it is possible today to issue restraining orders for people who the government has no grounds to arrest.

That specific argument against the no-fly list is really the only thing I was trying to take issue with.
Are you certain that’s the case?

See: https://github.com/BrunoBonacci/graalvm-clojure#readme