skysight-inc/HackerNews huggingface dataset:
A codebase where some developers use spaces, another use tabs. Changes to the other person's code always has whitespace changes on large blocks of text that are otherwise unmodified resulting in much more in a code review than is needed.

One developer does simple for loops without {} and another always puts them in everywhere. When the second developer touches the block of code, there's a large amount of {} being added with no other functional changes in the block.

One developer uses guard statements at the start of a method, the other always writes single exit point code.

---

Changing between these or having two different styles within the same code base makes it more difficult to maintain it since there are non-functional changes mixed in with the functional changes.

Its not a "can't understand the other" but rather "inconsistent style results in non-functional changes in the code as style changes are being made - making it harder to maintain the code and review it."
I regularly get 56+ mpg out of a stock non-hybrid diesel 2015 Ford Focus with a 1499cc engine (and it has a turbo on it). It's not hard, it's just conscientious driving: gentler acceleration, coasting to lights a little more, driving at optimal speeds rather than the fastest speeds the speed limit allows, using cruise control when you can (it'll coast more than you do on gentle declines when able), using speed limiters when you can't.

I feel like if I had time in my life for a new hobby, hyper-mile driving like this could be it. :)
Usually limits the applicant pool down way too far. I know the PD in my city are having a hard time getting enough recruits as it is and are already running like 30% below the manpower they're "supposed" to have; they've relaxed long-standing residency requirements in recent years.
Not necessarily.

First, the competition is international, and some is from governments who need a non-US supplier.

Second, the goal in most corporations isn't maximum profit per item but maximum profit per year, and if they can indeed deliver the prices Musk is speculating about of getting a million people to pay 100-200 thousand USD each to go to Mars, that allows the overall market to be much larger than if he can only charge 150 million (or even 1.5 billion) for 4-seat rides to a low orbit space station every six months.
Having a small engine (lawnmower size) that doesn't generate enough power to operate the car, but will charge the battery, would seem like a nice convenience because you won't necessarily need a charging station to continue your trip.
>I love how Bezos' company is never mentioned in these discussions.

This is a good point. Not much is said about Blue Origin. Perhaps because they're overshadowed by SpaceX? But Bezos is launching rockets.

* Their New Glenn rocket is reusable and can launch 45 tons, focusing on the commercial satellite launch market. First launch in Spring of '25.

* New Shepard is more like a tourist transport, delivering passengers to the edge of space. They have completed 26 missions so far.

* They're working on Blue Moon, which is a lunar lander designed to be part of Nasa's Artemis program.

Here's a video of Bezos talking about (and showing) the first New Glenn rocket being prepared for launch.

https://www.youtube.com/watch?v=Hu8SlfmpKM4

Disclaimer: I don't work for Bezos PR. I know very little about Blue Origin except what I learned from that video and what I got from ChatGPT.
It's important to remember that Minneapolis is actually the merging of two cities, Minneapolis and St. Anthony. St. Anthony is everything east of the river (so the NE and SE quadrants). At one point in time St. Anthony was larger than Minneapolis. There was a large competition between the two cities because of their flour mills, Pillsbury on the St. Anthony side, and Washburn-Crosby (modern day General Mills) on the Mpls side.

