skysight-inc/HackerNews huggingface dataset:
Yes, feeling similar. I was dreaming of so many things, but with time I learn how much harder they are to implement than they seem. Computers can do so many things potentially, yet they are so much harder to actually achieve for various technical and political reasons. I wish I had infinite amount of free time to pursue all them.

New gadgets barely make me excited as they used to -- if anything I usually anticipate how I'll have to spend time finding my ways around vendor locks and making them interoperable. Perhaps the only thing that still excites me these days is reading Pinephone news -- really hope it takes off and liberates mobile computing.
2020 Yule Log – A Holiday Split Flap Livestream
Schools were still open, and building sites - which made a very significant difference to movement and traffic.

However, if you look at the graphs the dynamic of virus growth did seem to be significantly changed by the intervention.
Is there a list of suppliers that have a good track record alongside the rates their clients paid or really what the workers get?

Without that are we sure it is just the recipient cutting corners
$125 for my zoji that I've used at least 4 times a week for the last decade is significant value that you just don't see out of most appliances anymore. I'm more impressed by the reliability than the cooking tech (though it makes wonderful rice of course).
The shareholders would never let them leave money on the table.
Agree, it seems that the business model change of going from DVD by mail to streaming are much more profound, than what is usually discussed. With everyone going into streaming, it looks like at least in short-term perspective we are moving to a cable network of streaming channels, with 4-5 networks being owned by a single household that wants to see all that's good out there.
I don’t know what to say apart from this is cynical.

If people are going to buy consumer goods anyone trying to make it a bit better should be celebrated.
You have a distorted picture. I moved to the bay area in 85, stayed 20 years, then left. If you moved there and were already well established, sure, real estate would have been more affordable then than now. But as a young engineer, things were still pretty expensive.

My starting salary as a BSEE working for a minicomputer company was $30,000. Two weeks after arriving they had layoffs. They were nice to the new hires and said we'll keep you on for a bit, but you should start looking for new jobs, plus there is a 10% pay cut, so $27K/year ($65.3K in 2020 dollars).

My shared apartment was off Maude and Mathilda was nothing special. It was 700 sq ft and was $750/month, which works out to $1800/month in 2020 dollars. Palo Alto, Los Altos Hills, and Atherton were all expensive addresses, even then.
"The UDP of databases"

mic drops
> Facebook is scared, and they should be.

On the one hand, yes.

On the other hand, I don't think it's a healthy situation if companies need to own the entire hardware platform to be safe from another company's whims.
Thanks - the key difference is that our product is focused on all registered companies in the UK. Also our financial numbers come from submissions that companies have made to the UK government, so are likely to be pretty accurate.

No immediate plans to monetise, however given one of the other comments on this post, we may actually do that in the future.

Given the current state of the product, do you feel it's something that people would pay money for?
You can transitive that to shareholders because Wistron itself is a public company (TWSE: 3231).

So Shareholders -> Wistron -> underpaid labor.
My only Apple USB-C device beside my new iPhone 12 Pro Max is my MacBook Pro, so at least now I’m forced to get quick charge times with the 87W brick that looks absolutely ridiculous charging my phone.
I do keep the crontab under revision control.
I can't relate to this at all. I have a Canon EOS 450D (Rebel XSi, 2008 model year) with a few lenses that I used to love, but haven't really used for years now. Its low light performance sucks, it's almost impossible to photograph people at night. My phone does a much better job of that. Yes, the DSLR's optics run circles around any phone, but the sensor really does show its age. And since you specifically mention the autofocus, I just want to add that I find it infuriating. It's awful compared to my phone! It reliably focuses on the wrong thing and is really rather slow. At night, it barely works.

To me, the old DSLR is simply not worth the weight of lugging it around any more. It's funny how we have such different perceptions of our old DSLRs.
Strongly disagree - the D850 is probably the best all-around DSLR ever made, certainly for landscape shooters.
Maybe AGPLing these apps will make them a Netscape? I.e., their product lives on despite the company's failure?
Climate Change Legislation Included in Coronavirus Relief Deal
The optimizations get you the following:

* Normalization: this is where "smart constructors" come in handy; having a normal form for the terms allows the caching to work better. This also impacts the compactness of the generated DFA.
* Hash-consing: this turns structural equality (in this case) to a simple pointer equality; applied recursively, this makes it much faster to compare two terms for equality, and overall speeds up the DFA generation by a non-trivial amount (I forget the exact numbers, but it was significant).
* Dense set implementation: The AVL tree-based data structure in the facio/Reggie code is an implementation of the Discrete Interval Encoding Tree (DIET) data structure from "Diets for fat sets" and "More on Balanced Diets" papers.

