skysight-inc/HackerNews huggingface dataset:
For those unwilling to count; most categories are the same or differ by 1 person (today vs 1 year ago) except for management which is half the size it was 1 year ago. I am not a software dev or manager so I am unsure if this is just because those are the teams that got cut or if these were senior over-paid managers.
1990 for something fairly similar.

https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41....

This version is maybe the one included in the 2nd edition Plan 9 release from 1992. 1990 seems good enough and righter.
Related:

Denis Merigoux used formal methods to find discontinuities in the French tax code. This should be a matter of course, done but the OBM for every proposed tax law change.

https://blog.merigoux.fr/en/2019/12/20/taxes-formal-proofs.h...
Some stupid rules (probably around patents) prevent them for starting the name of the project with the word Linux. Since they own the Windows brand, they can start the name of the project with that.
> my favorite part is the PS5 consumer friendly expandable storage

This is a pattern, the PS3 and PS4 both had end-user accessible bays which contain a 2.5" HDD. Any drive can be formatted even from blank using the console's safe mode.

> the XboX overpriced and proprietary SSD cartridges

This is also a pattern. The original Xbox and Xbox One had internal hard drives that were not end-user serviceable. The Xbox 360 used 2.5" HDDs in cases. The original 360 drives had a special port on the cases, for whatever reason. The 360 S/E drives used regular SATA connections, it's plainly obvious looking at one that the connector is just the edge of a 2.5" HDD.
Nice article David. I wish i was this exited about my job.
Ask HN: What's your next choice for laptops after Lenovo, Dell and HP?
Is there a passable fourth choice behind the Lenovo, Dell, & HP triumvirate for light business use laptops?

Ideally, I'd like something that falls between the price points of a big-box crapbook and a Thinkpad T-series but is built well enough to stand up to light-duty business use, in a work-from-home setting, without overheating daily or falling apart after a few months.

This is for someone who's somewhat disabled. They have a limited budget but also can't treat hardware gently enough for fragile consumer laptops to be a viable choice.

8GB RAM / 128GB SSD / FHD (or even HD+) non-glare screen is good enough.

Any suggestions?
No way. If you use a soft plastic or wood spoon it should last much longer than that. My 10 CHF frying pan is still good after 8 years.
PS3 cooling was 'insufficient' only if you were a dummy and stuffed it into a tight unventilated cabinet.
It is if it's the exact same universe every time.
3% of HTTP traffic is a lot.
Show HN: The cost of Rust async/await
While this seems good to have a more efficient transport, I can't make sense of this

> Since the subsequent IETF drafts 30 and 31 do not have compatibility-breaking changes, we currently are not planning to change the over-the-wire identifier.

Are there slow-moving internal software at Google that relies on this nonce? This looks like the kind of thing that some clients will tend to rely on (for a reason yet unknown). That's how clients grow the standard in unintended ways, no?

On another note:

3. optionally, the trailer field section, if present, sent as a single HEADERS frame.

I see you're paving the way for gRPC on the Web (of browsers) by adding trailers (a header sent after the body), which is not supported today for HTTP/1 not /2 by at least the top 3 browser vendors in volume.

I'm divided: I'd be glad to get rid of grpc-gateway and websockets but isn't proto-encoded communication bad for the open Web /in principle/? Maybe it's only a tooling problem.
what about driving in remote areas without street lighting?
It's probably a bit of both luck and success like everybody else.
I have no idea, but if Mozilla's partnership revenue is sinking despite record online shopping, then it's not "because of the pandemic", I think. The pandemic is a godsend for anyone that serves consumers online.
I think that’s almost it, but not quite (big grains of salt here, I’m trying to remember a talk from a decade ago). I went to a talk of his, and iirc it wasn’t stitching t=0 to t=infinity. It’s was stitching t=0 to t=big enough to be homogeneous enough, but there are still itty bitty remnants of patterns left that might be detectable today.
> What happens to WINE if it is illegal to use the same names Kernel32 does?

