skysight-inc/HackerNews huggingface dataset:
This is exactly where typical pure lambda-calculus based programming falls short. Lambda calculus afaik doesn't have the concept of IO, so it has to be bolted on in the programming languages as an afterthought.

I believe more powerful formalism has to be used. For example pi calculus or petri nets. In both you can represent the 'global variable database' as a process sitting somewhere and you communicate with it using channels or as a message passing in general. Lambda calculus is too constraining, because everything is a deterministic function and it can't model exactly this scenario. Another use case hard to model in lambda calculus is time. Eg. run some function after N seconds. Or plain 'sleep' function.

When you now look at programming languages in terms of, let's say, Petri nets, you see clearly how OOP (Alan Kay's message passing) is the part where you send messages between processes and FP is contents of a particular process.

Other than that, there are two types of OOP I noticed.
1. Alan Kay message passing. Originated from people trying to implement simulations
2. OOP as modules (Java, C++), aka 'Dog implements Animal' OOP. In this paradigm people try to come up with ontologies, ie. hierarchical models of data dependencies. Instead of using actual modules, people use classes for some reason. Then you can see module-like features implemented on classes, eg. private and public modifiers of methods.

'Dog implements Animal' should be modeled as 'Module Dog depends on module Animal'
Here is a great analogy for Software APIs:

They are the same as the ingredient lists in a "100 traditional recipes" book.

Recipes have a name, they have ingredients and they have detailed instructions how to make the end result out of the ingredients.

The detailed instructions are copyrightable but the recipe name and the list of ingredients are not!
Somewhat similar is FlexiSpot [0] desks. Have you tried those ? if so, I'd love to hear how they compare to Uplift.

Myself, I have a FlexiSpot height adjustable desk and it's great. The price was 430€ (frame only) new (and I've seen it cheaper during events like Black Friday).

[0] https://flexispot.com/
There's no way to know it as a fact because the judge is legally allowed to apply any sentence up to that maximum. His link shows that most judges follow the guidelines, and vary rarely go over them. Intelligent decisions are ones that are made after understanding probabilities. Unfortunately Aaron decided to take the guaranteed outcome of suicide over the small chance that he'd serve multiple decades. I think we all can agree that that was not the right choice.

We see this sort of "up to" crap all the time in our culture. It's still misleading. Accurate, but fundamentally misleading and wrong.
If anyone from Kite here readying your site fails to load with Brave browser (on Windows 10) with Shields Up. Both the homepage and the blog post.

"Huh... that's weird
Something unexpected occurred. We'll investigate what happened"
Dr Greger's claims seem to contradict the bulk of academic opinion. Maybe he's right, but when I search, I tend to find things like these:

"Olive oil is well known for its cardioprotective properties" - https://www.ncbi.nlm.nih.gov/pubmed/23006416

"In conclusion, the aggregated evidence supports the assertion that olive oil consumption is beneficial for human health"
- https://www.sciencedirect.com/science/article/pii/S037851221...

"In conclusion, olive oil consumption was related to a reduced risk of incident CHD events." - https://www.cambridge.org/core/journals/british-journal-of-n...

"Higher baseline total olive oil consumption was associated with 48% (HR: 0.52; 95% CI: 0.29 to 0.93) reduced risk of cardiovascular mortality" - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4030221/

"In this experiment, it seems that taking 20ml of raw olive oil – either extra virgin or ‘normal’ – can have a positive effect on our hearts." - https://www.bbc.co.uk/programmes/articles/tWtLcz30LZm3YTk5Vf...
Delaware Court of Chancery is like a standards body for anything else: it's a set of well known, public rules.

Every major law firm has extensive experience in it.

Every major investor's law firm has extensive experience in it.

It doesn't use juries, it uses judges. Cases can move very quickly. The Chancery is well-funded, and the judges have deep experience in corporate law.
Delaware Court of Chancery, tons of precedent in corporate case law
I wonder how powerful a laser is needed?
It's not a transaction though, it's a donation. Time to resolve is nothing here, it's fire and forget.

On top of that ACH or other systems require you to put in real banking information rather than having it be a separate wallet you use to pay.

