skysight-inc/HackerNews huggingface dataset:
These meta discussions can be illuminating.

The intent I got was the idea of all the GPU instruction sets being different is notable, and perhaps unexpected and at the least challenging. The latter being an exclamation in the context of reverse engineering makes some degree of sense to communicate the fundamental difficulty inherent in this effort.

Now, we could go back and forth a few more times, invite friends and curious others to the party and end up with many different takes on this text.

What's the takeaway?

For me, it's lack of judgement. Content is king. I want to know what others mean to say and how they feel about it. I don't want to judge them on those things because what exactly is the point?

Make things better for me?

...better for people like me?

...people in general? Doubt that given the diversity of takes the experiment above would generate.

Waste of time. That's the takeaway.

And to press that idea home somewhat more, when I talk to other people, not text, but talking, I find diversity beautiful. Some are stoic. Some are bitter, jaded well worn solders. Others are excitable. Funny? Yup.

I submit you cost yourself more wondering why they don't conform than ever getting the answer is worth. Further, taking their intent in a more liberal, forgiving sense will get you to the good stuff others intend to share more quickly and efficiently. Plus, you might laugh a little.

I do. And it's enjoyable.

When I read the piece, I enjoyed feeling a bit of the joy, excitement, frustrations experienced by the authors and that amplified the good in all of it a little. Great! They did have one heck of an adventure after all.

Finally, you mention women overusing exclamation points. Maybe they are just being women? Just putting that out there.

I am pretty sure if we were to take a poll of those of us who are women as to whether being one is OK would trend to a definitive yes. The ones I know well tend to have a lot of fun and more colorful, rich relationships too. Kind of envy that personally.

I think it is OK to be a woman. After all, being a guy, I tend to be a guy. Why would women play it any differently?

Thoughts for you to consider.

Cheers! <-- Exclamation intended to convey a general upbeat mood, hoping it's catchy.
> Could Apple use that new CSAM-hash-comparison feature to accomplish something similar?

Only if the video is previously known, as far as I'm aware.
> The easiest practice to implement for peak Git efficiency is to stick to a subset of commands

This has been my experience as well.

Great article, thanks! I've been using essentially this same subset of commands for many years, and it's worked extremely well for me: does everything I need/my team needs, and avoids complication. I'm glad to have this as a reference I can point people to when they ask for git advice.
Is there anything a user could do to help in adding more languages? Or we just have to sit tight until they might be added one day?
I'm 6 months out now from diagnosis/adderall. I've had ADHD (hyperactive/inattentive combo) all my life, but never got formally diagnosed until 6 mo ago. That first month was weird. Started on 10mg IR (instance release) and felt no difference. Upped to 15mg and the effect was mildly noticeable. Went up to 20mg too fast and inadvertently got "high" for a few days, oops. Let me tell you, I totally understand why people become addicted to amphetamines. I felt like a young teenager again, it was glorious. The clarity was unbelievable. At day 4 on 20mg I suddenly started crashing hard when the meds wore off; suicidal thoughts and dark depression. I quickly went back down to 15mg and stayed there for another month. After month 2-3, I went back up to 20mg and that's where I've been since then just fine. The key is to build up slowly.

Each day I can tell when the medication "switches on" and "switches off" because I start getting more focused and I'm actually getting things done. Procrastination is noticeably reduced as well. Unfortunately it seems the body builds a tolerance because as time goes on, the medication is becoming less and less effective. Also if I take any after 3PM, I get insomnia, so this means I only take it the first half of the day.

The IR version lasts about 4-6 hours. I usually take it around 10am so I can focus for the core hours of work. This is kinda crappy because my family doesn't get the benefit unless it's on the weekend when I don't work.