The cities merged because of competition with St. Paul, which had better rail access and was further down the river (didn't have to deal with the waterfall in Mpls).

So the original grids of both cities were created independently, however, once the cities merged they renamed almost all of the streets in both cities to be what is the modern day naming. This was mainly because there were many duplicate names on either side of the river. If they hadn't done this the street naming would be utterly confusing.

So the answer to your question is really "it's complicated".
I agree that it is actually pretty confusing what kind of "freeze" The Work Number offers when you do it, especially since The Work Number does not distinguish between hard inquiries and soft inquiries and groups both together as "Verifiers who have procured or attempted to procure your data in the past 24 months". Most freezes only block hard inquiries, which involve the extension of new credit. Background checks typically come in as soft inquiries and therefore bypass security freezes. Oddly enough, there are some companies that extend credit even with soft inquiries, so a security freeze will not stop fraud there.

That said, I have seen anecdotes online that say that when somebody pulls a frozen The Work Number report, it comes back as blank even if there is information in the file. This is different than how freezes are handled elsewhere. Most places just report back that the report is frozen when a frozen report is requested. They do not imply anything about the state of the information in it.
I only care about the consumer experience

Uber and Lyft subsidized their service with VC capital for a long time as well
Can you explain the chain of reasoning from "rich people shouldn't be flying on private jets to climate conferences" to climate denialism?

As a refresher, climate denialism "is rejection of the idea that changes in the Earth's climate or weather patterns are caused by human activity."
Each row/column (I always forget which way around matrices go) of weights followed by a nonlinearity is a learnable function.
As if there weren't enough reasons to learn touch typing.
Deal infinite damage for 4GRU, as long as the twin primes conjecture is true
Irrelevant. If it's not an open circuit, then the inductor is connected to things in parallel, and the impedance increase creates a voltage spike. If the load impedance is significantly lower than the thing being disconnected, then you're just disconnecting something that doesn't matter to the circuit and it's silly to be that pedantic about an irrelevant situation. You're bending the statement from "disconnecting an inductor" to "disconnecting something from an inductor (while something else is still connected)"
> The hair at the site of the mark will grow back white and show the identification number

Is freezing a follicle turning the hair permanently white? I couldn't find anything on the mechanism. I'm surprised that people who are into body art (tattoos, piercings, etc.) didn't pick something like this up.
But isn't that the same as a diesel-electric locomotive, which is very efficient?
Some relevant reading to support this point: https://en.wikipedia.org/wiki/Nord_Stream_2
Other than 3 hours where I modified git push to play "Push It" by Salt-N-Pepa before it got annoying, nope.
Separately from the content, this page loaded instantly for me. Its remarkable how good / different the experience is compared to 99% of websites out there.
Slowly leaking out over a period of time is arguably the lesser of possible evils if there is no safe way to dispose of them otherwise. On a long enough timescale water circulation can dilute the effects, the slower it leaks the better. Of course this is worse than being able to take all of it out to begin with, but if that's not an option we have, then that's better than suddenly releasing all of it at once.
yeah, you could just pull the parser out of any open source browser and voila a parser not only battle-tested, but probably the one the page was developed against
I’ve recently picked up the hobby of looking at tiny things with a microscope. It occurred to me that a lot of the wonder is still present when you find weird stuff like this.

These days I can reference the internet to figure out what some common things are, but there are still heaps of weird things I find that I really have no idea what they are and deep searches yield nothing or a vague “it might be part of this enormous genus, but maybe not”.

It would have been something else at the dawn of microscopy, but it’s still such an incredible way to see the world. Every time I look I’m amazed by the sheer scale and diversity of life happening all around me (and on me). Worlds within worlds.
"Of the thousands and thousands of archived hard disk drives from the 1990s that clients ask the company to work on, around one-fifth are unreadable."

Why is this surprising?

It's been known for decades that magnetic media loses remanence at several percent a year. It's why old sound tape recordings sound noisy or why one's family videotapes of say a wedding are either very noisy or unreadable 20 or so years later.

Given that and the fact that hard disks are already on the margin of noise when working properly it's hardly surprising.

The designers of hard disks go to inordinate lengths to design efficient data separators. These circuits just manage to separate the hardly-recognizable data signal from the noise when the drive is new and working well so the margin for deterioration is very small.

The solution is simple, as the data is digital it should be regenerated every few years.

Frankly I'm amazed that such a lax situation can exist in a professional storage facility.

Edit: has this situation developed because the digital world doesn't know or has forgotten that storing data on magnetic media is an analog process and such signals are deteriorated by analog mechanisms?
Having up and down slopes on the different holes would be an interesting and challenging addition.
Taj Mahal is nothing compared to ajanta and elloracaves. Whoever elected Taj Mahal as one of the 7 wonders was an idiot in my view
I don't know the veracity, but according to Wikipedia the British encouraged the system. So while the British may not have directly caused it they let it fester while they controlled Malaysia.

Regardless, when I look up the definition of apartheid it doesn't seem to require the non-natives being the ones to implement it.
The system has 512 GB of RAM so while it'll be slower at inference, he really has about 704 GB at his disposal to run the model assuming he distributes the weights across the VRAM and system RAM.
Apple AirPod Pro 2s can now work as hearing aids
This "high pressure workplace" has always struck me as crazy. I grant that it looks true from the anecdotes, but it also seems that the vast majority of the pressure is self created. Often times specifically created by that second point, that many famous chefs are assholes.

Worse, as most of their asshole behavior seems to stem from the fact that they are buckling under pressure. Pressure that they themselves are causing.
I don't disagree, but I also think that the key innovation that Tesla did was to make EVs cool (or at least, non-dorky).
Nice tool :) I did something similar in a hackathon some years ago. https://github.com/Rucadi/wsld

It's totally unmaintained and forgotten :D

In general, what I do now to generate WSL images is to docker run a container, and then export it to a .tar, finally, install that tar, is that easy.

However, if I had your tool installed, for sure I would use that for ease of use.
You're referring to extreme government regulation making it prohibitively expensive to start up insulin providers that compete with the established government protected monopolies. Which is anything but Capitalism in action.