It allows a more complete separation from payment processors.
16 ways to measure network effects
AFAIK, the VMware stuff is beyond shim usage. They straight up replace the kernel and run GPLed drivers inside their kernel.
This is a canard and actual immigrants aren't falling for it. There are lots of people that dislike immigration as a whole, either for matters of race, religion, or nebulous "culture". The Muslim ban, which then evolved into a travel ban coupled with a refugee ban, is proof of this.

When President Trump asked why people are coming from certain countries and not others, everyone heard what he was saying.

There's a good reason why Asian-Americans, who used to lean Republican, no longer do despite immigrating overwhelmingly through difficult legal channels.
Get started with Tint2, an open source taskbar for Linux
Isn't this true with Rust too?
Good point. Even in maths, "bias" is inevitable. Every mathematician has a point of view. There's no objectively best curriculum or way of doing things, understanding things, solving problems etc.

(I'm more familiar with this phenomenon in philosophy, where the greater the philosopher, the more they have entirely their own way of looking at things, untranslatable into another tongue, which you just have to come to understand on its own terms. A summary of their views leaves out the personal aspect, the style, the way of thinking, and will seem dead.)
Yea, no. This was centrally directed by 4chan and explicitly targeted at the individuals laid off buzzfeed and huffpost.

Like any profession or trade there will be individuals more skilled than others, and individuals more honest than others; although not always both at the same time. As it stands your eagerness to paint all journalists with the same brush is likely causing people to (consciously or otherwise) discount your argument outright. Even worse; a certain subset of the population is going to be actively antagonized by this language because it so closely resembles language used by a politician that they have very strong negative animus towards.

Would your disdain for an entire profession be as vigorous if the layoffs were occuring en masse at Breitbart or Fox News?
That makes more sense. I was wondering why the article was so "all over the place", it's just because every sentence was actually a separate tweet.
I agree that literate programming chunks can be very leaky abstractions, and it's a good point that LP systems provide no guarantees whatsoever about interfaces. But for precisely that reason, LP chunking sometimes is useful in situations where procedural abstraction is limited: In algorithms where the various sections are connected with very wide interfaces. If all you have are procedures, you either pass around a big struct, or an enormous number of procedure arguments. In object oriented programming, the big struct is implicit in the self/this pointer. LP gives another alternative.
how does this compare to oss-fuzz [0]? is the main value proposition that its easier to set up?

[0]: https://github.com/google/oss-fuzz/
Calling them ancient is a bit unfair, they regularly backport hardware support and select other features from newer kernels. Unlike other distributions, however, they have a stable kernel ABI for an entire release, so they can’t bring in changes that break white listed symbols.
No, sorry, the MTA-STS draft itself is clear about this distinction. Also, your argument is circular.

DANE definitely does not "work" for SMTP.

The necessity for DNSSEC in SMTP is, I think, a desperate trope† that recognizes that the Web PKI has moved past considering DANE and begun investing in direct hardening for the X.509 system. SMTP is other mainstream protocol for which transport security couldn't be guaranteed, is mired in the late 1990s technologically, and doesn't inherit modern browser- and server- based protection. So: SMTP! SMTP is the reason we need DNSSEC! We must get DNSSEC deployed immediately so everyone can have secure SMTP!

Except, you know who doesn't agree with you? The people who the most important email services. Hence: MTA-STS --- a standard whose introduction spells out its raison d'être: to avoid DANE! --- and the mooting of that last fragile argument for deploying DNSSEC.

DANE is a dead letter.

† I'm choosing words carefully
> Why would they otherwise skip profits?

If all you had to do to make profits was impose whatever outlandish pricing models pop into your head, everyone would do it and internet would cost infinity dollars.

No one would actually pay this. There'd be mass outrage and as much as the memes like to imply Ajit Pai works for Comcast, the FCC would easily be forced to step in (no blanket net neutrality law doesn't mean the FCC isn't allowed to step in when needed).

It's in the best interests of the ISP to not do egregious things that force the FCCs hand or stir up public outrage.
Kaboom! was awesome... need paddle controllers to really appreciate it though.
YouTube Ripper Site Piracy Case in the US Is Dismissed
While I agree Wi-Fi would enable other methods of control, the megadesk is designed to do exactly what you suggested.. store and load pre-defined positions by different types of presses :)
For anyone interested on the JVM side, I wrote a fuzzer last year using afl-like logic: https://github.com/cretz/javan-warty-pig
It's one of those questions: do we believe the words of a notorious liar when he asserts his view of Venezuela's "legitimate branch of government," or do we believe the Venezuelan people?