I totally understand that "do I really need these?" question. I was the same way for a looooong time. I viewed ADHD as an advantage for the first 30 years or so of my life. Then things got to a point where I couldn't even do the bare minimum and that's when I got desperate. In my opinion, it was a bit naive to ignore being medicated for so long. I should've started treatment years ago when I first started experiencing difficulties. You may or may not feel the same eventually.
A GPU-accelerated computing library for physics simulations using WebGL
I thought caffeine + adderall was sending my heartrate through the roof, as I usually feel extremely alert on that combination. I was blown away when I finally got a watch with a HR monitor on it and found that it was barely moving it, from mid 60s resting to low 70s on stimulants. I figured it would be closer to 100 because it makes me feel like my eyes are vibrating lol.
"Nothing like regular amphetamine use to make you appreciate how dumb a lot of normal, non-medicated human experience is"
It’s great that they have set a March 1 termination date for those on visas. And the severance and stock vesting are also reasonable. Not to mention the fact that health insurance continues for quite a bit longer and then goes into Cobra.

The verbiage is standard PR pap but the actual actions are quite very considerate.

However, what actual responsibility are the CEOs taking after hiring like crazy knowing fully well that the pandemic exuberance and stimulus wasn’t going to keep the recession away, only delay it? I’m sure competitive pressure was part of the reason for the overhiring but it’s still not the whole story.
I have an options account with TD Ameritrade. It took a few clicks to get. But it's pretty convenient traditional finance can be redefined when needed.
If it was about tracking users, wouldn't they generate a unique timestamp per visitor on the first visit? Giving everyone the same timestamp is a terrible way to try and track individuals.
Several months ago I learned I have celiac disease (the "no gluten" autoimmune disease) and I also have extremely high LDL cholesterol (~200 LDL-C), so I've removed all gluten and almost all saturated fat from my diet. At this point I don't believe I can eat out anymore, and yeah, it sucks. So many old friendships were maintained by a lunch meeting every 6 months. Eating is just the default social activity everyone participates in. I don't know a replacement for that.

The standard American diet lives up to its acronym. It's sad that a single food allergy and a goal to follow dietary guidelines eliminates almost all fast food and resturaunt food. Hell, at this point I believe anyone simply wanting to follow saturated fat guidelines is excluded from eating out.

Nobody has to die in order for you to find yourself eating alone every meal.
> they need their people now. Not in 6 months to a year after a back issue is resolved.

You may have missed this from the article:

"I said I expected to be out for only a few days"

and

"returned to work after missing only a few days, as expected"

That's absolutely no time at all.
In general I have a rule - if I see someone at a restaurant I know who is alone I offer to join them. Or if they walk in I wave them over.

