skysight-inc/HackerNews huggingface dataset:
Unfortunately a big issue in TypeScript is that objects can and surprisingly often do have the completely wrong type. Some libraries even blatantly violate their TypeScript types. So any optimizations which take advantage of TypeScript types are likely to lead to very hard to debug behavior.

A better option is to make/use a language which interfaces well with JavaScript but is not JavaScript and actually checks it’s types. If the type system is actually be sound, and any code going in from JavaScript is type-checked at runtime, then compiler optimizations are reasonable.

As for your last point, I know that JIT-compilers like V8 can and do infer types at runtime (e.g. by noticing if a particular variable or function arg is always set to the same type) and will compile specialized function overloads which take advantage of the inferred type for optimizations (e.g. using fixed-width integers even though all JavaScript numbers are doubles).
An important question, now more than ever.

> This would probably involve separating with my current employer, and finding a new position at the end of the sabbatical.

Why do you assume that? You may find that your manager is entirely sympathetic to your burnout concern. An extended unpaid absence may also let some much-needed air out of the budget for the rest of the team.

Why not just tell your manager you're taking a sabbatical for psychological reasons? It's the truth, and everyone is going through it. They may be willing to save your spot for you.

> I would also keep my skills sharp, programming & collaborating with friends.

Depending on how long you've been coding, your skills won't go dull after 3-6 months. You'll be able to jump right in without issues. If you're going to take a sabbatical, actually take one.
Symbolism matters.

It's why some people freak out when someone "disrespects" their flag, why judges wear special clothes and why courthouses/government buildings are so frequently built to look impressive.

Such symbols perpetuate attitudes of deference and subservience to what the symbols represent... not for everyone, but they are effective on a lot of people, which is why they're still being used.
You don't "have to disagree". You're presenting a very different context than the one the author presents, a decidedly non-European working environment.

The one you relate has far more balanced relationships between employers and employees. In that one, there are stronger guarantees against reprisals, but I'd wager those guarantees are not foolproof either. It's very easy to poison someone's reputation in a community without them finding out for a very long time.

Everything can be disagreed with if you switch the context to an alternate universe. Your example was useful and probably astounding to a lot of North American workers, so I appreciate you sharing it.
What is the long term logic in making sure mostly straight white men run things?
The sections of that book about Biopreparat were deeply unsettling. Knowing the lengths they went to keeping the program a secret, it wouldn't shock me if they did continue to develop or conduct secret research on biological weapons after 1995. With nuclear weapons you want everybody to know you have them, but bio weapons by nature are secretive. It's the kind of cruel and horrifying weapon that even your own people can't know about.
True, but there are plenty of soldiers who are simply trying not to get killed. The calculus of "if I don't commit this war crime, I'll for sure die, but if I do, the US has pledged to literally invade countries that try to investigate us war crimes, and don't have a great track record of internally policing war crimes" is pretty clear.

My point isn't to defend the actions of war criminals, but instead point out that relying on foot soldiers to become conscientious objectors at the spur of the moment against the structural pressures against that is well documented to not be a great strategy for reducing war crimes.
The Most Intelligent Birds in the World
See also “Occurrence Typing” in Typed Racket. [^1]

> One of Typed Racket’s distinguishing type system features is occurrence typing, which allows the type system to ascribe more precise types based on whether a predicate check succeeds or fails.

One of the big advantages is that it lets a text editor use the added information to supply better auto-complete suggestions. It also makes it possible to eliminate some safety checks at runtime because the type checker has ensured that certain calls will be safe based on prior conditional checks.

[^1]: https://docs.racket-lang.org/ts-guide/occurrence-typing.html
> he showed me the list still on his office wall, with 12/15 items crossed off