Is the power to choose their country's president held by the people or by the regional superpower?
I bought that for my home and two for my office -- Costco had it for $300 USD in the warehouse (I see $400 USD online). Maybe cheaper in Canada because it is a Canadian distributor, it is made in China.

A few weeks after purchase, I waited at Costco for new tire installation and worked on my laptop for a few hours. I evangelized standing desks and this product many times while there.

It has very high build quality, especially for the price. The glass is nice and strong, the metal is sturdy, and it doesn't wobble. The setup was super easy, the three integrated charging USB ports are very handy -- too bad no USB-C though. It has presets and a nice little integrated LED. I put my 75 pound kid on it moving up and down with no problem. I have not cracked open the controller and open-sourced the breakdown.

I used an Uplift for many years; it was nice too and good wood and a bit larger at ~$750. But if you like the modern look, the product and the price is great.
> Also, mrs_angemi is coroner who posts interesting autopsy pics on instragam if people are interested in it.

Suddenly, I'm not that hungry. You were telling the true, the first picture is a dead teenager.
Jason Fried: “big customers make me nervous” (2012)
Getting a 2000 computer every 2 years is vast overkill. A 1000$ computer every 4+ years is fine for the vast majority of users and under that if you don’t need a laptop.

As to 500$ a month, many people live fairly comfortably on that in very low cost of living areas. Also, setting that money aside can add up quickly.
Learney – knowledge aggregator for software developers (my pet project)
> Assimilation, therefore, is really a process of integration -- many cultures becoming one culture. E pluribus unum

This is 100% correct and it always makes me supremely uncomfortable when people champion "assimilation" as a goal. America isn't a Borg collective, and American exceptionalism would not exist in a monoculture.
This looks amazing (as everyone else said). Hope this remains somewhat stable so I/we can build on top of it. 5 stars.
If you're looking for a simple, light and highly customizable Spreadsheet for the web checkout React Spreadsheet (https://www.npmjs.com/package/react-spreadsheet).
> most customers still wouldn't have the legal resources to challenge it

The weaponization of the legal process. Those with the biggest armies win.
This is a Russia-based site, and the case was dismissed on jurisdiction grounds.

IANAL, but it seems surprising. Usually having even a minority of users from the US, is enough to establish jurisdiction.
I've recently got an opportunity to work with a trusted partner doing local web design in a small Canadian city. Is there some way I can talk to you for tips on how to market to & convert local clients?
This is great news. I'm a historian and have gone to the Royal Society archives to read these draft minutes in the past (I was looking for references to experiments involving psychoactive drugs on one research trip, and on another I was researching the Royal Society's run-in with the infamous impostor George Psalmanazar).

Happy to answer questions about the meeting minutes or their historical significance if anyone is interested. Hans Sloane is pretty fascinating in his own right and was recently the subject of a biography: http://www.hup.harvard.edu/catalog.php?isbn=9780674737334
Pre-commit is awesome
If you're going to have a standing desk at home I recommend building one that's fixed height. A fixed height desk will be much more stable and allows you to have storage underneath. If you want to sit use a drafting chair or stool.

There are a number of designs that require minimal skill and tools. The first one I built used parts from Ikea and only required a drill and some hand tools. It looked great, had a ton of storage, and cost under $400.
Rails, devise, Vue.js, bulma. What I like with rails&devise is the possibility to have a base app running with authentication, db migrations, a nice standard folder structure and efficient pages, all this in an afternoon.
Is there anything more “bad guy” than espousing high ideals which run contrary to centuries of actions? Still at some point you’d hope that people notice the disconnect and feel disturbed.