I don’t get a ton of chances to utilize this rule, but it’s been successful.
Towards a stable JSON Schema
This video from Stitches shows their API well, which VE copied with their Recipes plugin, code example below (timestamped to 31:07 in case the link doesn't work) [0].

/// Define variants for a specific component, such as a button
export const button = recipe({
base: {
borderRadius: 6
},

variants: {
color: {
neutral: { background: 'whitesmoke' },
brand: { background: 'blueviolet' },
accent: { background: 'slateblue' }
},
size: {
small: { padding: 12 },
medium: { padding: 16 },
large: { padding: 24 }
},
rounded: {
true: { borderRadius: 999 }
}
},

// Applied when multiple variants are set at once
compoundVariants: [
{
variants: {
color: 'neutral',
size: 'large'
},
style: {
background: 'ghostwhite'
}
}
],

defaultVariants: {
color: 'accent',
size: 'medium'
}
});

/// Use in code
<button className={
button({
color: 'accent',
size: 'large',
rounded: true
})
}>
Hello world
</button>

Basically, unlike other CSS-in-JS libraries, you can encode your design system into something called variants, then you use them by calling the function `button()` to generate a class name.

Notice how `button()` takes in certain properties and only those properties with their corresponding values (enforced by TypeScript). If you try to put in `button({ color2: 'testColor', ...})`, TS won't compile.

In this way, you can take the design team's ButtonSmall, ButtonLarge, NeutralButtonLarge etc and codify them into TypeScript such that you literally can't make a mistake. You simply can't do that in Tailwind, unless you use some outside plugin I assume.

(Note that VE also has a Tailwind-like atomic CSS API called Sprinkles, but since I don't like Tailwind I don't use this either).

[0] https://youtu.be/Gw28VgyKGkw?t=1867
Simple Reasons to Learn the Julia Programming Language
I was speaking to someone at the weekend extolling the virtues of Huawei phones and how cheap they were and "I'm never paying for an iPhone or drinking the kool aid". I pointed out the history and security concerns and was greeted with a pfft and told I was paranoid.

I'm begrudgingly iPhone user. But I keep an exit plan and backups of all data. If only someone else made something that actually worked properly. For now I'm happy to use a West controlled company to run my personal infra. I suspect we're on a downward spiral though.
When growing headcount is a metric reported to the board, no wonder executives are hellbent on hiring any warm body off the street.
Why would Apple say no? They just proved they'll likely say yes by removing airdrop in China, at request of the CCP government, because protesters were using it to pass along info bypassing the internet so it couldn't be censored.

https://www.cnbc.com/2022/11/30/apple-limited-a-crucial-aird...
> The business model of these so-called unicorns is effectively a Ponzi scheme where the end goal is for early investors to cash out with the IPO.

Although I agree that some of these unicorns may be overvalued I don’t see how the Doordash business model is an effective Ponzi scheme.
I highly recommend the version published by Penguin Classics: ISBN-10: 0140449337

This version is translated by Martin Hammond. He does a fantastic job at making this a comfortable read. And another bonus, this version is Narrated by Richard Armitage. His voice filled the book with life.
> Using personal data to assign a cohort counts as using personal data. Duh. The approach described in the article doesn't use any personal data, though?

Quoting the European commission:

"Personal data is any information that relates to an identified or identifiable living individual. Different pieces of information, which collected together can lead to the identification of a particular person, also constitute personal data."

I'd hazard a guess that it's the second part under which the EC might find this to be within scope.
Ah so they are, thanks! That’s much better. Though for a very, very low-traffic site this would still let me track unique visitors.
My sentiments entirely. I think he's batshit crazy in a lot of ways - but one thing he got dead right was that letting companies put chips inside of devices that don't obey the device owner but the still obey the company is a damned terrible idea for freedom.

I've started calling it the "little green man" in the device that only takes orders from the company - not from me.

It's insidious, it's harmful, and it's definitely not limited to Huawei or China - governments and corporations all over the "west" are playing with this power, and we're going to get burned.
Is that some manipulative jingoistic pro-military shaming?

A boxer obviously will see violence, so will a pigskin football player. Those are things they signed up for and the violence is part of the voluntary activity.

A soldier (or policeman) signs up to be in war, either an active one or one that might happen.

A high school student, a cube worker, a barista, a fireman, they do not sign up for violence.

The difference is that children have no choice but to go to school. They are sent to the slaughter.
eh, they gotta say something the exit packages seem good layoffs during this time of year are very stressful
But why is kraken a large corporation already?
> or even just fundamental mathematical reasoning (definition, theorem, proof).

Logic and proof theory is actually one of the areas in math where category theory is most clearly useful. Intuitively, this is because reflexivity ("A leads to A") and transitivity ("A leads to B and B leads to C, hence A leads to C") are well-known rules of any kind of proof writing or indeed of argumentation in general, and they exactly describe a category.
What would that look like?

I'm no supporter of PR speak. The CEO ranks seem to have no problem in finding their next gig. Some some receive ludicrous compensation even when the company does poorly.

I'm just not sure what is the desired outcome here? And how do we get there?
We expose some OTP constructs in the lunatic Rust library directly, like supervisors (https://docs.rs/lunatic/0.12.1/lunatic/supervisor/trait.Supe...), gen_server (https://docs.rs/lunatic/0.12.1/lunatic/process/trait.Abstrac...) and others.
Because stakeholders revenue and all that very important stuff on the yearly reports which loses relevance the next year. Because both bonus and dividends are calculated on yearly basis, I'm not sure there's much motivation on the decision makers to put enough weight on the long-term plans. Lip service aside, yeah the most obvious things will be made redundant, all the rest getting pushed aside as "cost of doing business". And they're not even completely wrong.
The definition of personal data under the GDPR is anything that can be used to uniquely identify a natural person (with sufficiently high probability). Both cookies and date-modified meet that definition identically, as do IP addresses.

That doesn't mean you can't use it at all. It just places strong restrictions on what purpodes you can use it for. The important point is just that those restrictions are the same under GDPR for all of these technologies. It doesn't matter how you uniquely identify users, what matters is what you do with that information.
https://giphy.com/gifs/M61NvMiWCGnCw
First, an IP address is considered personal data in the EU.

Second, an IP address is not enough, it may change or be shared. The advertisers ‘need’ to track you forever to serve you relevant ads. So they devise all kinds of tricks to do so.
Well, perception/observation bias. We never notice the companies that do grow sustainably and don't do layoffs.
Another way to say that:

USA is really mean [to immigrants].
> Everything is "offensive" these days

Spare us the BS. Society is very much able to form opinions on what is widely considered offensive and what is not.

Case in point: legal proceedings for libel, threats and so on. Turns out society still gives meaning to words.

> it's impossible to even be proven wrong

You've been proven wrong right now.
The US economy’s growth was stronger than expected in the third quarter
https://media.hachyderm.io/media_attachments/files/109/405/5...

This looks very mundane but I do think about it very mathematically as well: user interaction with a search engine. The "encode" arrow for example is very much about NLP and tokenizing, which is a functor from the "category" of natural language to the functor of "lucene tokens" which then has a functor to "lucene queries". This is of course the very mundane typing of functions as:

function parseQuery(query: NaturalLanguageString): LuceneQuery

nothing spectacular, but the abstract approach means I know I can cache/batch/precompute/distribute/pipeline/modularize it.

Similar mathematical concepts apply to all the other arrows, even if some are a bit wild (how does a search result influence a person's ideas?) But it means I can try to model the "wildness", and create say a probabilistic model to exercise and understand how my search engine actually performs (see for example click models and probabilistic graphical models)

I hope that makes sense?

edit: forgot picture link
A malicious site can put a different identifier on every resource loaded by the browser.

There really is no bottom, is there.
Where are people getting these insane reads of GDPR. Any bit of entropy is not going to violate GDPR. First, an active client-server connection is required for any kind supposed "identity" contained here, which would of course include far more unique bits of identity/entropy, such as IP. Secondly, even if the full DB of page view counts were leaked you could not actually use it to identify a user.

You have somehow perverted GDPR to believe it to mean `no client may ever hold a unique state`. Good luck to anyone making a claim that this is NOT possible in anything but the most rudimentary application.
I finally understand why some people are so against rebase. They're doing it wrong.

I've always heard people talk about how it doesn't scale, but I use rebase like 99% of the time, and have worked on projects with hundreds of ICs. This is the first time I've seen someone explain it in a way where I get it. NO I'M NOT FORCE PUSHING TO MAIN YOU SILLY NILLY! Turns out I'm "squash rebasing." I guess I didn't know I need to specify that.

I do it slightly differently tough. I use git commit --amend to build up a single commit as I go.

git checkout -b blah-feature

# do some work

git commit -m "Main description of my feature"

# do more work

# no -m, and then I just add bullet points for each subsequent change in vim (example below)
git commit --amend

Then, once I'm ready to make a PR I do the following:

# pulls from remote without merging
git fetch origin main

# adds my single commit to the end of the current main
git rebase main

# push up feature branch for code review
git push

# get yelled at about --set-upstream, and copy/paste that command :-)

My commit messages typically look like:

Add some new feature

- do some sub task
- do another sub task
- ...
I would be willing to drink the kool-aid if I saw it being used in a practical way. I always feel these posts are filled with category theory jargon without ever explaining why any of the jargon is relevant or useful. I’ve even watched some applied category theory courses online and have yet to feel I’ve gained anything substantive from them.

However, as I started off with, I’m always willing to try something out or see the reason in something. Can anyone give me a practical applied way in which category theory is a benefit to your design rather than just creating higher level jargon to label your current design with?
Oh wow, that’s so cool
Yowza, >20,000 employees?? Does that include drivers?
yes taking amphetamines generally makes people more productive
> He said he also donated an equivalent amount to establishment republicans via dark money channels.

where did you find that? i've not seen it (yet)
I would presume on-device software updates come from the same mechanism.
>> There is a good reason for that which is that FOL + arithmetic is undecidable for reasons Kurt Godel discovered.

Undecidability is overrated. We have computers, no? Particularly for FOL undecidability does not mean that every FOL formula is undecidable, it just means that there exist some formulae which are undecidable. There may even be an infinite number of undecidable formulae ... and an infinite number of decidable ones, too.

If you think about it, Gödel's proof was the construction of one undecidable formula ("this sentence is false"). His proof followed multiple similar proofs in different contexts all proposed around the same time, in the early 1920's, for example Russel's paradox and all more or less variations of one of Epimeneide's paradox. I don't know if anyone has since produced any more instances of undecidable problems in FOL. If there were an infinity of such undecidable problems (or classes of problems) wouldn't we have stumbled on them a lot more often?

Anyway the simple solution to do arithmetic in FOL-based languages is well-known to the logic programming community: constraint logic programming (an idea which I recently learned also came from Alain Colmerauer, creator of Prolog):

https://en.wikipedia.org/wiki/Constraint_logic_programming

https://www.swi-prolog.org/pldoc/man?section=clpfd-arith-con...
Here's one easy suggestion: stop using non-words like "upskill."

If you used "improve" how would that lose any meaning?
“Could Apple use that new CSAM-hash-comparison feature to accomplish something similar?”

Yes, that was why there was an uproar. If any hash is deemed bad, that could be of anything.
A Forth programmer who bootstraps their own Forth probably isn't that excited about having a c compiler.
This is one reason legacy companies have a hard time executing on software creation. They fundamentally don't understand wtf those engineers are doing. Just ITT alone there are engineers who have been characterized as daydreaming, angry and sad when in fact they were building "castles in the air, from air, creating by exertion of the imagination." to quote Fred Brooks.

That sort of ignorance is death on a bun for software innovation in MBA heavy organizations where non-technical project/product managers rule the roost.
The Data Science Job Market Is Shrinking
You can't just scare quotes anonymous without explaining how it could deanonymize you. You're sitting there with full access to the count data they collect. Use any statistical methods you like, figure out what visits were me.
In this case their outside funding was Mærsk.
Having a junior engineer show up to "shadow" you and you've got them filing an HR complaint minutes later is not a commendable trait.

It's a total dick move to rope them into your problem. They (presumably) have nothing to do with any of the politics or age discrimination that might be going on. They're just some young engineer that got something like their dream job and (presumably) want to learn from a principal engineer with decades of experience. Teach them what you know and don't make your problem their problem.

More importantly, it's just unwise. They received a very important piece of information and reacted instead of taking some time to think about the best course of action. Reacting in a way that causes the junior engineer to report it to HR sets off a chain of events that may not be in your interest.

Because drum roll.... HR is not your friend. Their role in this scenario is to protect the company. And the easiest way to protect the company is to root out the malcontent in a way that doesn't get them sued. Especially in this sort of scenario where someone with political capital in the organization is gunning for you. Reaching out to the CEO just sealed his fate.

It's not a matter of principles or doing good work. It's having a basic understanding of how an organization works and acting in a way that will maximize your and/or the companies well being.