I was wondering where would the Oracle win hurt most, and I think there is worse than WINE.

The Unix syscalls would have been Bell Labs’ copyright. That copyright was sold to Novell, which was sold to… Micro Focus International plc?

So this British consulting company that is, according to its website, “powering digital transformation”, could transform the digital world by suing BSD, Linux, Apple and Microsoft for tremendous sums of money and forbid them from using the famous syscalls.

I guess a given set of CLI programs may also be seen as an application programming interface, which makes all of GNU liable too.

Is that correct?
Thank you very much for the helpful insight. From "the outside" Mozilla lacks kind of a vision, you'd probably call it "marketing bs" ;-) but I'd love to see a vision like "build the best browser of the world".

Focussing resources on this and maybe one or two other big projects (Thunderbird, anybody?), which could really make an impact in the modern day and age of the internet, would be great. That would be a clear way to go, I could become a "follower" or "supporter" with no fear in my heart and let it run.

Right now Mozilla looks pretty clueless to me. Losing market share, all the gossip, massive layoffs, starting and ending side projects like Firefox Send (which I'd really would have loved to see take off, competition for WeTransfer and alike would be good)... There's just a big bunch of "hmpf, don't know".
He better hopes no one will start using it. The biggest cost factor is the bandwidth. 30 people can easily generate a steady 100 Mbps usage. A conference for 15 people is about $3/h on any cloud provider
I don't have a particularly strong opinion on this, but if we accept that its interesting as a thought experiment and not a useful strat should one find themselves time traveled into the monte hall game show, I think it's worth exploring the very closely related variants of the thought experiment.
It sounds like we agree that prices would fall.

Since the problem we're talking about is the very high prizes for insulin etc in the US, does that mean we agree this would be a solution for that problem?
I can think of a few things. First, you get Windows for everything else (if you use the machine for personal stuff, gaming, need Office desktop apps, if you need Photoshop, etc).

You get a lot of that on Mac though (well, less so on the gaming front, but Macs have some apps that aren't on Windows too). But that's "real" Linux, so you don't have to spend time installing GNU tooling or fighting with brew.

Dual booting can get annoying, because you have to, well, reboot.

You don't have to worry about hardware. Linux has come a long way, but there's still the random peripherical that doesn't work, or some where the configuration software is Windows only. It's pretty easy to avoid hardware that won't work with Linux, but in this world you don't even have to worry about that. Especially relevant in the desktop space where you have to look at every component.

WSL2 also has some interesting benefits, like being able to install a couple of different distros, or wipe out and start over in a few seconds if you screw things up. It's kind of the docker experience without docker.

In the corporate world, it also means not having to convince your employer to get a Linux install they'll support. The company I work for only allows Windows or Macs. Sure, I've worked at big companies where after some back and forth with IT we could get Linux on the PC machines, but it's nice not even have to go through the hoops.

There's some drawbacks: interop between the WSL2 file system and the Windows one works fantastic, but it's FREAKISHLY SLOW. If you're trying to git clone a big repo or npm install a big library and you're crossing boundaries between the two system, you're not going to be happy (as long as you stay within the WSL world you're fine though).

GUI apps are an issue. It's pretty easy to get most apps working using a Windows compatible X Server, but hardware acceleration is an issue. It looks like it might be possible to get working, but I sure as hell haven't been able to. The team is working on an official way to run GUI apps without going the X Server forwarding path, but it's not there yet. For now it works fine for simple things, like terminals and text editors, but trying to use Google Maps in Firefox is simply not useable (but it does work!).

I'm one of those weird people who actually likes Windows, and for 99% of my development use cases, Windows + WSL2 let's me do everything I need with zero compromise, and without having to reboot all the time. I can have a Windows-only game running with my Linux terminal open to do some development while I'm waiting for a group in my favorite MMO. Docker + WSL2 is great too.
I would not say that there is no point trying to memorize a full book. It is an inefficient use of one's time, sure. However, I believe it can have some benefits. Typically, the process of trying to memorize (assuming one does not do it in the dumbest way) leads to a deeper understanding of some subtlety of the subject.
Cathedral Thinking: A mental model for the future
And when those written laws are unconstitutional? That’s the purpose of the Supreme Court: a check on the legislature and executive branches.
Wait, they are going to sell those to airlines, not to individuals? Ticket price will put them in competition with private subsonic planes, not with airlines.
If companies start to fail, the good people tend to leave first. Maybe that's what happened here.
or are a non native english speakers.
Sure, not getting voice control to work properly in my language is one thing, but not being able to deal with local accents (which is a majority in the world) makes voice control almost useless.
And uk tech unions go back to pre ww1 the Society of Post Office Engineering Inspectors for example.
I don't think it's harsh. It is a reasonable question to ask. Academia is rife with people who have never worked in the industry, completely disconnected from reality.
On the other side, I've owned a Model 3 for a year now and have not had any quality issues at all compared to my previous Audis and BMWs.
I posted this because it describes the pressure an open source author with high quality standards can feel. I'm not an open source author (yet), but I sympathize with him.
> Perhaps you can stream, movies and web meetings, faster. We can do this today, albeit a little slow.

An argument can be made for this being a better use of spectrum.

For a 500M file:

* if you download it at 10M/s, it will take 50s to receive, where you are using radio spectrum;

* if you download it at 50M/s, it will take 10s to receive.

By downloading it faster you can stop using radio spectrum sooner, which allows other people to use it. And other people's greater download speeds allows your phone to send/receive traffic sooner as well.

Operating a radio also uses up a lot of battery, so the sooner your device can reduce power, the longer your battery will last.
As long as the free rider problem forces me not to have the option to join a union it seems like we're in the same predicament.
"As devices improve, is it just expected that they'll create more heat?"

You can see, even superficially, how that makes no sense. Electronics have over time shrunk and become more energy efficient, by definition that means they produce less heat overall.

You might have some interesting circumstantial evidence to the contrary but no, devices are not becoming "hotter".
The area and angular size of the light itself doesn't matter.

But I'm talking about the angular size of the smallest detail a human eye can perceive, which does matter a lot.

Anything smaller than one arc minute might as well be a point source. A star is smaller than an arc minute. A light viewed from space is smaller than an arc minute. But either way, that "point source" has to be bright enough to light up the entire arc minute to stand out from its surroundings.

The only thing your eye perceives is the total light coming from that arc minute. Which is the same as saying you have to bring up the average brightness of that arc minute.

And an arc minute's area, viewed from low orbit, is somewhat bigger than a football field.

> Pretty sure you can do that with just a few watts laser with size measured in millimeters, if you focus it well enough onto the ISS.

Yeah but that's a laser. This is a white light. Much more difficult and impressive.
Not as good though
One of my favorite Asimov works, and I think one of his shortest. But mind blowing when you get to the reveal.
>According to a W3Techs survey, Unix operating systems (the under-pinning OS of Linux, as well as MacOS) make up 71% of the Web, the remaining 29% being Windows. Additionally, every Android phone, tablet and smart TV runs on a modified version of the Linux kernel. So, I guess if you can't beat 'em, join 'em?

I'm not sure what he's trying to say here. unix based operating systems are gaining market share, so microsoft is adding support to stay relevant? The main problem is that most of the growth is coming from mobile/embedded devices, where the platform is so walled off to the user that it really doesn't matter whether the kernel is unix-like or not.
Show HN: An emoji search built with ReactJS
Don't forget the 7% throughput increase on mobile. That's a big deal, especially given that mobile users account for the majority of network traffic these days.

And 3% is still a lot if you're looking at global Internet traffic.
just because you have done something doesn't mean you can teach it and vice versa.
If you use Alphabet instead of Google, Then it becomes: FAAAM.
Whether or not he knew or whether it was luck, it doesnt exactly matter, although traditional stats knowledge would make you think it does.

The important thing to understand is that the premise of the question says he will show you a goat. If you rerun the experiment 10,000 times, he will show you a goat 100% of the time, either through peaking, premonition, or consistent luck.

The problem gets trickier because people start applying domain knowledge of stats, and treating it as a simulation with random events. The goat being chosen is not random, it is an event that occurs 100% of the time in the premise of the thought experiment. Thinking about the random chance of him choosing the car is outside the bounds of the axiom/postulate we start with.

tldr: it doesnt matter how he opened a goat door, all that matters is that he did.
> Are unions in the US really like that, or is it a one-off being used to spread fud?

I worked at Northrop Grumman a decade ago as a developer and a lot of the non-tech people were unionized. There were certain things I was not allowed to do because it was the job of some union person. For example, moving equipment was prohibited. When I changed desks I wasn't allowed to move my phone, PC, or monitors, I had to let the person whose job it was to do that, do that. It only happened twice, but in both instances I was without a computer and phone for a day or two, even though my old desk wasn't too far away. It was annoying and seemed illogical.
I think it's possible that people are experiencing "boy who cried wolf" syndrome. I don't want to downplay the severity of people's experiences with the virus, but I think it's important to acknowledge how the severity/effects of the virus were drastically overstated in March/April, to help understand the effects that it's having with compliance now.

I liken it to the Dare effect. https://priceonomics.com/dare-the-anti-drug-program-that-nev... Where the risks of Marijuana are exaggerated to kids, and when the kids find out that the DARE program misled (cried wolf to) them, they tend disregard EVERYTHING they heard from DARE and underestimate risks associated with drugs in the future.
Right- instead, some of them explode when involved in minor fender benders.
Couldn't you just start with a cable that detaches and is pulled back to the landing strip?
This perspective is frustrating, as it paints unions as an entirely negative endeavor. They're not and there are trade offs. Those trade offs may be a net positive or a net negative, but only highlighting the negative doesn't do any good.

>with its own politics and power struggles and debates and meetings... A union doesn't even necessarily act in your interests. It acts in the interests of the majority of members

If your going to chastise the process of advocating for your views then complain that somehow they don't get taken into account then I don't know what to tell you. If your concerned that the interests of other members are outweighing yours, then participate. If you don't want to deal with it, don't join the union.

>people taking a paycheck from your union dues

Oh my gosh, contributing to something that you get value from... what a crazy concept. If you don't get value from the union, then see above; change it or don't join.

>Right but what if your colleagues what these BS work rules?

Why does the assumption automatically go towards "unions would be TERRIBLE"? Most devs don't like to put up with BS, so why do you think a union made up of devs would somehow institute a ton of BS rules just because it's a union. Again, if you don't want BS union rules, then make sure the union doesn't institute them by actually participating.

>What if you're junior and they want pay by seniority?

I hate to break it to you, but that's called the real world.

At the end of the day, a union is about shifting the balance of power and advocating for the things the union sees as valuable. What are the things you'd change about tech employment if you could? How could a union be more effective at achieving those changes? A union doesn't have to just be focused on pay scales and bureaucracy.
You don't need US style unions to achieve any of those, as history shows. Workers should have the right to form political organizations, yes, but forcing your colleagues to join your political organization doesn't make sense.
History of spam and evaluating mitigations in a privacy-centric, P2P tech stack
Although that is true, I agree with GP in the sense that the improvements in protocol and browser are motivated by what benefits their own products, rather than what benefits everyone.
A thread where 4chan pretends they're on Hacker News
Master Japanese with an Online Interactive Textbook
A functional coding technique is strictly more powerful.

Say we want to reuse your cat search code. Sometimes we want to log it, and sometimes we want to export it as a different data structure.

You could write a function that took a company and returned a list of pets.

What if you wanted to take the first 10 of 10 million. Returning the full list wouldn't be very efficient, you would need to alter your function to support limits.

What if you were then given a list of companies. You would need to modify the function, or write a wrapper.

What if it isn't a list anymore but an async stream of companies. More modifications.

With functional techniques, we can abstract the concept of "filtering a company for pets" without worrying about the concrete implementation of how the returned pets are stored. This allows the one function to be reused efficiently in many different applications, in ways not possible with imperative code.

This is just one example of abstraction that is possible. Functional techniques are not a good fit for all problems, but they are a good tool to have in your toolbox as they make some problems much easier to reason about.

Paul Graham has written a lot on the power of functional languages. OnLisp is a good place to start: http://www.paulgraham.com/onlisp.html

Or some of his early blog posts discuss these concepts:
http://www.paulgraham.com/articles.html

Another classic that will change the way you look at code design is Structure and Interpretation of Computer Programs:
https://web.mit.edu/alexmv/6.037/sicp.pdf
Tesla Model 3 and Polestar 2 spotted head-to-head and side-by-side(pics, review)
Existing flight routes between Asia and North America often fly over the arctic already:

https://www.flightradar24.com/blog/winter-winds-how-singapor...
> According to CCC (AIUI), all of the infinitely many future universes have already started, but each universe will end before even an instant of time has elapsed for the next universe: that is, "time" as measured in one universe is on an entirely different scale from "time" in another universe.

This is superficially similar to the hyperreal numbers, where you can have a set of numbers up to infinity that is strictly less than another similar infinite set.
If you think that "crunching the numbers" is an appropriate way of comparing the cost of living in two completely different environments - you must be insane.

If you have the fiscal responsibility and live a completely ascetic lifestyle - you can easily save most of your free cash flow. But that is an extraordinary person.

If you are a reasonable person and are going to actually live in SF - you have to adjust your expenses accordingly. Your rent/mortgage, your shopping trips, your recreational activities, etc... and you realise that your social outing costs you $200, instead of $30... and you don't have the ability to host it at home, because all of your friends live 2-4 hours away or you have a $5000 p/m home in a convenient location.

The reason why I say this - I lived in Helsinki, Dublin, London, NYC, San Francisco, Palo Alto and back to NYC. Me and my husband are both SWE, well paid. I literally went through the change of attitudes towards "living a life".
Sure, but if I make the Brazen Bull, and someone else gets it, they're going to put me in the Brazen Bull with my like-minded compatriots, which sort of interrupts the "found a new one" part.

Those guys are waiting on the sidelines and they're stronger than you so when you make the weapon they will take it from you and they'll point it at me. You're no opponent to me, but I've got the Maginot Line and you're the Low Countries. So when I see the Wehrmacht prep the Sichelschnitt, I can either sink the Low Countries or I can extend the Line. And I'm all out of bricks.

And of course you don't see those comments. They rarely speak the truth which they think, but every now and then it glimmers through a crack¹.

¹ https://news.ycombinator.com/item?id=24704597
You’re right, of course, there’s a (teeny tiny) cost for the handshakes but what I meant was that the performance overhead will be zero.
The compromise is pay Oracle money. Just open your wallet and pay, Oracle will tell you when to stop.
Preventing an $8M attack on Ethereum’s deFI platform with property-based testing
It's bad (obviously) but not unprecedented

https://www.firstcoastnews.com/article/news/local/car-loses-...

https://www.thecarconnection.com/news/1041062_recall-your-co...

https://www.motor1.com/news/419197/lotus-elise-loses-roof-hi...
Sadly it seems there's a whole generation that's been raised without anyone correcting them on this specific point (that it's "Tim and I"). Not that this means I disagree with your greater point.
Good... there is no privacy anyway. I want world to burn.
AI Drawing Demo: Shapes to Floor Plan
No they don’t. 400Wh/kg is sufficient when combined with structural efficiency and aerodynamic improvements. Over 1000 mile range should easily be feasible there in a new, clean sheet design incorporating best of everything and a 400Wh/kg battery.
Love seeing all the activity in this space. For https://js.la we've been using https://rambly.app and it's been amazing for transitioning our meetup to online.