“Hans... are we the baddies?”

https://m.youtube.com/watch?v=hn1VxaMEjRU
I suspect they intentionally regularly interrogate people who they know are innocent to train what a normal false positive acts like. that helps detect the true positives in contrast while training on true positives is difficult as they are quite rare. the interrogation strategy is just to impose a high level of stress on someone. i suspect a false positive will act very confused in contrast to someone who wants to hide something.

(with positive I refer to someone who is considered dangerous or an enemy)

having said that I went twice to Israel from Germany and coming back from Istanbul and never had issues. actually I find it quite exciting to experience the perfectly orchestrated security measures. obviously though also because I never got the tough treatment so far.
Interesting that Messi had tax problems in Spain as well.

Neither of these guys are filling out their own taxes.

Why did their accountants think it was a good idea to complete their taxes in a way that wound up getting them in trouble?

Or why did Spain think these guys were alluring targets to spend finite prosecutorial resources on?
What I meant was that you're not working so you should simply forgo that day of climbing the mountain. It's a day off work in any case.

As I said, I'm not a fan of the combined vacation and sick time in any case (in part for the reason you say). And, yes, people will drag themselves into work because they don't want to lose a vacation day.
I do have a story about how many mid-level managers met weekly for months to develop a "more efficient" order-of-tasks for janitors to clean the bathrooms. They claimed the new process would save $100,000 over 3 year (IIRC). Reading the fine print found that they also transition to transparent sandpaper as toilet paper, which accounted for most of their savings.

I never got to ask a janitor, but I'm pretty sure I can guess the respect the idea of a "do these tasks in this order" coming from people that had never done the job would get.
Is it only me? I think I lost the ability to read cursive handwriting. I tried reading a few pages, and it is really hard for me to follow what is written.
Depends on the business. Something like Zipcar or similarly asset-heavy would incorporate assets in an MnA valuation, but SaaS would not unless they're flush with valuable patents.
While some of this is overstated, directionally it is on point, but he ignores one very important factor: the customers. The LPs that provide most of the capital to the VCs (pension funds and endowments) expect and want a certain product (2/20 funds run as partnerships, where each investment is attributed to one of the partners). Business models that deviate from this are not received well.
“British spelling”
From the Northern to the Southern Cross
ASML to Ship 30 EUV Scanners in 2019: Faster EUV Tools Coming
I was completely blown away by the Fully Jarvis (https://www.fully.com/). Mine worked out to ~$500, took all of 5 minutes to set up and has been completely rock solid. It's super customizable, and the quality has been really excellent so far (especially the bamboo top).

I dig that they're a B corp too.
The Skarsta is cheap and fine. When you go to Ikea they tend to wobble, because about a month after assembling them you need to tighten the bolts once. Done.

At home, I customized my Skarsta a bit. Bigger top (200CM wide versus 160CM, 70CM deep) in order to fit 2*27" LG5K and two monitor speakers. And a sliding shelf hanging below the frame, just deep enough to fit a master keyboard. Works fine! :)

Oh, not motorized. No problem. 30 secs of light excercise :)
Let's Create Unsplash for Music. Together
Shouldn't an efficient JIT process define an ideal inventory quantity level that triggers restocking?

"Qty=1" is definitely inefficient.
Patrick Collison is always interesting to read, but the 103 occurrences of "kind of" and 54 of "you know" remind me why I tend to avoid podcasts.
I wouldn't care because they're just as biased.

Buzzfeed and to a large degree HuffPo was a clickbait outrage yellow journalist organization. They make news for ratings, not to inform, they go for outrage.

If it was were the AP or Bloomberg or some org that reported primarily the information and facts of a matter, I might be concerned.

There are some good journalists being let go, but they'll likely land on their feet. But I'm not upset that Buzzfeed or HuffPo are slowly going under. They do more harm for democracy and an informed populace than good.

