skysight-inc/HackerNews huggingface dataset:
I’ve only just got into FPGAs thanks to the Mister project, thankfully the people in charge of that project made a good choice for me. What they’ve achieved with the DE-10 nano to me is some sort of tech voodoo and I’m not easily impressed these days. £100 for the board and £30 for an SDRAM chip and I’m in retro gaming nirvana everyday. I’ve got a pocket sized, low power device that nearly boots instantly, pretty much perfectly plays every old machine from the the Spectrum up to the NeoGeo and GBA. RGB and VGA output, works with my Arcade stick, DS4, SNES/NES classic controllers, etc. Anyone with any interest in retro gaming who hasn’t yet dipped their toe in the water I urge you to give it a go. It’s probably the most exciting and vibrant open source community I’ve immersed myself in for many years.
> Recycling has been sold from the very beginning as being the option of last resort.

Maybe in the most literal reading of that slogan, but a claim like this could really use some substantiation.
Parent wasn't slightly wrong, you just tunneled in on the signature of the operator function, when the reason why parent comment brought it up was to illustrate that the operator function is not necessarily associative, and that the function signature was meant to suggest the difference in associativity.

You're wrong about the operations possibly not being commutative; as you pointed out, whether the parameter list is (A, B) or (B, A) doesn't really matter, so it doesn't pose a problem.

An example is the subtraction operator: with just two elements, I can change `(a, b) => b - a` to `(b, a) => b - a` with with no difference in result. But there is no way I can write a subtraction function for foldLeft that gives the same results as a foldRight on subtraction in general. That is, I can write op such that a op b = b - a, but not that (a op b) op c = (c - b) - a. Nevertheless, I can still write op such that a op (b op c) = (c - b) - a due to some dual notion of commutativity.
That's project management not people management. Very different and not a senior role.
fyi the author is female - https://css-irl.info/about/.
If you're unlucky enough to have ADHD, literally everything except the task you have arbitrary hyper-focus on is an ugh field. Daily chores and maintenance like paying bills are ugh.

Life is one big maze of ugh, and it's designed by people that don't get us. It feels inescapable and arbitrary. The only exit seems to be financial independence.

I often really hate how we're expected to work in this framework.