Wow. I want to work for that guy.
most “professionals” aren’t professional about this (in my experience)
Neither. I just do it to make money and live.
Social networks, google is the greatest gift to scammers and spammers ever. By the time the scam or spam is stopped, the profit has been realized. Spam prevention is always reactive, not proactive, giving scammers an advantage. Algos are too slow to stop a smart spammer, companies do not care that much unless the media brings it to their attention or they get sued.
No, you don’t get to avoid judgment for your actions just because your particular flavor of naivety favors virtue and righteousness.

People with blind faith in leaders because democracy are not demonstrating critical thinking.
I have been dealt with nothing, I am simply asking questions. It is impolite to make such cavalier assumptions about the person you are speaking with.
No. That is not how shared libraries work.
Something that's checked dynamically is not a "typing judgment", by definition. It's a proposition established at runtime, possibly even with non-trivial data attached describing "how" the dynamic check succeeds, and possibly affecting program operation in its own right as that proposition object gets "passed" to downstream functions that depend on that dynamic check. These are two altogether different things.
You mean humans?
I'm a little torn on this. On the one hand, this is really impressive for on-the-fly photogrammetry. On the other hand though, this asset kinda just looks... bad? From a distance it's pretty passable, and in a relative vacuum of visual information it looks fine. However, the material itself is really sketchy. Whatever their default shader settings are makes the leather look toy-ish, caught somewhere between a reflective and diffuse material. The texturing is pretty low-quality (as expected), but the really annoying part is how it handles the ambient occlusion on the surface: it just looks like self-shadowing is baked into the texture.

It's a cool proof-of-concept, but I'm not quite sure who could use it in it's current state. Even by video game standards, these assets would probably look really out-of-place...
> who cares if you burn bridges there on the way out? You only need to maintain bridges that go to good places.

There are only potential personal material downsides to burning bridges, e.g. you might need a contact one day in the previous company. There is no personal material upside for burning bridges.
Sure, but the GGP comment said they would be giving you a bad reference anyway, while the GP comment (and the article) made the point that sometimes they will only give you a bad reference if you manage to offend them during the exit interview.

Some people are just insecure and always get offended by constructive criticism, some people have poor communication skills and think they are "just being honest and constructive" while actually being very offensive (we probably all know a few coworkers like this) and sometimes the person doing the exit interview has just had the worst day of their lives. Bland platitudes in the exit interview will almost never hurt but candid feedback can definitely go sideways very quick. Game theory says it's better to play it safe.
Opinion: Apple has shown complete arrogance by keeping the same iPhone SE design
You're implying you can't put big powerful cores on chiplets but that's not true at all.
I remember a previous employer sending out a survey to several customers to get feedback on the product. The boss who had the survey sent never bothered read the survey results, and he never sent them to anyone else either.

I'm sure he's not alone in ignoring important feedback. I'm sure feedback from people leaving the company is generally ignored too.
Wow. I am always stunned reading accounts like this.

I can't imagine living in a country where you loose health care when loosing a job or going into retirement.

I have to admit reading posts like yours makes me realize how lucky I feel with the German system.

And yes. I am well aware of the monthly costs that brings in terms of around 14% of my salary for health insurance. And of the limitations.

But to me this still sounds better than the risk of loosing everything due to an accident.

I am glad your parents found a way with your mom's benefits.
Not only does the third type exist, they appear to be the default.
Alright, that is a very good point. If the possibility of other nodes interacting with your service is high (ie “you’re gonna need an API eventually”), this might well be the best option.
pretty tough for me to believe anything from HR is anon, when every URL contains a GUID...
Gazing at the ‘Black Sun’: The Transfixing Beauty of Starling Murmurations
It is certainly a tradeoff. For devices and laptops I am willing and happy to live within Apple's walled garden. For a desktop I typically have specific requirements and just build my own even though I could probably get something similar cheaper from a vendor.
Among my research tricks: look for mentions of works in course syllabi which refer to the work(s) you've found, and see what else surfaces.

The Datacenter as Computer appears in the CS293B papers collection at UCSB

Syllabus: https://sites.cs.ucsb.edu/~rich/class/cs293b-cloud/