You say lead by 4chan. Do you know how 4chan works? Did you watch the video, its not just 4chan. Besides, 4chan is just a bunch of trolls, why would you get upset as a public figure, by trolls. Twitter is a cancerous cesspool, like 4chan, if you don't want to read that stuff, just stay off of it. You shouldn't take it seriously, but I do agree that journalists can be callous towards others in the same situation then suddenly incredibly sympathetic when its happening to themselves.
$60B Wall Street machine transforming the unusual into investment grade
Yep, I've had it for about 2 years. Biggest complaints are that the buttons are on top and easy to press by accident (although there's a lock button on the side), and the lowest setting isn't low enough for me (5'8"). All that said, I think it's great for the price. I'm thinking about upgrading to a big ol' Uplift Desk because I want to get an under-desk treadmill with enough room for a chair next to it.
Splunk donates $100k to shutdown employees
Show HN: Test Linux fork/exec performance
My BEKANT does not wobble at all.
Ranges we see:

Option pools: 10-15%
Vesting: If there are new rules here, they are around re-
vesting and highly dependent on how long the company has been around.
*Ratios: A bit harder to say, but the lead is usually taking a significant majority of the round.
It's supposed to be -18 in mid-Illinois, with a windchill of -48. This typically happens once or twice a year - not fun, three days later it's supposed to be mid-50's.

Gotta love the 70+ degree swings.

I just want consistent weather, i.e. minimize the distance between the weekly minimum / maximum. Is that too much to ask?
Big thank you for that lite.cnn.io URL variant.

Very apropos to HN.
The home page is beautiful:
http://lite.cnn.io/en
I've heard good things and I played with it at Costco, and it seemed solid enough. I didn't get it because it just wasn't big enough.

My wife has the Skarsta, which is a good size, though it doesn't have a motor. I've heard the Becant has problems with the motor, so I didn't get that.

I'm still in the market for a decent, reasonably priced (under $500 preferably) motorized desk, but it needs to be serviceable (I want to be able to replace the motor or desk top without sending it in).
Introducing the Update Prevention Tool.. Continously writting into reserved storage to prevent updates.. in 3.. 2... 1
The article OP posted was from 2002 and as of 2018 it looks like Dell is still using JIT methods. Looks like the math was right.
I got the IKEA Bekant sit/stand L desk and I’ve been really satisfied with it. I alternate between computer chair and standing and don’t think a stool would provide enough comfort for me.
The implication that distress from public executions will engender the better angels of our nature is not well-founded.

Audiences at public executions, past and present, cheer. Photos of public lynchings from the Jim Crow South show throngs of smiling faces. Thousands of people traveled across state lines to witness the spectacle of the last legal public hanging in Kentucky. The crowd at the last public beheading in France (in 1939) exhibited such "hysterical behavior" that public executions were immediately banned.

Regular public violence is not rejected by human nature, it is normalized.
Transferwise enables me to be successful working in Asia. The only downside is that they don't do CNY yet, otherwise I'd use them exclusively. Using banks internationally is incredibly painful and ripe for disruption.
MesaLink 0.8.0: More OpenSSL APIs, RPC Over TLS, and SGX Remote Attestation
Well? Did you find any references to experiments involving psychoactive drugs?
As someone from the midwest, below-freezing is no big deal(so suffer seems like a silly word). I'm curious how much will suffer below 0F(~-18C) this week. We certainly will, and the wind chill won't help.
Below freezing is nothing, but the people who understand this will see temperatures FAR below that.
What do they mean by "suffer"? Isn't this normal in winter?
SuperPay #1 product of the day
Now’s the Perfect Time for Apple to Bring Messages to Android
Condescending, gets hung up on form and image instead of substance. Pretty obvious deflection. Everybody runs on emotion as well as reason, and there are perfectly reasonable situations to get emotional. Maybe you get a lot of ad-hominem attacks because you deserve it.

Want the debate club response? Just endless, endless sources and studies and data. They are out there and they are overwhelming and conclusive.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2995507/

https://climate.nasa.gov/evidence/

Be sure to click through and check out all the individual citations. I wonder if you'll actually live up to your supposed principles and care about the evidence.
A pair of mylar blankets - one to wrap up in, one to use as a bivvy. One is effective, two are almost cosy - stops radiative cooling completely. Take up about as much space as a couple of packs of cigarettes.