skysight-inc/HackerNews huggingface dataset:
I really like our SleepOnLatex mattresses (https://sleeponlatex.com). They're yet another mattress-in-a-box company, and the name is kind of bad, but the mattresses are very high quality AFAICT - UL Greenguard Gold/Oekotex certified for low emissions, organic wool covers rather than chemical retardants to meet fire standards. And they're extremely reasonably priced to boot ($800 for a queen).

No affiliation, just a very happy customer. Never tested their customer service/returns/etc, so I don't know how good they are there.
Does the development team get the stats from this? I could see it empowering self organising teams.

If not it seems like a horrible product for engineers.
You're ignoring the part where Epstein was a hyper-wealthy socialite who had already made a six-figure donation before his 2008 conviction. MIT administrators have acknowledged that they knew about his crimes and that conviction. They took money from him anyway.

Epstein brought Bill Gates's money through the door. Don't pretend the administration was unaware of his donation history, or that he was just some everyday small-potatoes donor.

Reif had his eyes open, he said thank you for the money, and now he's throwing others under the bus to preserve his own career.
Apple continues to support SMS as 2FA. It is a bit hidden when signing in.
I always wondered if there was a hidden way to get access to Cryptography II, using knowledge from the first course. Never could find any hint for that or anything.
Screen recording software aimed at gamers caught stealing youtuber's info
Yah, worlds greatest philanthropist and infamous child rapist are not quite equivalent...
If cost ATT $4B after it failed to merge to T-Mobile.

https://en.wikipedia.org/wiki/Attempted_purchase_of_T-Mobile...
ForwardCom: An instruction set for high-performance microprocessors (2018) [pdf]
I think all this is related to a lack of confidence. I find myself more in demand rather than less as the years pass.
I'd be happy if alcohol would be classified the same way as drugs. Because that's what it is -- narcotics. But it has so big social allowance that probably it will never happen.

From strange reason alcohol is very different than drugs, it's freely available in shops, yet we all know at least 1 person that is an alcoholic or lots of us have at least 1 alcoholic person in the family.
The romans did envy the Greek culture quite a lot - Pompeii and Herculan are filled with “copies of greek statues”. And they did copy the mythology wholesale.

But speaking about this I can’t not mention the hilarious sketch from Monty Python - [what did the romans ever do for us](https://m.youtube.com/watch?v=uvPbj9NX0zc) TL;DR; Quite a lot given the relative cultures and civilizations of the time.

Have in mind that a lot of the greeks were themselves a bunch of cruel slaving rednecks too - https://acoup.blog/2019/08/16/collections-this-isnt-sparta-p...
Timeline of Prehistory
Thank you for the info. I generally work according to the best-practices you outline.

> There is no software that will run a scan and give you a green check. If there is one like that, I wouldn't trust it either.

Are you advising against running ClamAV, chkrootkit and rkhunter? I know they won't give 100% guarantee, but something better than nothing, I thought.

I am most worried about my developer machine, as I have testdrived numerous OSS projects, with different stacks, package managers, etc. Fetched billions of npm packages, and browsed gazillion sites for tech advice (using FF, Privacy Badger, uBlock, but still).

A clean reinstall may be in order, but it'll cost so much time getting all config I now have in place again.
For anyone curious: this instruction set is proposed by Anger Fog. Here's its Highlight section:

> ∙ The ForwardCom instruction set is neither RISC nor CISC, but a new paradigm with the advan-
tages of both. ForwardCom has few instructions, but many variants of each instruction. A con-
sistent template system with few instruction sizes combines the fast and streamlined decoding
and pipeline design of RISC systems with the compactness and more work-done-per-instruction
of CISC systems.

> ∙ The ForwardCom design is scalable to support small embedded systems as well as large super-
computers and vector processors without losing binary compatibility.

> ∙ Vector registers of variable length are provided for efficient handling of large data sets.

> ∙ Array loops are implemented in a new flexible way that automatically uses the maximum vector
length supported by the microprocessor in all but the last iteration of a loop. The last iteration
automatically uses a vector length that fits the remaining number of elements. No extra code
is needed to deal with remaining data and special cases. There is no need to compile the code
separately for different microprocessors with different vector lengths.

> ∙ No recompilation or update of software is needed when a new microprocessor with a different
vector register length becomes available. The software is guaranteed to be forward compatible
and take advantage of the longer vectors of new microprocessor models.

> ∙ Strong security features are a fundamental part of the hardware and software design.

> ∙ Memory management is simpler and more efficient than in traditional systems. Various tech-
niques are used for avoiding memory fragmentation. There is no memory paging and no transla-
tion lookaside buffer (TLB). Instead, there is a memory map with a limited number of sections
with variable size.

> ∙ There are no dynamic link libraries (DLLs) or shared objects. Instead, there is only one type of
function libraries that can be used for both static and dynamic linking. Only the part of the li-
brary that is actually used is loaded and linked. The library code is kept contiguous with the
main program code to improve caching and reduce memory fragmentation. Executable files can
be re-linked to replace or update library functions and plug-ins and to support multiple user in-
terface frameworks.

> ∙ A mechanism for calculating the required stack size is provided. This can prevent stack overflow
in most cases without making the stack bigger than necessary.

> ∙ A mechanism for optimal register allocation across program modules and function libraries is
provided. This makes it possible to keep most variables in registers without spilling to memory.
Vector registers can be saved in an efficient way that stores only the part of the register that is
actually used.
Not one of my favorite people at Google. We had an interesting discussion about why Google, which was "transparent" about ranking and rating kept two variables about your performance secret which made it impossible to verify whether or not your bonus was in fact what they had promised you. Very annoying.
We just bought one from Arizona (https://www.mattresses.net - no affiliation) and it's been fantastic. Sleeps really cool.
After the report on Aaron Swartz I have very low expectations, in fact I expect another MIT whitewash. I'll read it to see if that's the case.
> Maybe it's mentioned in the credits somewhere though?

There's a credit for a product placement researcher and a "thanks to Thermo Fisher for lab equipment" (plus a couple of others that don't stand out as companies you'd recognise) but there's no "Promotional Consideration from ..." section in the credits that I can see (Bluray version, 2:04:21 length)
There is a good reason why Rafael Reif only appears in public these days flanked on all sides by brutes from the MIT police department.

During the Vietnam War, Dean Epps was placed under citizen's arrest by the students of Harvard University (as he famously yelled back at them: "Unhand me, you mother-fuckers!") for that organization's complicity in what the UN has now ruled a war crime:

https://www.salon.com/2011/11/11/occupy_harvard_gets_the_old...

Got to wish protesters today the best of luck getting anywhere near that close to Rafael Reif, with the police detail that he needs to hide behind in order to protect his filthier-than-dirt, self-rationalizing ass from those who might attempt to hold him publicly accountable.
A post of the full article would be nice
The typical construct for a big company to use is they get a technical expert from a completely different part of the company that has basically no stake in the group that is evaluating the acquisition to do the technical due diligence. This is where you see all of the secret sauce. Usually they picked someone that I won't have a problem saying no to anyone actually asking them for information.

However the real protection is in the details in the amount of work that actually has to happen to copy a company. I've done technical due diligence work before and I really wouldn't be able to replicate what I saw in a 6 hour code review of 30000 lines of code any faster than I could just coat it from scratch. the most part you're doing basically the same thing you would do on a security audit of code which is looking for intellectual property theft or the overall quality of the code and things like did one person maintain the entire thing or was it actually a team effort which helps you decide who you want to acquire from the company. generally the whole point of these deep investigations is to mitigate risk for the purchasing company not to steal ip.

At the end of one of those investigations you basically say yes it's risky no it's not this is who worked on it this is who didn't this is my estimate for how long it would take to pull into our code base or move over power systems or here is a flexible I think that could basis versus how much technical debt I think there is. but really all they want out of you is is this a risk to buy this company or does it seem straightforward. Then you go back to your completely unrelated arm of the company and do your actual job.
In California there’s at least one major program which straight up gives phones to the homesless. I imagine it could also be fore low income households.
San Francisco residents can now switch to 100% wind power
> Most medical procedures are scheduled ahead of time.

Does that really matter when the procedure is non-optional?

It's not just price that matters, but also the quality of the provided healthcare, and you're forcing somebody to make a stressful decision when they're already impaired by whatever health issue makes that procedure necessary.

Basically, most health-related decisions are made under at least some level of duress, which makes all "free choice" based reasoning at least somewhat suspect.
Sigh, no definition of what a "desktop" would be. That would be a start. Does it have to have "on board audio" ? All my early desktops up through the Pentium 3 used an add in card (typically a Soundblaster) to provide audio. So why make it the "requirement" for a desktop? Graphics? All graphics were "plug in" in early desktops until transistors got so cheap you could throw one into the southbridge for "free." The list goes on.

It would a much better exercise to create a systems design document for what an AArch64 desktop should have, required, extras, and nice to have. Start there and work forward, not at a full fledged PC desktop with 30 years of evolution behind it and start there.
Yes, that works well. My bank has integrated this functionality this functionality into their mobile app, allowing one to use it to login on a computer. When large amounts are to be transferred, the bank-supplied 2FA device is still needed though (which can be annoying, but seems sensible).

This scheme also works really well with payments from your computer. Just use the bank app to scan a qr-code on checkout, verify the payment details on your phone, touch a button, and you're done.

I'd guess that a majority of the bank's clients are using this method. This is in the Netherlands, by the way.
https://en.m.wikipedia.org/wiki/Lifeline_(FCC_program)
I bought an AmazonBasics memory foam mattress about 15 months ago and have been happy with it. I think I paid about $240 for it.
Why did Epstein transfer money to Lloyd though? If Lloyd was taking advantage of Epstein's island, wouldn't one expect money to be flowing from Lloyd to Epstein?
On topic: losing weight has a positive effect for sleep apnea. This is interesting, but something I had intuited from the small sampling of those I know with sleep apnea and weight problems. There are other factors that seem causal, like smoking, that would be interesting to hear about.
Off topic: losing weight is hard to do for many people.
From the past few months I'm collecting all resources on the use of SMS as a 2FA: https://github.com/kdeldycke/awesome-iam#sms-based-authentic...

TL;DR: don't.
Open Source Hand Drawn Emoji Font and SVG Icons – Beedii
No BS. It says there that the materials "will be" shared. I guess someone has posted this on HN too soon.

PS: I am not associated with the team or the company.
Every once in a while a rock runs in front of your wheel. Also many folks ride on the sidewalk which are uneven here.
You're saying that assuming a nuke goes off and nobody knows where it came from, that logic dictates the US or anyone else will nuke the whole world. I utterly don't believe that this is a thing that is planned or arranged to happen.
The American Language – By H. L. Mencken (1919)
Perhaps, so in that case, why would you expect the world to be blown to pieces?
This was his business, for sure. He went around bidding low on emergency projects with huge bonuses for every day ahead of schedule his crew came in. I read a quote from a caltrans director that he was on the phone with Meyers before the tanker stopped burning. From what I remember he paid his people really, really well and they stayed with him for decades. RIP.

He paid his people really well and they stayed with him for decades.
Curious, what sorts of famous people do we have hanging around HN?
And the exact occasion when the source code release was announced:

https://www.twitch.tv/videos/533706108?t=05h52m06s
Bizarre that this thread contains virtually no discussion of the technical merits of the end product (performance and size) - just the coding style.
We have the ability to do things quickly, but our government made it illegal unless there's an emergency.

Transit improvements to Geary won't come until the businesses in the Geary Boulevard Merchants Ass'n relent, that's not a government issue (unless you consider Bitchin' Baklava and Wayne Lee, DDS & Associates, etc, etc to be government).
> I will note that this is actually the source code of the C++ rewrite!

"The repo contains two versions – the desktop version, ported to C++ by Simon Roth in 2011, and later updated and maintained by Ethan Lee – and the mobile version, written in Actionscript for Adobe AIR, based on the original v1.0 flash version of the game."
He might be comparing door-to-door, which is what you really should be doing if you want an apples-to-apples comparison.

Maybe. But then it seems you're ignoring:

It's a short walk to a local Caltrain station for me and I can take it almost directly to my official desk in San Francisco
Show HN: VideoTomb, Steganography for Online Video
Obama phone
So now I have a vision of Maurice Moss from the IT Crowd running out in a downfall of drones singing
"It's raining drones, hallelujah, it's raining drones"
and scavenging up spare electronics.

I suppose I will now have this thing in my head, never to be actualized, recurring frequently.
For example:

https://wiki.amigaos.net/wiki/Intuition_Screens

Also it is just a decent desktop OS. One of the problems with Linux (and OpenBSD / FreeBSD etc) is that the OS really isn't a desktop Operating System. It is a Unix operating system with a desktop.
I find this parallel interesting. I definitely have "fanboys" (I cringe at the term, but it's what pg uses, so I'll be consistent) who drive me crazy with their complete lack of critical thinking about my work -- I can see obvious flaws in many things I do, but they apparently can't -- but I can't think of anyone whom I would describe as hating me. Plenty of people ignore me, of course -- but that's quite different from actively denegrating my work or attacking me at every opportunity.

I can see three possibilities here:

1. I've just been lucky so far.

2. I have haters but I've simply not noticed them.

3. There's a range in the spectrum of "fame" where people attract fanboys but not haters -- particularly when people are famous within narrow niches -- and I'm in that range.

I'm leaning towards the third possibility, but I'm curious what other readers think here.

EDIT: pg points out on Twitter that haters are rarer than fanboys, so it may be a combination of 1 & 3: I've been lucky, but most "minor celebrities" are lucky.
It doesn't have to get better to not be dementia.

I agree that if there is a sudden increase, you should first ask yourself about recent lifestyle changes (sleep, alcohol/drugs, medicines, recent general anesthesia) and ask a doctor if you're still concerned.

But although a sudden increase can be a symptom of something else--especially in combination with other symptoms--a gradual increase beginning in mid-life is a symptom of the "terminal illness" of ordinary aging.
>But IDK why requests3 wasn't transferred as well, and

That's thing... Who knows..
My brother goes to one in Utah where they're actually very careful to stay away from any religious aspects. They understand that not everyone in Utah is LDS and they're very careful to make it so everyone feels included and isn't turned off by any religious undertones. I went with him to support him for his very first meeting and it was surprising how strict this rule was.
Your driving cost, according to AAA, is far likely closer to $25 - $40, one-way, when you count full cost of ownership (lower for higher mileage, and at 100 miles round-trip daily you're likely hitting about 20k miles/year). See:

https://exchange.aaa.com/automotive/driving-costs/

This doesn't count parking costs, which in SF tend about $25 - $50/day, somewhat lower with monthly parking if you can find it.

That doesn't win back the additional hour you're spending on and to CalTrain, but does make the transit option considerably less expensive.
Every measurable escapism mechanism possible in USA is off the charts. People continue to blame them instead of solving the real issue - death of the middle class.
Designing Data Intensive Applications by Martin Kleppman
OyoMFG – No Mercy / No Malice
Sure, having dealt with this formally in 1981 with machine proofs.[1]

In the Pascal-F verifier, we treated array cells as if they had a "defined()" predicate. Clearly, if you have a flag indicating whether an array cell was defined, you could handle partially initialized arrays.

Then you prove that such a flag is unnecessary.

We had a predicate

DEFINED(a,i,j)

which means the entries of the array a from i to j are initialized.
Theorems about DEFINED are:

j<i => DEFINED(a,i,j) // empty case is defined

DEFINED(a,i,j) AND DEFINED(a,j+1,k) => DEFINED(a,i,k) // extension

DEFINED(a[i]) => DEFINED(a,i,i) // single element defined

DEFINED(a,i,j) AND k >= i AND k <= j => DEFINED(a[k]) // elt is defined

Given this, you can do inductive proofs of definedness as you use more slots in an array that started out un-initialized.

To do proofs like this, you have to be able to express how much of the array is defined from variables in the program. Then you have to prove that for each change, the "defined" property is preserved. Not that hard when you're just growing an array. You can construct data structures where this is hard, such as some kinds of hash tables, but if you can't prove them safe, they probably have a bug.

This was new 40 years ago, but many others have been down this road since. Rice's theorem isn't a problem. That just says that you can construct some undecidable programs, not that all programs are undecidable. If your program is undecidable or the computation required to decide it is enormous, it's broken. Microsoft puts a time limit on their static driver verifier - if they can't prove safety after some number of minutes, your driver needs revision. Really, if you're writing kernel code and you're anywhere near undecidability, you're doing it wrong.

[1] http://www.animats.com/papers/verifier/verifiermanual.pdf
https://news.ycombinator.com/item?id=22015231
> Haters are generally losers in a very specific sense: although they are occasionally talented, they have never achieved much.

So if people become haters because they never achieved much, why do people become fanboys?
Thank you for pointing that out, that's a great point. I will try to find a way to clarify what they are saving. I do plan to do a fair amount of content marketing explaining that further including alternatives, etc. It could be interesting to create a page for this on the site as well.

Regarding the current offering, unfortunately, we did not have much leverage when approaching the companies this time around. I do hope we will be able to increase the value of the bundle over time while remaining affordable.

Thank you again for your feedback, it is much appreciated!
Caltrain to Mission Bay isn't so bad, but Caltrain to downtown is tedious. It's about a mile walk to Market and around 30 minutes on Muni. Even after spending billions of dollars on the Central Subway the MTA gave cars signal priority along King street causing chronic delays along the N/K.
Why don't more people use Terraform? I think Terraform is amazing. I wanted to make containerpen.io for docker-compose + dockerfiles + terraform files to compete with codepen.io
It was a large vehicle launched missile. That ordinance is individually tracked and multiple soldiers would know about any firing.
Kustomize already won this battle, it's now built into kubectl (-k flag instead of -f). Kustomize is a joy to use, as compared to helm makes me want to smash things.
Hmm ... Where did you get these multiples from? Based on what I've seen in many sources (here's one that I have at hand, by McKinsey: https://www.mckinsey.com/business-functions/strategy-and-cor...), high-growth tech/IT startups are valued (and, I assume, could be acquired) at > 15x, sometimes even > 20x.
History of Conflict with Iran
Bitwarden does a decent job of storing and syncing TOTP codes. Make sure you always use a long password with Bitwarden though, to avoid a known and unpatched issue with their password-based key derivation.
The result of that strategy is irrelevant because it's obviously impossible. Sane people wouldn't destroy the world and insane people can't be relied on to do anything with certainty.

Any analysis of a game that relies on impossible moves is meaningless.
The Journal of the American Medical association found in 2004 that alcohol was the third leading cause of death in the United States behind tobacco and diet/inactivity.

Mokdad, A.H.; Marks, J.S.; Stroup, D.F.; and Gerberding, J.L. Actual causes of death in the United States 2000. [Published erratum in: JAMA 293(3):293–294, 298] JAMA: Journal of the American Medical Association 291(10):1238–1245, 2004. PMID: 15010446
That's super cool, but doesn't change the whole problem of exploiting planetary resources for personal gain
Judging from the people who have self-identified to me as fanboys: They often aspire to follow an example. So the difference between the groups may be less how much they have achieved and how much they hope to achieve -- a question of optimism as much as anything else.
Paul Graham on War Powers
not here to people please, just being authentic.
So HN is an infomarketing vehicle now?

Interested in life in Ancient Rome? Buy this PDF for $40!
The developer tool you can't live without
The common ground is that these people are way too interested in what other people are doing. As if life is what other people are doing instead of what one is doing oneself. Life is for participation not spectation.
Dnote – personal knowledge base for programmers
Depends on your definition of famous, but Patrick Collison of Stripe is here every now and then. Antirez of Redis, too.