Assigned papers: https://sites.cs.ucsb.edu/~rich/class/cs293b-cloud/papers/

Further searches:

edu (US) https://duckduckgo.com/?q=%22The+Datacenter+as+a+Computer%22...

ac.uk (UK) https://duckduckgo.com/?q=%22The+Datacenter+as+a+Computer%22...

waterloo (CA) https://duckduckgo.com/?q=%22The+Datacenter+as+a+Computer%22...

mcgill (CA) https://duckduckgo.com/?q=%22The+Datacenter+as+a+Computer%22...
Have you considered one of those Thunderbolt-based external GPU enclosures? I've never had the money to play around with them, but have always been curious about how to integrate one into a setup. Theoretically, it would let you upgrade the laptop and GPU separately, while also making the GPU more readily available to be reused on some other machine.
Imo, real adulthood is to recognize that adults communicate in variety of ways. Real world adults are not and never were perfectly communicating non-emotional beings.
> "Science is prediction, not explanation." - Fred Hoyle

I don't know about string theory, but this is totally wrong. Exploiting a simple correlation gives you the ability to predict to a certain extent, but that's not science, that's numerology. I couldn't find the source of the quote, but I looked up the guy and found what I expected. From https://en.wikipedia.org/wiki/Fred_Hoyle#Other_controversies:

Hoyle also supported the following controversial hypotheses and speculations:

The correlation of flu epidemics with the sunspot cycle, with epidemics occurring at the minimum of the cycle. The idea was that flu contagion was scattered in the interstellar medium and reached Earth only when the solar wind had minimum power.

[...]
The prior sentence in TFA:

> It requires publicly traded companies based in California to have board members from underrepresented communities including people of several races and ethnic groups and people who identify as gay, lesbian, bisexual or transgender.