Note the optimizations I've mentioned here impact the performance of generating the DFA. Once you have the DFA, it'll run at the same speed as one generated in any other way. Part of the motiviation for my writing this library was to learn about regex/DFAs/grammars, but also to try to improve on the performance of fslex/fsyacc at the time. Using this library, the FSharpLex tool can generate the DFA for the full F# language grammar in well under 1 sec; the code generation takes a bit longer, largely due to having to convert the DFA into a different form for backwards-compatibility with fslex.

Overall, I feel like the derivatives technique is generally better and simpler, and I'm not aware of any real downsides. The only one that comes to mind is if you're wanting to implement things like backreferences and capture groups -- those obviously make the implementation (of the DFA) more complicated, and there's a lot less literature on it (last I saw, maybe only one or two papers on implementing those features on top of a derivatives-based regex engine).
I also think it sucks at its current form, but I am surprised that this is supposed to be the best Silicon Valley can offer.
> my rule is "if you're going to even think about threads, just use Java or go" since concurrency is so nice there.

I could see reasons for preferring Java over Ruby but concurrency isn't one of them considering that Concurrent-Ruby running on JRuby gives you access to all of Java's concurrency tooling.[1]

1. https://github.com/ruby-concurrency/concurrent-ruby
I almost stopped commenting about it on HN, it feels like a wall of downvotes if you don't agree with the mainstream opinion.
The only chance of changing it was that our new emerging industries were supposed to be more equitable. Unfortunately not much of that happened, and the tech boss is the same as the finance boss, meet the new boss, same as the old one.

I’m sorry gig workers, contractors, Amazon warehouse workers, startup workers, but there’s not much to see here. We’ll try to be better later if we get lucky enough to get a whole new industry again.
People are very short term focused on things like; not losing their houses, not losing their businesses, maintaining their families, maintaining their mental health, looking after children.

I don't know your situation, but I have lived a very isolated existance for the last 9 months because I am able to. MANY people I know are not in this position.
A simple mathematical guide to classification Trees using sklearn-Decision Trees
5 posts about various lisps have reached the top today. If lisp is so awesome and people end up building lisps on top of Rust and everything else, why do we need non-lisp languages like Rust itself anyway?
Isn't this the same argument people were making about those huge mainframes 50 or so years ago? If there's one thing we can all agree on is that we don't really know the implications of a new technology in the long run.
dietary cholesterol... sure

But saturated fat is legitimately bad for you. You should consult any introductory university biology course rather than blog posts (even if they are endorsed by decorated MDs or PhDs - science in consensus based).
I wouldn't consider myself a React expert because I basically stopped using it or recommending it once Vue came out, but stuff like:

- Needing shouldComponentUpdate to do anything nontrivial (it's a bad sign for what should be a library if people make "X demystified"[0] posts).

- The sheer amount of times React has been basically rewritten, with

- Hooks (to be fair Vue has this too, and it's not actually a bad feature, but as usual React introduced it in a near inscrutable way).

- Every react codebase cargo-culting into Flux (normally through redux) when all you really need most of the time is a simple AJAX call.

React had the initial idea, but it just feels like the stuff that came after (Vue in particular) delivered better on the simplicity we all wanted. There are so many little gotchas all over the place that people just paper over/memorize, when Vue 2/3 basically works as advertised right out of the box, need(ed?) less hacks, and you can get reasonably productive and performant in <1 day after reading all the docs.

Also I want to point out that "react" is almost always react + redux + react-router + webpack at the end of the day. The combined complexity is not worth it when compared to Vue in my opinion. These days if I want to use something, I do vue + vue-router + parcel and call it a day, and get productive much quicker though the ecosystem isn't quite as big. For uber-simplicity I like mithril[2][3] though -- but it falls down when you start looking at advanced features like SSR/rehydration.

React has the best third party support/ecosystem because of the amount of hype and OSS friendly companies that are using and benefiting from React. It also is the best corporate choice -- react developers are more fungible, you will benefit from more of the free work done by the F/OSS crowd, etc.

[0]: https://www.freecodecamp.org/news/react-shouldcomponentupdat...

[1]: https://backbonejs.org/#View

[2]: https://github.com/MithrilJS/mithril.js/

[3]: https://github.com/MithrilJS/mithril.js/issues/1838
Puffery
> True, but if cases like this happens, then there should be an investigation.

Did somebody ask to the FSFE?

I didn't so I can't honestly take sides on this.

But as a long time donor and former member of the chaos computer club (when I lived in Berlin) I will write to them to ask for more information.

> You are using a newly created (6 days old) account anyways.

I use anonymity to protect myself from retaliation, it happened in the past, it's been bad, but I've learned my lessons.

Anyway it shouldn't be too hard to check if some actual or former Google employee was in the FSF (against Stallman) and my claims are true or a lie.
That was certainly my experience. What I learned about racism up through high school was basically, "This stuff happened, but long ago and far away, unconnected to what's going on around you."

And it's no coincidence that I learned this in a suburban school with a student body that was 1% black. In a state that was 14% black. And that had a long history of racial exclusion and white flight.

I'm shocked now at how one-sided my initial education was on this. Shocked, but not surprised.
The massive profit margin of the iPhone makes situations like this sad. What is also sad is the misery that these people experience even assuming Apple didn’t exist in the world.

No one argues that capitalism hasn’t been amazingly effective at bringing people out of abject poverty. The next jump in quality of life is less clear...
And I've already got a nice customized bashrc file. Maybe some of that comes out of the box with zsh (who admittedly I've only sort of tried), but not sure its worth the effort to change.
aka "El burro hablando de orejas" (The donkey talking about ears)
No, not for the foreseeable future. Global climate change os a considerable threat, but won't wipe humanity out.

In case of most animal and bird species, however, they are a metaphorical iceberg away from serious existential threat.
An old-timey sysadmin I met referred to superuser as "stupiduser".
Ruby might have some qualities but overall it's less polished than python

Just as a small example, Edit: .methods, "the Ruby equivalent of 'dir'" doesn't present the results as a sorted list

Also the optionality of parentheses sounds like a good idea but it actually makes things more confusing and less parseable
Does this loose more microplastic than other boats?
> But the production version is still GPL and so anyone can get the production version for free any time they want.

That's not correct. Anyone who is already a user can. If you restrict distribution of the binaries, you also restrict the amount of people who can get the sources. You cannot impose NDAs or the likes, but you can introduce some restrictions on their overall privileges going forward (i.e. you republish sources? No more patches or support for you - which is basically what RH does with their paying customers).

RH could stop publishing sources entirely, if they really wanted to, and just provide them to paying customers on request. They don't do that because it's a nuclear option that would effectively push them out of the Linux ecosystem they've invested so much into dominating (RH is effectively the one company who can steer massive amounts of the Linux ecosystem on its own - as shown by systemd et al).
Could you share what you learned in order to make that trading algorithm?
I might be missing the point still. When did workers create the wealth, exactly? If you're talking about Apple's first five employees, sure, they could have bought in for not very much money in 1980 or whatever (they probably were part-owners and/or paid in equity!). But there weren't any profits in 1980, either, nor for a long time. And most employees have probably moved on in that 40-year window.

Someone joining Apple today did not create any of that wealth.

Not sure why a random hire today "rightfully" deserves some huge transfer of wealth from the "capitalist owners" (read: owners) on their start date. Can you elaborate on that step?
I pay for linked in

That’s social media except only founders and ceos post because disagreement doesn't affect their ability to exchange time for food and shelter, unlike all the employees and candidates

Some people would pay for Facebook

But Facebook’s cash cow is every small business or even idea will pay to target ads. Any corporate-led disruption to how many people that would target will be a massive deterrent to use Facebook’s platforms.
Thanks! If there is an utility to this post other than just as an exercise in using Z3Py, it isn't just getting TLA+ into Z3 which as you say is already covered by the apalache project.

I think that as someone who doesn't really know TLA+, but is very familiar with python, it feels very comforting to being using python instead of something totally foreign. Also since it is such a small translation (really the 10 lines always combinator is the core of it), if you want/need access to the logical guts of the checker, it's easy. Or if you wanted to autogenerate a spec in some manner, being embedded in python is a huge boon.
Depends on if you knew about it or not IMO. Or if you knew the deal was too good to be true.
No. You’re wrong https://en.wikipedia.org/wiki/Indigenous_peoples_of_Californ...

“Prior to contact with Europeans, the California region contained the highest Native American population density north of what is now Mexico.“

Native Americans settled in California 19,000 years ago or earlier, at least 18,500 years before the arrival of the conquistadors.

Given your own ignorance of history, I really doubt you’re even old enough to remember Silicon Valley when it was just a bunch of orchards.

If you really want to live in a place similar to California before Silicon Valley, there are plenty of states within the US that can offer that experience right now. You don’t need patience, you just need courage to experience it; that is of course if you were pining for less development and population density. Reading what you’ve previously written again, if what you really wanted was ethnic purity (which I misread as wanting to live in less developed areas) then I have other words for you. That type of post is not welcome on HN
I've received these coupons in the mail for no apparent reason for more years than I can remember. I assumed everyone got them.
Fundamentally, I disagree. The person you are conversing with is applying a sort of Bayesian prior to the reasoning about quantum computers. I think this is actually a very wise thing to do.
This is kind of what fair trade certification tries to address.

The issue is that a company like Apple will require in the contract certain things like wage minimum or environmental requirements, but the winning bid will be below the amount required to actually fulfill those requirements.

It’s not even that the manufacturer set out to ignore Apple’s requirements, but what happens is that these bids have zero margin of error built in. So once something unexpected happens(lower order volume, initial inaccurate estimation, tax or regulatory changes, etc) these companies are faced with a choice. If they cannot renegotiate the contract they are forced to either reduce salaries, cut environmental and quality corners, or run at a loss and go out of business.

The very nature of this type of third party bidding for a few large and powerful customers is that you are almost guaranteed a high percentage of labor and environmental violations because the companies will eventually be forced to chose between that and insolvency.
That's Russia. So messed up on so many levels. And 70% of the population won't believe it, so it's a moot point.
Open-sourcing Cloud-access management
Hospitals Retreat from Early Covid Treatment and Return to Basics
These 2 situations are about as comparable as driving to the supermarket and landing on the moon.

Please get a clue.
I don't buy this explanation. Very few employees are paid in any financially complex way. Wages dropping overall must have a different explanation, which I suspect is an increase in labor supply due to women entering the labor force and illegal immigration combined with a decrease in demand due to automation.
In English, is suggest unimproved or updegraded.
I fear for Nikon, even though I suspect they have lifelines, given Bank of Japan’s quantitative easing. They’re the least diversified of the big camera companies.

Sony has…a lot, from semiconductors to financial instruments. Canon has high-end video, scanners, and enterprise printing and copying. Nikon has photography-oriented cameras, some medical optics, and semiconductor equipment, and that’s about it. They’re just not the sprawling conglomerate that can absorb losses as easily as Sony.

Sigh. I’m a camera nerd, and I hate to see the market shrink further. I know it’s going to—cell phone cameras accomplish the actual job to be done that most people have, which is snapshots of kids and cats. And, interchangeable lens cameras are getting to the point they’re over-serving the high-end market with ever-fancier lenses and marginal sensor improvements, with no real workflow improvements.
PalmOS was pretty secure in that regard IIRC.
Title should be changed to "44 meters long" or maybe "~40 meters long". It's not even slightly close to a mile long. :/
Those are all fair points. I was just speaking about incentives for a new iOS developer today. They might see the option to disable IDFA in addition to Apple's lowering of it's commission as a nudge towards creating a paid app over an ad-supported app in terms of choosing a business model.

I'm sure ad-supported apps are still going to exist, but the pros are a bit muddier now. The perceived devaluation of ads caused by removing IDFA, compounded by the lower Apple tax, are probably going to decrease the number of free apps in the App Store.
I think you’re about 2 or 3 years too late with this comment. The switch to mirrorless is already here, Nikon and Canon have the majority of their core lens lineups out already for these platforms so it’s unlikely they’d replace them again for the next decade or longer.

And yes, they are mostly better than previous generations across the board. Which is pretty cool, that something based on such a simple idea that’s been around hundreds of years still has room for major improvements.
>Morals are how one ought to behave, and how one ought to behave can intersect with cultural and personal values, but is not determined by cultural and personal values.

There are plenty of people who believe this, that their morals are absolute, and you can refer to the Spanish Inquisition to see exactly how "evil" that kind of thinking can get. Moral relativists are saints compared to what the Catholics have done in the name of "morality".

All religious fanatics agree that morals are absolute, they just don't agree on what those morals are.

Also, and I'm sure you'll disagree, but how you quantify and qualify "merits" is based upon personal/cultural values. If you don't realize this you'll just argue endlessly with people over whose perspective is correct, not realizing you're both just viewing things through your own biases.

To me, "good morals" are trying to understand and empathize with other people, while allowing them their own unique perspective.
Just to put your mind at ease, I've lived on 4 continents, so I'm reasonably aware of how things can work elsewhere. And I also agree that America, imperfect as it is, is amazing.

That is no reason at all to erase the deep endemic racism or the harm it causes daily to people. "You would be even more fucked in Japan" does not make anything better.
Makes sense. WebRTC seems to address a lot of the security concerns [1], and with it being a web-application served remotely, not much need for e2e. Though, if you were to host the application locally, and manage the updates yourself you may want to have some form of e2e.

[1] https://webrtc-security.github.io/
I tried Ruby over 10 years ago and while I really enjoyed the language itself (vastly more than, say, Python for instance) I was completely put off by the insanely poor performance of the interpreter. I remember trying to get it to run on a rather slow FreeBSD box back then and just loading a simple script with a few dependencies would take literally seconds! Perl and Python were easily an order of magnitude faster.

Have things improved on that side?
Mega-corps need to do a lot more due diligence hiring out work versus Joe Shmoe hiring a plumber. Great power, great responsibility, etc.
A new one I have seen recently:
"BB&B has fixed the worst thing about coupons"
> If lisp is so awesome and people end up building lisps on top of Rust and everything else, why do we need non-lisp languages like Rust itself anyway?

Building Lisps on top of anything is extremely rare, especially in commercial environments.
FWIW the article does acknowledge this impact