The same goes for healthcare in general. It's one of the most regulated sectors of the US economy and the government places an extreme cost on doing most anything in that sector through hyper regulation and very epic scale barriers to entry. The US is very far from being a Capitalist healthcare system, it's in fact the worst of both systems: it's a hyper regulated corporatist system, intentionally protected by the government from competition, captured by corporations.
University of New South Whales!
My intuition is that you’d get better results emptying the tags or replacing them with some other delimiter.

Keep the structural hint, remove the noise.
I've heard people compare FreeCAD to KiCad (a PCB design tool). KiCad has been usable for a long time but it's only recently gotten good enough where you might choose to use it over the other choices because it's so good. I've heard FreeCad still has a ways to go before you might choose it over Fusion or something like that.
I found these articles very interesting in the context of future ways to understand LLM/AIs

https://www.astralcodexten.com/p/the-road-to-honest-ai

https://www.astralcodexten.com/p/god-help-us-lets-try-to-und...
>The only way is to make this sort of DRM straight up illegal

I agree with your statement on what needs to be done, but I disagree with the above ^

Companies will always skirt around laws because the dev cycle of regulations is thousands of times slower than the dev cycle of private companies. Just take Apple's intentional malicious app store compliance in the EU as an example. They would rather spend millions in legal fees to not comply than to simply comply. This is a pessimistic view, but it literally happens all the time.

No the reason answer is choice. Making something so good and designing it around freedom and making it sexy is the way to go. Regulation is for people that think they can control human behavior with force, which rarely if ever works.
Scaling LLM Data Extraction: Challenges, Design Decisions, and Solutions
He didn't even fool Trump who introduced sanctions against Russian gas counter to German politicians wishes. What does it say about European politicians who did nothing of the sort?
Dig it. I use Balsamiq all the time. Some challenges when using Wine, so I have to open a cringey Klaus Schwab windows machine. Would be great if this app showed Linux some love.
If I may, as the author of "such sloppily constructed prose" (which I think might be a little unfair as a summary of all 6.5k words):

In this syntax note, I was not trying to teach someone to write Haskell programmes, but rather to give them just enough to understand the examples in the essay. I did test it on a couple of friends to see if it gave them enough to read the examples with, but was trying to balance the aim with not making this section a complete explainer (which would have been too long).

Perhaps I got the balance wrong, which is fair enough, but I don't think it's required to define _every single_ term upfront. It's also not crucial to the rest of the essay, so "The article lost me at following sentence" feels a bit churlish.
A pithy little saying I learned when just starting out in my career:

"What you say, and what you do, says nothing about me, and everything about you."
How many people are typing with their eyes to begin with? Aren't they using their hands far more often? Cool attack, but I'm not sure there's much real attack surface here if no one is typing with their gaze while using an avatar.
ok yes BUT .. a reason that transit maps were carefully composed is because people "who probably need assistance when using transit" plus "people who do not speak this human language" plus "people who depend on completeness and accuracy to a high degree" are all, at the same time, using one and only one map.

hurrah for computer science BUT this is also graphic design, with human factors, and simultaneously authoritative data that does matter to many real people. Easy tag-on criticism is "who needs all transit maps worldwide at all times" ? Isn't it obviously more important to have reliable, accurate, readable maps for the people who are using the system heavily in that area, instead of stretching all of those qualities to get a toy-prize for armchair readers and the world cloud servers on the Internet? common sense plays a role in the guaging accolades here IMHO
I agree to not do it casually

But it could reasonably be arranged under supervision with an anesthetizer option.

They probably already have some protocol for erratic behavior.
They way to think about NNs is that they are already made of functions; groups of layered nodes become complex nonlinear functions. For example a small 3-layer network can learn to model a cubic spline function. The internals of the function are learned at every step of the way; every addition and multiplication. You can assume the number of functions in a network is a fraction of the number of weights. This makes the NN theoretically more flexible and powerful than modeling it using more complex functions, because it learns and adapts each and every function during training.