It's not all about race. But there is a large racial component.
Reminds me of The testaments (the sequel to handmaid's tale). There was a bit on that fact that no-one actually wanted for Gilead to happen, but the movement started too fast and everyone was too scared to diverge. It took a life of its own.

I think this is a legitimate social behavior where for various reasons you don't want to divest from a commitment (don't want to be an outlier, FOMO, don't want to hurt people, ...). Ideally you would fix that through communication, but we're also human after all, and have to deal with reality of social constructs and culture. You don't always have the emotional capital with people to just bail. Sometimes you're in a situation where you know that, were you to bring up that you'd prefer not to do something, the other person would immediately cancel to accommodate, even though the cost (emotional, not $$) for you to do it is lower than the cost for them no to do.

And then sometimes you enter a loop about something scary that you only do because your friends are in. A year ago I did my first major multi-day ski touring traverse. A physically and psychologically taxing thing, where once you're committed in it, you don't have a choice but complete (you can't ski down, you have to finish the loop, no matter how hard it is). I was scared AF, trying to find a good excuse to skip. It didn't and we did it, and it was the best thing I've done in all 2021. Talking about it afterwards, turns out we were all in that mental space, scared and only motivated by the fact that we'd do it together. If 1 person had emitted doubts, we would have all bailed. In the end, luckily no-one did.

So I don't think the idea behind it is necessarily bad, and I don't think you're a baby for not telling someone you're not ecstatic about something.
Is that wrong-ness the responsibility of the military, or that of our govt/"society" not bothering to offer anything else as capable?
I mean maybe you need to find a different job? What do you consider a "sexy" problem?
As an autodidactic, I use a similar approach, curious who else is similar?

- my box "sm3llslik3s0ld3r" is a love hate passion project, but surpringly similar in hardware to yours!

I originally made "sm3lly" (my box) after screwing up and leaving a high priced azure gpu cloud instance running on an unrestricted pay-as-you-go billing scope, that was filtered from my view (separate az-ad).. This was for a almost a week before I caught it resulting in a $7k usd type 3 fun "surprise" hit to my personal r&d budget.

I suspect its a small niche group: those who are doing ai on our own desktop hardware though. I assume most ai persons don't have the systems expertise to do/manage this or they work for a company/school which grants them the resources and don't bring "work" home with them.

Fwiw I also bought all "sm3lly" hardware on taobao from shenzhen directly, so it's not identical to yours but I was picking up pre-loved bitcoin mining GPus on the very cheap side after chinas crypto purge.
That would have very slow inference latency if you had to read the model off disk for every token.
http://steve-yegge.blogspot.com/2008/09/programmings-dirties...

"Here's the industry's dirty secret: Programmers who don't touch-type fit a profile. ... Here's the deal: everyone is laughing at you. Or if they're your close friend, they're just pitying you. Because you suck."
I still remember this one: https://www.washingtonpost.com/history/2019/04/01/when-googl...
I started taking some supplements to boost my focus, and they worked... so I started focusing a lot on playing video games. I'd get completely absorbed and play them for days, weeks, and months on end... total waste of time.

Being able to effectively select what you focus on is as important as being able to focus in the first place.

I personally felt out of control in that I focused on the wrong things, and just wasted my life... not something that supplements, meds, or tricks like the pomodoro technique can help you with.
Show HN: Tapgiant.com – Store Provisioning
In the past months I built a SaaS which allows small&medium business that commercialize physical products and sell them through small shops/stores to orchestrate their orders.

I got inspired by a friend that did all the orchestration using messaging apps thinking that I can help.

The product allows owners to create and categorize their products, manage a team that can place and deliver orders, to receive orders from customers and even export weekly warehouse exits for accountant.

It also includes analytics dashboard and activity timeline.

I've integrated Paddle for subscriptions (Initially tried Stripe but it's way more complicated and doesn't do taxes).

Currently no subscriptions can be purchased but Trial plans can be activated for anyone that wants to try the product.

Any feedback is welcomed.
Free speech absolutist, unless you're tweeting the location of his jet or something else he disproves of, in which case he will attempt to stop you.
This is a great article that illustrates the power of a picture.

I have spent a fair amount of time in the instrument control world, and USB has made me want to throw a keyboard across the room several times. It's unbelievable how something supposedly standardized is anything but. It is the most unreliable interface I have ever used.

There are also products that allow you to take USB 2.0 and USB 3.0 over fiber. You would think that such a product that claims USB 3.0 support, which is supposedly backward compatible with USB 2.0, would work with USB 2.0 devices, but usually not. I missed the fine print a few times and wasted some budget by making the mistake of thinking standards mattered.
540B float32 values in the model. (although since this model was trained via TPUs, likely bfloat16s instead)
I'll affirm and agree with the sibling comments here: I know lots of people who live in / spent time in LA and they report the same thing -- that lots of people there are just flakey on plans.

I don't think the fact that lots of people do it makes it OK in any way whatsoever. If the culture is to be rude and flakey, you don't have to conform to that, and you don't have to accept that from others. I'm friends with some people in LA and we all know that flaking on plans is a no-no regardless of what city we're in / from.
The last time I had to do one it was with the head of HR, we went to a local restaurant / bar to do it, rinsed my expenses on cocktails and got absolutely smashed for the entire afternoon. It was fantastic.
Beyond limited fossil fuels and biomass, the only reliable permanent and least toxic source of energy needed to make use of existing resources is the Sun. We might as well get very good at it ASAP. It will take only a few percent of sunlight to supply today's world energy demands.

It's clear that we can't, as the author suggests, "begin to run low of coal in the centuries to come".
Just because Zelensky said it, don't assume it's a "conspiracy theory". [0] Or, for that matter, that theories about conspiracies aren't true. Power-hungry bastards do conspire, regularly.

[0] https://edition.cnn.com/europe/live-news/ukraine-russia-puti...
this is not "with cause" though. They're always free to pay out your notice and have you finish immediately, but you can't be terminiated with cause after you've formally resigned.
Would you have made the same observation if the author had been a man?
I've yet to see any sort of research out of AMD on MCM mitigations for things like cache coherency and NUMA. Nvidia on the other hand has published papers as far back as 2017 on the subject. On top of that even the M1 Ultra has some rough scaling spots in certain workloads and Apple is by far ahead of everyone else on the chiplet curve (if you don't believe me, try testing lock-free atomic load/store latency across CCX's in Zen3).

Also AMD claimed the MI250X is "multichip" but it presents itself as 2 GPUs to the OS and the interconnect is worse than NVLink.
Since I've been traveling extensively I have started using a laptop also.

The downsides are the obvious extra cost for the laptop. Less obvious is the maintenance.

Every few years I will spill a drink on my keyboard. If it's an external keyboard I can repair it or replace it easily. If it's a laptop it could be catastrophic failure. Yes I know I can attach keyboard to laptop.

Then there's the laptop screen, it is easily damaged when traveling. Sometimes the damage is minor. My laptop screen recently started having problems, sometimes it works, sometimes it flickers, sometimes it's just a black screen. External monitor is currently attached, but that's a poor mobile solution. Replacing an external monitor is cheap. So, I found a website that can sell me the replacement monitor. I have to decide is it worth repairing or should I get a new one. Cost of repairing is about 1/3rd the cost of a brand new equivalent laptop.
I wish that Apple had pulled just a few of the organisation features from Aperture into Photos before they canned it.

For example, the concept of “stacks” — letting us condense a group of highly similar shots and choose a “winner” to represent them all, but not actually have to delete the others.
REBOL/View Demo Gallery
It's a terrible system, and it was more terrible before Obamacare.

In general when someone retires they're old enough to be eligible for Medicare (government-sponsored health care). My dad was. But my mom was just enough younger that she wasn't eligible for Medicare when he retired. There were (and still are) all kinds of weird gaps like this.
From a UX standpoint, Swift & AppKit is the only “proper” way to make a native UI for macOS at this current time.

SwiftUI is a mobile focused framework still being adapted to macOS, I think it’s just gotten tables this year? And even the best Catalyst app in the world (craft.do) will sit somewhere in between Electron and uncanny valley at times when it comes to things as simple as a button.

I would highly recommend using AppKit if the app is even slightly nontrivial and fit and finish is a goal.

If it’s a simple app and you’re ok with visual hitches and oddities but would like a native macOS “skin”, SwiftUI.

If fit and finish isn’t important, just use Electron.
Seems like the same could be said for "360 reviews", where you're encouraged to review your managers.

Should you avoid those too? There is probably little chance that things will change. Maybe I'm too optimistic.
> For example, Rust's traits bounds are structurally typed, for exemple making a function that accepts a type that's Summary + Display. This "Summary + Display" type doesn't need to have a name, and in that case it's great.

That's still nominative. The bound is not named, but it's based on names, not on structure. Otherwise you couldn't have marker types in such a bound, or would always have all of them and be unable to opt out.

> I don't think there is "a" solution, only multiple solutions and tradeoffs.

I have a hard time seeing that: if you have a structure, you can always give it a name. But you can also give different names to the same structure. So a nominative type system is more flexible and powerful at the very limited cost of having to name things. And even then, nominative type systems can support anonymous types (where the name is simply implicit / automatically generated) e.g. lambdas in C++ or Rust.
Her video essays are very entertaining and educational. She has a hilarious sense of humor :) Recommended!
Latency, mostly.

The GPT-3 APIs were very slow on release, and even with the current APIs it still takes a couple seconds to get results from the 175B model.
Several years ago my friend told his manager he was quitting and left to hike the PCT for 6 months. Not long after he finished up his old job got in touch for contract work, and has been doing that since. He does a form of tech/PM consulting, not development, but I could see something similar happening in your case if you did the same.

You could frame it to your boss as you're leaving to take off time for a couple of months and just mention that you could be interested in coming back and go from there. Obviously no guarantees in either direction.