skysight-inc/HackerNews huggingface dataset:
I don't believe it is using any type system described outside of the TypeScript compiler. The goal of the system is to accurately describe real-world JavaScript programs and semantics, not to introduce a formalization that existed elsewhere and impose it on JS.

As a consequence, it has aspects of structural types, dependent types, type narrowing, and myriad other features that exist solely to model real-world JavaScript.

As far as soundness: it's not a goal of the type system. https://www.typescriptlang.org/docs/handbook/type-compatibil...
Generally in agreement, but two minor questions:

> Use typescript, jsx to create the simplest way to implement components and sub circuits. (I know this isn't going to happen)

I can see why not many people would be willing the learn a new language from JITX (stanza?), but why typescript/jsx instead of python?

> Use a cloud package manager so people can share thier sub circuits and ICs

Why not just a github repository? Kind of like https://github.com/NixOS/nixpkgs
iOS 16.1 Beta 2 zeroes out all free()'d memory
I've been using React for maybe 6 years now and Javascript for at least 10 years before that. I've started using Svelte in the last 6-12 months in professional capacity having messed around with it ofr 12 months of side projects before that, to me it feels much closer to writing HTML, CSS and JS than React ever did. Animations, transitions and other things that can be really awkward in React, requiring hooks and all sorts of framework specific constructs just work as if writing in plain HTML/CSS/JS. The template type bits feel nicely and explicitly separate unlike JSX's oddities wrt things like "className", I prefer it. Particularly I find a typical svelte component significantly more legible.
People have been saying this since dealerships stared buying internet leads. I started in 2008. Even then internet departments were fully built out and everyone was worried about the end of salespeople for several years. So yes, even back in 1999 you could email a dealership and work multiple salespeople against each other. And that made people talk about the end of salespeople, negotiated prices, and dealerships.

Even Tesla has a lot of salespeople, at corporate and at the showcase stores. You just can't get a discount from them.

If someone built a car vending machine, it would only be a matter of time until someone noticed you can make sales go up at the vending machine by putting someone standing next to it.
After reading this I digged up the size of video game industry. It is a staggering $190+ billion enterprise now! I wonder what is the ROI on these infamous games? Would they be multibagger opportunities for the producers? Not that they have to be.

Also, most of the gaming industry caters to mobiles and smaller screens given their sheer number. With the ever increasing computing capabilities of mobiles, I wonder how much more monetisation does it lead to in the medium-to-long term future?
> Writing as somebody who grew up around architects and engineers this thing is not worth more than 80k

Happy to see someone shares my back-of-the-envelope calculation.
Ask HN: Anyone have a software consulting playbook (negotiation to delivery)?
I received an inbound request for shorter-term, part-time software consulting in a specialized domain. I'm in the SF Bay Area and work full time, they're in a different major tech-hub – and appear to be well funded.

It's been a while since I last consulted, and I was hoping for a playbook to follow to ensure everyone is happy: negotiation through delivery.

My questions range from how to set prices, to how to present findings (scope), to how to manage expectations, and how to ensure satisfaction.

Any insights HN? Thank you!
Its always easier to try to buy your way up the chain than putting in the work. And when you are not actually a pro it often becomes a social novelty of its own (and within reason one I often enjoy myself). The end game for me in all things like this is that when I actually become a sort of expert in the gear choices I realize that often the middle ground items are sometimes the best - pricier things are often better but there are huge diminishing returns and sometimes the simplest item of decent quality is actually the most functional.
Pumping. It ended up that I had to do it if I wanted my kid to have my milk (would he have starved 100 years ago? No idea!) but it had the excellent side benefit of being able to separate output from input, and my husband was able to pop the bottle into the little gaping mouth, and I got to where I could get all the little guy could drink and some extra in three long blocks per day.

Even if direct nursing is going well, I highly recommend doing some pumping along the way from early on so that if/when she needs to be away from the baby for a few hours, it's not as big a deal.
Nvidia have been making different architecture for gaming and datacenter for few generations now. Volta and Turing, Ampere and Ampere(called the same, different architectures on different node). And Hopper with Lovelace are different architectures. SMs are built differently, different cache amounts, different amount of shading units per SM, different rate between FP16/FP32, no RT cores in Hopper and I can go on and on. They are different architectures where some elements are the same.
I've been using pyjanitor for what seems like similar functionality. How does this compare? https://pyjanitor-devs.github.io/pyjanitor/
Congrats on the launch guys, god speed!
> The sport has separated into riding enthusiasts and equipment enthusiasts and the bike companies have completely brainwashed equipment enthusiasts.

I'm NOT a former racer but I've cycled recreationally (probably an average of about 30 miles a week, give or take) for over 20 years.

When I first got into road cycling I nerded out on gear. Back then that meant skinny tires, carbon fiber, big bucks. I felt reallllly cool.

As I've gotten older I stopped caring about what's cool. Like, in cycling, but in pretty much everything else too.

I had to move recently, and ditched my road bike but kept my "cyclocross" (as it was called at the time I bought it) bike, since I wanted something more flexible and comfortable. It ways weigh more, and I ride on big honking tires with hefty tread.

I tracked my (solo, non-drafting) rides and I'm slower... by like, .5 mph.

I have no doubt that all the gear nerds out there know what they're talking about, and these data driven fads are real improvements, but the margins have gotta be smaller than most of us weekend warriors should realistically ever care about.

At a certain point you gotta ask yourself why you're even into the sport - either you think you're gonna win something, and then this is your life (and every advantage is worth it), or you're in it to ride with buddies and enjoy the feeling of moving through space. If you're in the latter category, and you aren't getting dropped, obsessively optimizing gear isn't actually gonna make your experience any more fulfilling.
Dealerships try to hire smart helpful people that can sell 30+ cars a month like I did. They don't always succeed, just like most companies can't hire the best programmers consistently either.
More than my mortgage payment, utter insanity.

And to think you can get an Xbox Series X for around 500 EUR now.

PC Gaming is dead.
According to the HN moderators, if you suspect someone is manipulating votes in some way, you're supposed to e-mail the moderators to have them look at it rather than making an accusation in your post.
> though obviously constrained by the maximum legal road lane width allowable and their long/linear design.

A shorter double wide might be an option. Triple wides are a thing also.
Years of being exposed to the corporate propaganda has had an effect on everyone.

I also feel very different now than I did 2-3 decades ago, because I realised the importance of freedom and how we are slowly losing it.
In fairness, there are so many sites in this whole area that it is in fact very hard to comprehend how such schemes could be implemented.
CCP members theoretically have more agency than just voting. Every one of them can advance issues at the peoples congress.
My point is that adding a disclaimer about your employer only matters if the post has a possibility of being seen as astroturfing if the reader doesn't know about the relationship between the poster and the company.

For example, if jgrahamc said "I never knew that. Cloudflare is such an amazing company, everyone should apply for a job there!", then okay, request a disclaimer. But if someone just says "I didn't know that", then the comment goes from mildly interesting (if you know who they are) to boring (if you don't know who they are). The failure mode here for lack of disclaimer is the post just becomes a boring, low-effort comment.

I think jgrahamc adding "I'm the CTO of cloudflare, and I didn't know that!" might have been reasonable context, but no disclaimer is required, because the reader didn't need to be protected from the post. There was no conflict of interest in the post.
MTA to Install Security Cameras in Every New York City Subway Car
Speaking of types, what are your thoughts on fp-ts if you've used it? It brings functional programming concepts like in Haskell such as monads into TypeScript.
You can do this at any dealership.
To be fair, Star Citizen isn't a hardware product that's already 2 gens deep and sells like hotcakes.
Learned the hard way that being an employer in the U.S. is basically opting in to being an extension of a social surveillance/control mechanism in the sense that it incurs/induces an elevated level of control over how you can conduct your life.

The larger you get the more control you are accountable to implement. Basically anything that would be shrugged off by the average citizen as either B.S. or "none of your damned business" is basically shoehorned into being handled by employers. Up to and including surveilling the physical location of H-1B workers.

My eyes were opened wide once I started to look into how the modern corporation is utilized in the U.S.
In my xp, medical imaging at the diagnostic tier uses only lossless (JPEG2000 et al). It was explicitly mentioned on our SOP/policies that we had to have a lossless setup.

Very sketchy to use a super resolution for diagnostics. In research (flourescence), sure.

ref: my direct experience of pathology slide scanning machines and their setup.
Discussed at the time (of the article):

The Texas Instruments TMX 1795: the first, forgotten microprocessor - https://news.ycombinator.com/item?id=9520210 - May 2015 (30 comments)
One of the few reasonable comments in this thread.

Hooks are better than HOCs, no this is better than managing this, and dependency arrays are better than if (this.props.fooBarBaz !== newProps.fooBarBaz || this.props.onFooBarBazChanged !== newProps.onFooBarBazChanged || …)
Meh, still no 64 bit support, which they had a chance to add for Span type, but completely missed. CIL itself has not been upgraded since 2.0, and they could have tried to add lifetime annotations in Rust style there. Java now has GraalVM mostly implemented in Java, and .NET is still written in C++. They are digging in random directions without seeing the bigger picture.
That reads like a parody to me - the cynical engineer that uses conspirational thinking patterns to create a narrative of the world when emergent outcomes are the causes.

Look for counterexamples where your cause incentives don’t exist yet the same outcomes still do: that is scientific thinking.

> Job security by ensuring brittle applications
> Endless tasks by ensuring endless complexity
> A sense of elitism and entitlement
> No expectations of deliverables
> Be vague enough so blame can get shifted if things break

The last thing many programmers desire is a millstone of old code they are responsible for. Perhaps you posit that they subconsciously desire to make complex code to give them job security? I suggest you watch (or ideally become) a founder engineer, who’s incentives are the opposite of all the above, yet the founder still ends up with the same problems.
Python Has Typing Support
I took the ROM set which was referenced, if i remember correctly, on the github page. There were a lot of XT, AT and other machines.
My goal was to run an old Slackware on a 486 era machine but all of them hang at boot. The only luck was with the pentium and slackware 10. I would have preffered 7.
If we're talking language level (even in C, you'd usually be using other libraries and APIs even if it's just POSIX or curses), I'd argue that "JavaScript: The Good Parts: The Good Parts" is probably the most authoritative book out there.
Op here, selling 3000 cars.

I've never bought a car at a dealership, and neither has anyone in my family in 25 years. But then again, I know cars inside and out (even from before my car sales career) so I feel pretty safe not accidentally buying a scammers car from Craigslist.
That's a lot of words to say "L5 capable cars may still be geofenced for reasons other than their capability to drive in areas outside their geofence (such as political reasons), so they're still technically L5"
Ok, interesting in what country are you if you don't mind the question? I'm guessing US?

I think marginal prices are going to shuffle the board pretty harshly from now on though!

Energy does not create itself out of thin air. (except from the sun, and that takes millions of years to get stored as coal, oil and gas) so it's just a matter of time before the nuclear plants margins are going to break too.

I was for nuclear after I discovered uranium has 1.000.000.000x the energy contents per weight of batteries but now I realize without cheap marginal coal, oil and gas nuclear is too risky.

As I see it now the only solution is to reduce consumption, yeasterday voluntarily or tomorrow (today in EU) dragged by our hair.
Why would you want to lossily compress any medical image is beyond me. You get equipment to make precise high-resolution measurements, it goes without saying that you do not want noise added to that.
Looks cool! I did a quick skim of the website and privacy policy. It was quick, so maybe I missed it, but where are the notes stored? How are they protected? Are the contents of the notes considered Personal Data as relates to the privacy policy?
Do you have a favorite alternative to the capability model that you feel is superior? I somewhat casually follow these discussions and I'm always looking for new ideas (or old ones that actually work better in some cases).
Geometry is actually probably the big difference - cyclocross bikes are designed for small repeatable courses often with tight turns and the need to carry the bike on your shoulder. A slightly lower or higher BB height would probably work well for either - it is the ratio of total height vs top tube (so height vs length of the frame) that really defines cross vs gravel. Cross bikes will be taller and shorter (length wise) to have shorter turning radiuses and slightly lower weight at the expense of long term rider comfort and stability at speed. Gravel bikes will be longer and have worse turning radiuses but slightly better stability at speed. You can see the same thing with cars. A shorter bike (just like a short wheelbase vehicle) will also have better approach angles relative to its height.

That being said depending on your leg length to upper body torso length you can of course size a cyclocross bike up or a gravel bike down and achieve sort of the same effect. In my opinion these types of geometry questions do not come up nearly enough in relation to the rider, however, as someone with a very long torso is going to be quite uncomfortable with a bike with a short top tube even if the "size" of the bike is correct for their leg length / height. And of course the opposite can also be true. Ideally we should be sizing and matching frame geometry to the persons geometry regardless of the intended use case of the bike.
Tesla was supposed to pass some of those cost savings onto the end customer not to pocket it all like this but I'm aware that it's a corporation that's looking to maximize profits to their shareholders and extract as much value as possible from their clientele.
We are - there will be a free offering for hobbyists soon.
You're just repeating the same vague talking points without any proof. Who is the audience for this kind of lackluster rhetoric?
Yes.

Op claimed to get 60 FPS at 4K with "pretty much" everything at max - I hope that wasn't implying "everything but raytracing". I got the card for raytracing, without raytracing even my 5 year old card worked ok and looked good enough.
https://www.sueddeutsche.de/politik/hintergrund-bundespraesi...

A list of seven rejected laws. I think there was one more in the last decade.
Covid deaths: more than 10M children lost a parent or carer
This is a great business idea. Is anyone doing it?

A lot of smaller municipalities would probably jump at that. It would be a smaller market segment to start a company, but you wouldn’t even have to be building anything; you could probably rebrand existing designs made by other companies and get the certification on your rebranded version.

If you could get to the point where you could offer a very easy approval process with a major city and could guarantee that the structure be in place and usable in a given time frame or a full refund, I strongly suspect you’d have more business than you could easily handle.
Sounding different is a big deal, and for some reason I remember a scene in an hbo series where one of the characters had an audio-how-to-tape of doing a cajun accent for actors..

I am often blown away when I learn an actor is doing an X accent for a series when they are from continent Y and when you hear them speak at an event they have a totally different accent. eg https://www.google.com/search?client=firefox-b-1-d&q=rick+gr...

I don't know exactly what you mean when you are saying when you say look and sound different..

I can say that my level of exhaustion with trying to parse what people are saying and what they are meaning when hearing accents from various parts of the world is a thing.

Pre-internet life had me only engaging with tough to understand accents on occasion, and so I did not mind spending time trying to hear then understand what is meant by someone when I ran into issues (and to ask for interpreter when I could not get it (remembering you, bayou of Louisiana gas station attendants)

Yet today I have so many phone calls and tutorial videos and such coming at me with accents that are so hard to understand - it slows my thinking and requires an immense amount of energy to get through a couple of paragraphs - I do generally give up and try to find another source of info that is easier to understand.

This is something that weighs heavily on decision making, who to work with, who to learn from, and more actually.

I think it is something that can be learned and practiced and gotten better at, thought I have no idea of the best resources.. if you feel you want to have smoother relationships with folks from another part of the world, but I have no idea how hard / easy it may be.

2 cents of random thoughts without specifics.
Yeah, of the secondary screen.
Me as german citizen would be interested to know how much such processes costs from our taxes money. From bringing such law again to debate, convicting the parlament to vote it, then approving it, then the whole courts costs... I'm not sure why at least once a year we see that there.. regardless of who is in the government.. Is it Lobby driven?
It's easy to second guess your tech choices based on various thinkpieces and comments when you're new. React will still likely be the top framework in 3 years. There are a lot of powerful network effects in being one of the oldest component based frameworks in JS. It's also held up strongly in the nearly 10 years since it was released. That being said I do agree with other comments that you should consider yourself a web/JS/HTML dev first and foremost independent of any framework.
Governments that can exert a greater degree of authoritarian control over transportation infrastructure will have a massive edge in technologies such as this.

In many countries it's much, much easier for the government to block out an area and ban human drivers.

They will likely be the first ones to have a true deployed fully autonomous system, while the democracies will bicker and lobby back and forth about it for another few decades.
A bit weird, although it’s not clear how they would do it without class components. I guess it would probably look something like React.forwardRef.
Don't know that I'm at all smarter, but I have some domain knowledge. Yes, JITX makes it easier to source/design in replacement components and the circuits around them.

It's a major use cases these days with all the churn coming from supply chain volatility.
>> I hover over a group to get the previews of the windows in that group, then click the one I want.

I prefer "Never combine" so that I don't have to spend any time hovering and waiting.
Anyone who thinks this will work has never tried to index a site. A huge amount of effort is spent trying to figure out if the site is serving different content to users vs crawlers, or if the site is coded to appear visually different to humans vs machines. If you ask sites to index themselves you will get lies only.
Sell your soul and slap a smile on your face.
I'm not upset with it, jaded and cynical maybe, but I still make a decent living and enjoy when I do get to make things, I just would enjoy it more if I spent more time building and creating and less fighting with my tools.

I make it a point to jump from environment to environment to learn to grow, to see the new things and the new tradeoffs, and find out what they play out like.

That being said, I don't need to find or build a better or more elegant solution. I use Emacs ;)
I don't think that security requirements are a "made up" restriction.

It's like saying that a house built without a lock is a made up issue and that no lock pr door is needed.
The one with the different buildings in the reconstructed image is a bit spooky. I've always argued that human memory is highly compressed, storing, for older memories anyway, a "vibe" plus pointers to relevant experiences/details that can be used to flesh it out as needed. Details may be wrong in the recollecting/retelling, but the "feel" is right.

And here we have computers doing the same thing! Reconstructing an image from a highly compressed memory and filling in appropriate, if not necessarily exact details. Human eye looks at it casually and yeah, that's it, that's how I remember it. Except that not all the details are right.

Which is one of those "Whoa!" moments, like many many years ago, when I wrote a "Connect 4" implementation in BASIC on the Commodore 64, played it and lost! How did the machine get so smart all of a sudden?
But still, how would you search through commit history to figure out one thing? Comments are right here in the code, and books/external doc/rfcs refer to concepts.

I feel like commits are only good if you're spelunking, which is usually for a single reason: you're bisecting looking for a bug.
Why does it take so long though? In the United States courts often issue a preliminary injunction or temporary restraining order to stop the enforcement of law. This way the courts can take their time in deciding a case while the new law does not get enforced.
Ah, so you do know how to play this game.
Fair enough, then I concur with your assessment.
This looks like a great project but it's not a valid Show HN if people can't try it out. Please see https://news.ycombinator.com/showhn.html. Note the bit about signup pages.

(I've taken Show HN out of the title now.)
I hear you on "don't build your own design system"... but Datadog's got a really complex UI, I think they've definitely graduated past the point where something like MUI would be a good choice (and obviously they have the resources to do an internal design system, and do it well).

For Datadog I think it makes sense.