I would assume its possible using certain functions to, say, model a small fixed-function MLP could perhaps result in more efficient training, if we know the right functions to use. But you could end up losing perf too if not careful. I’d guess the main problems are we don’t know what functions to use, and adding nonlinear functions might come with added difficultly wrt performance and precision and new modes of initialization and normalization. Linear math is easy and powerful and already capable of modeling complex functions, but nonlinear math might be useful I’d guess… needs more study! ;)
My mom grew up in what was then mostly farms northwest of Detroit. When Eminem's Eight Mile came out, I immediately connected it with the street we turned off to get to my grandparents' place but never thought it could actually be the same road Eminem was referencing. Very different worlds.
If I were implementing it and wanted to obscure, I'd blur the whole screen momentarily, probably with a small message. I really doubt that's ideal for a commercial offering, though. I'm not really worried about unnerving people if I'm using an avatar, that comes with the territory as it is.
I don't know, snitches do get stitches after all. But writing software just to do snitching on a massive, analytical scale does fit the nerd stereotype though.
Responsibility flows top down
Our Bosch dishwasher breaks at least once a year and needs a new control board every time it happens. Bosch is junk.
Lean can be used to write software in [0]. I dare say that it may even be the intended use for Lean 4. Work on porting mathlib to Lean 4 is far along and the mathematicians using it will certainly continue to do so. However there is more space for software written in Lean 4 as well.

However...

it's no where near ready for production use. They don't care about maintaining backwards compatibility. They are more focused on getting the language itself right than they are about helping people build and maintain software written in it. At least for the foreseeable future. If you do build things in it you're working on shifting ground.

But it has a lot of potential. The C code generated by Lean 4 is good. Although, that's another trade-off: compiling to C is another source of "quirks."

[0] https://agentultra.github.io/lean-4-hackers/
It's the chosen point of comparison on the linked paper.
A very select group has tried for not very long, but I think the most gains in efficiency are going to come from giving bipedal robots rollerblades.
its the opposite, its an increase of rent, because you want to increase rent
Yes: if a person knows nothing else about Rust and the languages that might have influenced it, then the fact that the original Rust compiler was written in OCaml should make that person conclude tentatively that OCaml was the language that influenced the design of Rust the most.

I'm not one to hold that one shouldn't form tentative conclusions until one "has all the fact". Also, I'm not one to hold that readers should trust the opinion of an internet comment writer they know nothing about. I could write a long explanation to support my opinion, but I'm probably not going to.
It is. But I think that, for that purpose, I like F# even better. Even beyond getting access to the .NET ecosystem, you also get some language design decisions that were specifically meant to make it easier to maintain large codebases that are shared among developers with varying skill levels.

Lack of typeclasses is a good example. Interface inheritance isn't my favorite, but after years working as the technical lead on a Scala project I've been forced to concede that haranguing people who just want to do their job and go home to their family about how to use them properly isn't a good use of anyone's time. Everyone comes out of school already knowing how to use interfaces and parametric polymorphism, and that is fine.
You are asking others to take time our of their day to answer you. You seem to forget that.

You call it "your own question" but it's the question we receive, you receive answers. Complaining about answers people give you for free is, well, there's a saying "beggars cant be choosers". You failing to see how I try to help you get more responses, instead you call me miserable. Auch.
I thought you were making the comparison that a pentester is like a missile shot at a bridge whereas the internet is the army walking over the bridge.
Isn't it a buried lede here that the Native American DNA implies they reached South America well before Columbus?
Why did they wait so long to make the decision to not use the Starliner for the return? Seems like an obvious choice, if the thrusters on the ship aren't functioning properly and we've got a well tested alternative ready to go in SpaceX.
I do not understand at all. What is going on here?
Families seem to like this, which is good, but the previous method also allowed independent friend sharing, which this new one removes.

In the old family sharing, if you share your library with a friend (a close one, you still need to log into their computer) and that friend shared with you, each of you still have other 4 independent and non-shared friends to choose.

With the new method each new friend is also shared, and counts towards the limit of both of you.

I understand the family sharing is meant for families, but without a similar "friend sharing", feature you can no longer share your games with a close friend the same way you would share a physical disc, and for me that's a great loss.
At least Mpls's streets are mostly in order (numbered and alphabetical). If I'm on Colfax and trying to get to Girard I know I'm only a few blocks away. If you want a real clusterfuck go drive around St. Paul.
Is that an ATAPI player? Does it have drivers for your OS? Does it contain perishable materials?
Did Blue Origin manage to reach orbit already?

They are usually ignored because they seem to be at least a decade away from any practical application, and kept being that decade away for at least the last entire decade. But if this changed, than yeah, people should stop ignoring it.
Takes a criminal to catch one, as they say. Deputy gangs have been around since the 1970's.

https://en.wikipedia.org/wiki/List_of_LASD_deputy_gangs
When I used it, I enjoyed the community, but the app was never competently written. Then a while back they had a flag day where they rolled out a new app and a new server to everyone all at once, and most people were not able to log in; those that were lost their premium perks if they were paying customers, likes and chats got lost, etc. I was never actually able to log in, and just dropped the app at that point.
Google already enforces a lot of restrictions on how people write their software. Otherwise you could apply the same logic to say, requesting unneeded permissions. If the user doesn't want that they he could just not use the software, right?