My hyperfocus is a super-power (https://vo.codes, https://www.youtube.com/watch?v=x034jVB1avs&t=15s, and a bunch of other awesome but non-monetizable projects). Too bad I can't get paid for it.
User choice works the other direction as well: that consumers can choose to knowingly purchase a device that is locked down, for reasons of safety, trust, experience, etc.

I happen to broadly favor anti-trust intervention against Apple in this instance; but it's not as though Apple ever deceived users about what their devices can and can't do. They sell appliances, not "computers". Freedom (arguably) includes the freedom to take one's own freedoms away, at least up to a point.
High Technology Innovation: Free Markets or Government Subsidies?
> I was referring to nullability support, which is similar to Option/Maybe, except that it's enforced by the compiler.

Option/Maybe is enforced by the compiler on most languages that have it. Nullability as part of type signatures differs not because it is compiler-enforced, but because it is not nestable; it provides no equivalent of Maybe[Maybe[T]].

> This is pretty unique to Kotlin at the moment.

C# 8, Python’s typing module, Java 8 via the Nullness Checker, Sorbet for Ruby, and lots of other statically-typed languages or static-analysis packages for languages (even dynamically-typed languages) provide nullability enforcement. It's definitely not unique to Kotlin.
Sad that Alexander has had to leave his job because some petulant reporter thought he was a sufficiently public figure for a takedown, but good for him and Substack for making sure he landed on his feet. A personal hit job by one of the most powerful institutions on the planet (or rather, their mouthpiece) is no small life event.
Because “recycling” is easy if you just ship it to China and then they dump it in the ocean. Reducing and reusing take real effort and change in behavior.

If people had to recycle for real it would be more challenging and then reduce and reuse would be considered more often.
These days it might be possible to "cancel" someone for something that they didn't even say/do, although I'd hope that the victim could bounce back once the mob moved on. Of course, you could also get killed crossing the street.
Literally the backbone of Epic's case is the terms that Epic are breaking are illegal and so can not be enforced.

The case would have been dismissed as having no merit if this was not at least in question.

The US and EU are looking into Apple as breaching anti trust rules and you are honestly saying that for you these aren't even close:

Employee ignores contract terms they know to be illegal, gets punished for it because boss doesn't think it's illegal, employee takes boss to court.

and

Epic ignores contract terms they know to be illegal, gets punished for it because Apple doesn't think it's illegal, Epic takes Apple to court.

?
You got downvoted by CCP
He’s not controversial if you believe in reality. A good example of something that may get him attacked is his anti-creationist post, https://slatestarcodex.com/2020/05/28/creationism-unchalleng... .

Any time you criticize the crazies you get attacked.
And this can be used to defeat certificate pinning?
> Leading bytes of Z that contain all zero bits are stripped before it is used as the pre_master_secret.

what would possess someone to introduce a padding oracle/side-channel into something that didnt even need it??
There is a grassroots effort to recycle plastic into new things. The plans for creating the machinery are all open-source: https://preciousplastic.com/solutions/machines/overview.html
I don't think I understand the point you're making. I just tested it, and empirically your assertion is incorrect:

// this makes a linked list ten million and one elements long, from zero to ten million

val longList = (0 to 10000000).toList

// this adds the elements

longList.foldRight(0)({ case (l, r) => l + r})

This does not stack overflow.

You write:

>> a plain fold has the exact same inputs and outputs as foldLeft or foldRight

but if you use fold over a collection of type T with the fold function in Scala, the result must be of type T. Fold left and fold right don't have this constraint. Further, this fold is only coherent if the operation is commutative, because it doesn't happen in any particular order. You can add integers in any order to make the same sum, but you can't add pages of a PDF in any order to make a PDF.

Framed via recursion schemes, I'm pretty sure foldLeft can be viewed as a catamorphism where foldRight is an anamorphism. You're consuming the tree from different directions. They may have the same domain and codomain (I'm a little hazy on that) but they're not apparently the same function. y = 2x and y = 3x both have the same domain and codomain, right? But the difference between them isn't aesthetic.
Sure, but it's a ton of work either way and probably outside the scope of what this project wants to tackle
What causes earth's orbit to deviate so much? Is there any evidence this happens to other planets?
Engineer Handler job title wouldn't fly in the #metoo era
What is today but yesterday's tomorrow?

- Mr. Krabs from Spongebob Squarepants
Yes but one can be a modern musician without playing any instrument at all, the software can guide you on the right tracks and the need to actually “play” as in connecting oneself to any instrument can be bypassed alltogether. And that is a double edged sword as the effort to sit down and learn an instrument becomes an extremely hard task as compared to the handholding the computer can do for you. It’s almost like the diference between deep reading and reading small bits of information on the internet.
Of malice vs stupidity, I'm pretty certain it's stupidity. Or more precisely, self-delusion.

The story of Millikan's oil drop experiment replications and also James Randi's (and CSICOP's) battle with pseudo-scientists convince me of this.
I’ve heard amazon interview experiences are all over the map, just like their teams are. Some are really good, some are really bad at it.

Google and Facebook seem to be a bit more of a consistent experience, but interviews are done generically and not by the team that would hire you.
> But it was all just shipped to China and then dumped into the oceans.

I've heard this a lot of times, but I've never seen any source that claimed the recycled material sent to China gets dumped in the ocean. As I recall, they had paid a small amount of money for it, so it doesn't make sense why they would just throw it away.

I agree that landfills are underrated. It's much more effective to build landfills in poor countries than it is to try to sweep up plastic in the ocean, which may also hurt the environment.
> I think the Nix in particular supports really good integration so the whole BSD "we're tighter-knit than a distro, don't call us that" argument shouldn't justify the duplicated effort.

That's an inaccurate representation: The difference is that BSD evolves the whole system in lockstep, userspace and kernel at the same time. When userspace wants new capabilities like pledge(2), then the kernel is updated to expose it. When the kernel adds new features like routing domains, then userspace is updated to use it.

There's no coordination across a bunch of different projects: The same commit just changes things, across all the bits at once.

Nix doesn't offer that.
I haven't read anything from the project on the actual status of it. Just following news reports.

https://www.theregister.com/2019/11/29/after_four_years_rust...

https://linux.slashdot.org/story/19/11/30/2011231/rust-based...

https://doc.redox-os.org/book/ch01-06-how-redox-compares.htm... says they support the 31 most common syscalls (however that's defined).
So they block Safari right, because I can definitely see sexual content in Safari.
Arguably, a careless library developer can break your code in infinite different ways than changing the exception type, even in Java.

I'll get one in a million chance of careless library developer randomly changing exception types over writing `throws` and `try/catch` statements a million times even when I don't need to handle any exceptions at all.
Please don't break the site guidelines by calling names like this.

https://news.ycombinator.com/newsguidelines.html
Most of those people are independent entrepreneurs or senior ICs, not managers.
It’ll probably get me to sign up for a Substack account and enter my cc details, at which point they can work out how to get me to pay for more shit. If they’re smart, there have to be some other “loss leader” authors who they can basically salary at $200,000 a year and it’s worth it
Please don't break the site guidelines like this regardless of how badly you were provoked.

https://news.ycombinator.com/newsguidelines.html
Is that so bad? I mean, it was oil in the ground and now it is plastic in the ground. It seems like a kind of carbon sequestration, where 10,000 years is a feature, no?

Honestly curious.
I think this quote from her sums up the problem:

"I had no concept of money."

Followed by this exchange:

"So how much do you pay a month all together for loans?"

"Just under $1,000"

Which is probably where the 120k number came from. Ten years times 1k per month. But that is for plural loans, and we are never told the total balance of the plural loans, which is why the numbers do not add up.
I just realized you would just be sniffing the data unencrypted rather than setting up any proxy or root cert, so this question doesn't make sense.
If people want to advocate that overpopulation isn't a problem, they should live in dhaka or other densely packed poor areas. Anyone living in developed countries have no idea how it is to live there.

US population density = under 100 per mile^2

SF population density = 18k per mile^2

Major cities in Bangladesh, India, Phillipines have well over 50k/ml^2

Those countries also have nation wide population density of over 500/ml^2 at least.

Most people there can't buy an electric vehicle any time soon. They don't have tall buildings or functional transportation. They don't have enough jobs. The pollution levels are worse. Their countries have more corruption and less rights for everyone. They don't have enough drinking water or land for agriculture geographically.

Overpopulation makes solving all the problems harder.
This is literally racketeering. Apple uses their market influence to create a completely unnecessary 'store' for their apps to demand a % of your business.

This needs to end...
I would like someone with the funds to do so to simply become his patron, and give him a salary to do what the hell he likes, ala medieval Europe. He’s got to have enough very wealthy fans that this is realistic?
Knowing the multiplication table is such steaming nonsense. I know 7x10 is 70 so half of that, 7x5 is 35. I can add seven to 35 fast enough that I don't have to memorize 7x6 is 42.

Memorizing is not knowing.
Yes. They are paying for the material as well as the shipping costs of the material.

China is a major source of ocean plastic, but I doubt it is because of widespread dumping of imported plastic into the ocean.
> These days it might be possible to "cancel" someone for something that they didn't even say/do

It always has been. And, often the “cancelling” has been total and irreversible, not, as it often is with the “cancel culture” of recent complaints, just a reduction in current popularity with a particular segment of society (frequently accompanied by profitable celebrity status with an opposing and at least roughly equivalent power social group.)

In fact, those complaining about modern “cancel culture” often make hyperbolic analogies to these historical, more total cancellings, such as lynchings.
- primitive types
+ not having value types

FTFY
The reason why developers want to make apps for iOS is because there's a large market. That market exists because Apple has done a great job prioritizing the protection of their customers' privacy and payment information.

If third party App Stores are ever forced onto iOS devices, that market vanishes completely. Crashes, slowdowns, battery drain, malware, and information theft will become the norm. Go no further than your gaming PC to witness the nightmare that is multiple app stores all competing for CPU and control/surveillance of your system, all needing to bring their own flavors of information-harvesting/exposing DRM.

This new round of digital YIMBYism is profoundly anti-consumer and stands to destroy the trust that Apple has built with its customers. I sincerely hope that those of us who have trusted Apple with our data will start to speak out before Google-backed lobbyists tranform iOS into a malware-ridden hellscape.
Sometimes people hope the gear would help their creative problems and keep on buying new gear but the satisfaction is short lived.
Thanks for the recommendation, just listened to it after reading your comment and I second that.
I tried moda but all i got was extreme caffeine like jitter and worst headache of my life. Would not recommend
Function composition is associative but not commutative.

So in essence given three functions z,g,f and composition operator <.>

f . g . z != z . g . f (commutativity)

which is sort of what fold left or right is doing (but with z g and f being the same function).

but:

f . g . z == z . (g . f) (associativity)

My edit is right about the operations not being commutative. Parent is wrong about associativity as it has nothing to do with this, but he is right that the codomains of left and right are not equal.

Function composition isn't completely accurate to what's going on, it's a more higher order form of composition going on with fold but the rules remain the same.

Whatever, either way, Overall I'm wrong
I tried to explain this in another comment; you don’t have to go to shock sites to see this anymore.

In a main feed on Twitter Instagram or reddit you might see someone getting the pulp beaten out of them.
For personal confidentiality, sure. For an enemy state, having the ability to have eyes on the ground at a mass scale is pretty useful though. Want to know what’s happening right now at xyz cords? No problem, someone’s flying their drone there right now because it’s “fun with the kids”
It would be more impressive if you solved it right away.
my original thesis was, and I got quite a lot of flack for it at the time, that it's going to mightily piss his patients off if they ever figure out that he's blogging about them, if only in anonymized form.

I think this really is the issue here with his employer, and I honestly always found it extremely weird, maybe unethical that he wants to avoid his patients figuring out that their stories may appear on a public blog.
You can’t seriously compare that video to a video of an actual person beating up another person?
They do. Psychotherapists cannot prescribe medication but are licensed to deliver psychotherapy. Psychiatrists, who are MDs, can prescribe medication but also can do psychotherapy if they choose to do so. I even know psychiatrists that only do psychotherapy and won't do medication management. To complicate further, non-psychiatrist MDs can also prescribe certain classes of psychotropic medication.

Either way, pharmacotherapy is rarely administered alone, usually psychotherapists refer patients to psychiatrists if they believe pharmacotherapy can be beneficial, and with patient's consent they can share notes. He will be that therapist.
I waited for the last of my four(?) interviewers for like fifteen minutes in their garbage nih Amazon chime thing and disconnected.

I failed my Google interview as well but at least it went better simply because the interviewer wasn't a no show.
The best security is telling people:

I have a super secret password to my bank account! It's super hard to guess, and there's 12 factor authentication. You have to get my cat's paw print to sign in.

When the truth is: There is no bank account, password, or cat. And you are actually a homeless, broke, dog lover.

If you want to keep something secure, don't brag about how secure it is. Don't talk about it at all.
Sometimes, yeah, they do
Single stream recycling is a scam. It started recently. But it is making its way everywhere because it eases collection systems on municipalities.

Few people realize that when you mix paper and beverage containers, you get non-recyclable paper and difficult to recycle beverage containers. Further shredded paper cannot be recycled in single stream systems. It wreaks havoc on the system.
And hopefully sideloading is never allowed, or apps would just bypass any such customer focused regulation and most users would again be forced into a poor UX.
It's opt out.
You're right that I'm thinking of very basic criticisms. In particular, there's zero evidence that humans aren't p-zombies [0] and no definitive rejection of the Dodo Bird hypothesis [1]; in combination, this suggests that psychologists are both wrong to imagine that there's anything interesting going on inside of a human's mental states, and also wrong to try to classify those mental states into appropriate and inappropriate states. Instead, what ends up getting studied is society's own idea of what ought to be happening inside our homoncular Cartesian theater [2].

Given these foundational issues, it's folly to try to support Big Five or any other descriptive model just by saying that it's a good fit for the numbers. Any principal component analysis will find something which factors out as if it were a correlative component. This dooms Big Five just as reliably as it dooms g-factors or Myers-Briggs or any other astrology-like navel-gazing.

(If you want an example of actual five things showing up again and again and again, mathematics has examples [3][4][5], but it turns out that when actual five things show up, then the reaction is not to serenely admire the correlation, but to admit terror before cosmic uncertainty. Psychologists do not seem to go insane and kill themselves like statistical mechanics or set theorists; have they really seen the face of god?)

[0] https://en.wikipedia.org/wiki/Philosophical_zombie

[1] https://en.wikipedia.org/wiki/Dodo_bird_verdict

[2] https://en.wikipedia.org/wiki/Cartesian_theater

[3] https://en.wikipedia.org/wiki/ADE_classification

[4] https://en.wikipedia.org/wiki/Monstrous_moonshine

[5] https://en.wikipedia.org/wiki/Classification_of_finite_simpl...

[6] https://en.wikipedia.org/wiki/Hard_problem_of_consciousness
Has anyone looked into the viability of a Linux driver compatibility layer to help solve the problem of the lack of drivers?

For example, something like NDISwrapper allows you to use Windows network drivers on Linux.
Technically only buying Vbucks is an “in app purchase”, using the Vbucks to buy a skin would not be.

But I agree that’s a bit pedantic
> "Make an RFC" means coming up with a comprehensive plan for implementing the feature.

That directly contradicts your previous comment (that RFCs are the contexts that the teams are supposed to evaluate). Either:

1: non-comprehensive discussions are appropriate for a RFC, and random forum threads are the wrong place for that, in which case your previous comment is absolutely correct that it's unnecessary and likely counterproductive for the crates.io team to weigh in on said threads, but that still leaves the question of why they [edit: the crates.io team] haven't made such a RFC [edit: and told people commenting on the forum threads to instead comment on the RFC, where the crates.io team can evaluate] yet.

Or:

2: non-comprehensive discussions are not appropriate for a RFC, and should take place elsewhere (ie random forum threads), in which case it's completely reasonable to expect normative (but obviously not binding) feedback on what would be necessary to produce a RFC-quality proposal in the first place.

Personally I weakly favor the former view, on the basis that RFC literally stands for "Requests For Comment", but either one would be a sensible position, as long as one doesn't try to assert the negation simultaneously.
In a build next month I suspect it won’t be like this. It does not smell like a long term plan.
That seems interesting. Where do you get your audiobooks from?
I thought people in SV are paid what they're paid because they're uniquely qualified and productive, making their employers extremely profitable, or salable.

Is that no longer true when they don't sit in a SV chair?
Good psychiatrists who can also do therapy are worth their weight in gold. I think this is a huge loss for anyone that made and could make use of his psychotherapy. It would have also been a loss for the rest of the world to not make use of his writing. Either way this made the world a worse place. Thus is the banality of evil.
Pretty much anything except location tracking via GPS, unless the users clicks allow. So exactly the same as Google.
The additional theory I've heard is that people stink at properly sorting recycling...

...though then you get the other issue, "aspirational recycling", where things that aren't even claimed to be recyclable end up in the bins.
I remember this from that same time period. I was just thinking about that the other day. I don't even recall when the message flipped back over, but it absolutely happened.
And standardized as [[nodiscard]] in C++17.
Mostly looks unless extreme or in certain spots.

All cars have them. If you want to stare, you can find them in a brand new BMW or other well regarded brand. Just a little more common in Tesla I guess. (I have one that bothers me. I got Tesla to 75% fix it. Doesn’t really bother me now)