skysight-inc/HackerNews huggingface dataset:
Yeah, that's the thing about car ....truck batteries of that size/caliber.. They stay on fire for over days even with a firehose watering them down.

Now imagine that shit in a tunnel in the ground.

https://www.youtube.com/watch?v=K5vDWhMHTwE
Here's the guy who wrote this thread's article talking about it: https://www.techdirt.com/2024/04/22/jonathan-haidts-book-the...
Yes, either way the relationship can be severed, by either party.

But if you're a FTE you will likely be able to get unemployment. As a contractor there is zero chance that can happen.

On the other hand, as a contractor you get to write off expenses, and if the client is following the law as a contractor you get a far more flexible schedule.

Each has + and -.
Terrifying. You must like living dangerously.
To a certain extent, this functioned exactly as how the Commercial Crew Program was intended. There were NASA engineers raising concerns with both SpaceX and Boeing and they would periodically be told to basically stand down because it wasn’t NASA’s place to direct the design since they were just buying a ride.
"I think the problem is you haven’t shifted your mindset to using AI correctly yet"

There is an indictment of AI "products" if I ever heard one
Also in the more recent ‘Light and Magic’ ILM doc series.
Yes lots of folks[0]. At Cruise we made use of it to do split dns when were migrating from aws to gcp but dont know if it’s still used

[0] - https://github.com/coredns/coredns/blob/master/ADOPTERS.md
"I don't want anything to do with"

Sorry, thought we were discussing this article.

But we're just discussing your feelings, which of course, you can feel anyway you like.
Are you a doctor? On what basis are you evaluating medical advice?
For iOS: https://apps.apple.com/us/app/sink-it-for-reddit/id644987363...
https://news.ycombinator.com/item?id=41288369
Also, because you're willing to call shit as shit doesn't make him a perfectionist. It simply means he anti-shit.

As for 3.00 am and a missing period. Well, trying to judge someone on a sample size of one is heavy handed.
> What non killing-or-practicing-killing use do handguns have? Zero.

This is factually wrong. Guns are extremely useful as deterrents, even when never fired.

> Also, if you think a handgun is going to protect you “from a … violent government” you should see what happens (or really, doesn’t happen) when a handgun round hits modern tank plate.

This has been debunked a long time ago, in Afghanistan, and in most other authoritarian regimes - governments need a disarmed populace in order to stay in power. You cannot have tanks driving around on the streets, policing opposition - actual humans have to do the policing.
"Most notably was Gauss at Göttingen, of whose style Abel once wrote:

“He is like the fox, who effaces his tracks in the sand with his tail.”"

This is incorrect. Abel was reporting someone else's comment, who remains anonymous: https://hsm.stackexchange.com/questions/3610/what-is-the-ori...

Gauss was also not responding to this specific criticism (which he probably never heard); it was a general statement of his, reported in an obituary afterwards:

"Gauss's aim was always to give his investigations the form of perfect works of art. He would not rest sooner and never gave a piece of work to the public until he had given it the perfection of form he desired for it. A good building should not show its scaffolding when completed, he used to say. In his demonstrations he used almost entirely the synthetic method, which he had come to prize through his studies of Archimedes and Newton. It is distinguished from the analytic method by its brevity and comprehensiveness. But the road leading to the discovery remains veiled; and indeed it often seems that Gauss frequently and intentionally turned aside from the road that led to mere instruction." https://archive.org/details/gauss00waltgoog/page/n79 1856
Mathematics is inferior to programming, in a way, because the entire hierarchy of mathematics relies on human beliefs at every stage, all the way down to its axioms. The beliefs of many highly intelligent humans, but beliefs of biased individuals nonetheless. Humans simply can't match the accuracy of a compiler when it comes to finding flaws.

On the other hand, a program's correctness doesn't depend on human beliefs. It can be proven to work perfectly on certain ranges of inputs by actually executing it on those inputs. Human subjectivity can be factored out to an increasing degree by way of automated tests. This level of concrete proof exceeds the level of social proof which mathematics relies on. The electronics upon which programs execute do not have biases as humans do. Evaluating a complex mathematical proof is as prone to errors as humans evaluating a complex computer program with their own minds. The compiler will always beat the human when determining correctness of a program for a well defined range of inputs.

Although automated tests can rarely prove universal truths, they rarely need to, as the logic they test only needs to handle a limited number of inputs and requires a limited number of guarantees. For many programs, the degree of proof that a well written automated test can provide far exceeds the degree of proof that a mathematical proof (based on human consensus) can provide.

This is why programming can accumulate complexity at a rate which is unfathomable in mathematics. With AI, programming may exceed the capabilities of mathematics to such extent that the entire field of mathematics will become a historical relic; showcasing the desperation of feeble human minds to grasp truths that are well outside of their reach.

The 'importance' of the field of knowledge comes down to the scale of the information and growth speed of the field. For all practical purposes, it seems that the programmatic, exhaustive approach will beat out the mathematical approach of trying to solve problems by uncovering universal truths.
Julia Evans is an absolute treasure. Highly recommend exploring her blog, subscribing, etc. Signal:noise ratio is phenomenal.
Strategic weapons are tested regularly, except for the warhead. The Trident II D5 has had about 200 tests in the last 35 years. That's about the same number of test missiles expended as are actively deployed at any given time. While there are a theoretical maximum of 344 deployed at any one time (14 Ohio-class, each with 20 tubes, plus 4 Vanguard-class with 16 tubes) some number of those boats are unarmed in refit at any given time.
I think they just wanted to imply Xi was "like Hitler" and the rest is just filler ideology.
Yes! It’s quite confusing to distinguish between launches at the office haha
Oh all the deities, I meant _print_ all the source URLs, and now it’s too late to edit. No morning coffee either ;)
Oh 100%. Columbia was an organizational failure but it wasn't any one person/org's negligence like Challenger was nor was it a gross disregard/disrespect of the lives of the astronauts/cosmonauts like Soyuz 1 and Soyuz 11 were.

My comment was mainly to address the suggestion that those disasters were equivalent to the gross disregard for life that the USSR put their cosmonauts through.
I know this is conspiracy theory, but whenever "someone" tries to pass a regulation law in California, I can't help but feel that they are trying to inject bureaucracy into highly profitable industry to milk some money out. Look at 1600 feet (about 500 meters) rail bridge on the Fresno River Viaduct that cost 11 billion USD and took 9 years to build. The California agency must have distributed all the fund over the course of 9 years to "someone" in the name of regulation.
I dunno, I've seen this in multiple FAANGs.

Ladder climbing lifers don't phone it in.

Senior SWE lifers? Phoning it in pretty hard.

Other industries are probably different.
Can we get a David Goggins ETF, please?
Summary
"Semantic search on codebases works better if you first translate the code to natural language, before generating embedding vectors.
It also works better if you chunk more “tightly” - on a per-function level rather than a per-file level. This is because noise negatively impacts retrieval quality in a huge way."

This makes a lot of sense. You should also embed information about how the code is related to other functions/code and where it is located in the codebase. One approach is to add really wonderful comments to the code so that when humans and machines read it they are brought on a step by step journey of how the code fulfills a goal. I tell the LLM to explain step by step to junior developers and and to inspire seniour engineers with glimpse of the profound beauty of the code and its architecture.
It would be good if they started using this. I moved to spotify because youtube music kept adding songs I thumbs-downed to my playlists. They even added songs I hated to my seasonal mixtapes. If I didn't pay youtube for no ads and creators I'd never give these idiots a cent.
bit of a hasty generalization from one example
> On the other hand, as a contractor you get to write off expenses

There's probably not a lot of contractor-specific expenses you'd see in a C2H role. Hell, the two I did (admittedly a while back) gave me a company laptop. WFH tax concessions?

You're also not likely to get a C2H situation that looks like this:

FTE salary: $150,000, but for the duration of the "ramp" contract is paying you $150/hr.

You might have a small bump for tax discrepancies, but the last time I played that game you'd most likely find your contract rate to be $80-90/hr, i.e basically the same. They're not going to pay you effectively double for three months to hire you on at the base rate.

> if the client is following the law as a contractor you get a far more flexible schedule

I'd love to see the C2H that says "Hey, since you are a contractor, you can work your own hours and have your own availability". Or it might be said as lip service, but that's not how you're going to get the "hire" part.
is there a free version of greptile
I think you need to have a special kind of outlook on life to go work in a navy R&D department.
What else have they done that's worth giving a shit about?
Tunnels are often labeled "no hazmat."

I wonder if electric semis, or even cars, should be kept out of tunnels.
All these people are idiots! Not users, people!
I mean, I’m actually somewhat curious how starting tertiary computer science curriculum with formal methods would impact the students. I mean I felt my intro undergrad 101 course was essentially functional programming and lambda calculus (with Scheme)- and I felt that helped establish a fundamentally different way of thinking about computer science than a more basic procedural type introduction would have. When they moved the intro course to be OOP instead I felt it was a travesty.
Do you have any info on how your system stacks up to msgpack? (https://msgpack.org/index.html)

Asking because we use msgpack in production at work and it can sometimes be a bit slower to encode/decode than is ideal when dealing with real-time data.
The monorepo vs many-repos discussion often hits upon so many implied factors, but it's only really about how source code is stored.

It doesn't necessarily indicate much about the deployment model. You can have many separately releaseable things in one repo, and you can have one independently releaseable thing based on the sources of many repos.

Monorepos enable, but don't require, source-level co-evolution. Or maybe a better way to put it would be: many projects can have a shared history. Many-repos require independent source-level evolution. In the open source world there is no real choice: every project wants to be independent. The authors of a given project can do what they wish with it.

One weird thing to think about is that monorepos can accomodate many-repo style workflows. You can still develop projects completely independently within a single repo. Of course you can store separate projects on separate revisions, which would be weird. An even weirder approach would be having all projects in a given revision, but have totally independent builds, no single-version policy, no requirement for atomic compatibility, et cetera. These are all things that are often imposed for monorepos, but that are also not requirements. Basically, you can treat each project as independent even if their sources are stored together. I don't think there are any reasons to actually do this, of course.
Moreover, putting nuclear weapons in orbit would be a violation of the 1967 Outer Space Treaty. As an aside, Atlas and Titan were capable of reaching orbit, and were used for the Mercury and Gemini missions respectively. Minuteman, on the other hand, was not powerful enough to put a payload in orbit.
At no point is velocity differentiated when computing a GPS fix. (Or integrated, which may be what you meant.)

Your point stands, though... the way it does work is pretty much indistinguishable from magic, from a 1970s perspective. Those guys were wizards.
That story resonated with me. I remember getting my first, forwarded, rite-of-passage "?" in the subject line Bezos email while at Amazon.
Not sure if this is a sarcasm or "you are holding it wrong" moment.
Unfortunately the logic behind the buy box isn't quite that clear.

They could also prefer a listing for a higher price from an established seller over a listing from a new seller, even if they're the brand owner.
in BC almost all Teslas are written off as rebuilt titles drastically increaseing insurance premiums even for the slightest damage due to its battery

its flooded with everybody wanting to look cool and the price point makes it seductively cheap to own until the battery needs to go or your insurance thinks it will soon

used Teslas are filling up the lots with owners who are happy to get some of their money back
>Won't this show the wrong glyph if you're looking at it from the wrong angle?

Time is relative (to your height).
I don’t know much about WAPS at all, but generally speaking, we’re only interested in doing weather sensing. As of now, we’re not planning to license the vehicle at all. And generally speaking our platform doesn’t work for payloads that are heavier than ~0.25lb and have more than minimal power requirements.
I have a lg c2 never connected never going to.
It feels like the parents should be able to, though.
It works for me, therefore it should work for everyone?
How come this spoon won't hold my soup? Don't tell me I'm holding it wrong!
You notice you're running late, so jump up, and now you're early.
A ton of the industrial revolution was actually motivated by that input-driven thinking. You don't decide you want an Eiffel Tower from first principles, you consider "what is the coolest thing I can make out of wrought iron".
There’s skill involved in using these. Of course there is.

That doesn’t make them useless.
I see what you mean. They might as well be two different types:

from m1 import T1
from m2 import T2
from m3 import f

x = f()
assert isinstance(x, T1, T2)

Perhaps you could have a v_import that imported all versions of a symbol used throughout your project?

Ts = v_from_import_all(
“foo”,
“T”,
)
assert isinstance(x, *Ts)

For static analysis, your type checker could understand what v_import does, how it works, and which symbols will be actually be there at runtime but yes, it’s starting to seem extremely complicated!

What you do with the return_value defines the behaviour you expect from it so to that extent you can rely on that instead of using isinstance:

x: Union[T1, T2] = f()
print(x.foo() ** 12.3)

Perhaps some function could build that Union type for you? It would be a pain to make it by hand if you had 50x different third-party dependencies each pulling in a slightly different requests (but which as far as you are concerned all return some small part of that package that are all compatible.)

If you’re importing a module to use it in some way you’re also declaring some kind of version dependency / compatability on it too, so that’s another thing your static analysis could check for you. That would actually be incredibly useful:

1/ Do your dependencies import an older version of requests than you do?

2/ Does it matter, and why? (eg x.foo() only exists in version 4.5 onwards, but m1 imports 4.4.)
> Shopify outsources their payment stuff to Stripe

I thought they used active_merchant
As a pretty serious introvert who may or may not have had depression during undergrad, my experience has been that the time I most need other people and social situations is exactly when I least feel like I want that.

Which has made me suspicious of introversion as a local maximum that nonetheless leaves one depressed.

Humans don't seem to be built to self-regulate, 24x7, forever. At some point we go off the rails, and other humans (and/or nature) are a good way to kick things back to normal.

(And yeah, I'm pretty sure I'm not a secret extrovert. It can be exhausting being around strangers when I'm down, but sometimes you need to jump off the waterfall and put on that smile that becomes real)
>while the hardware versions of these modules can cost hundreds of dollars, the software versions are using the exact same firmware

firmware? so for the modules you are talking about, what you are saying is that they're virtual analog software synths anyway, and the "hardware" aspect simply provides some jacks for patching?
>> This is a simple self hosted server that has a simple but powerful interface to block ads, paywalls, and other nonsense. Specially for sites like medium, new york times which have paid articles that you normally cannot read. Now I do want you to support the creators you benefit from but if you just wanna see one single article and move on with your day then this might be helpful

Personally I'm not a fan of this attitude. I've read and digested the arguments for it, but, for me, it runs close to "theft".

For example, read the sentence again, but in the context of a restaurant. Sure I wanna support the creators, but what if I just want a single meal and then get on with my day?

Businesses, including news web sites, need to monetize their content. There are a variety of ways they do that.

You are free to consume their content or not. You either accept their monetization method as desirable or you do not.

The "I just want to read one article" argument doesn't fly. If the article is so compelling, then follow their rules for accessing it.

Yes, some sites behave badly. So stop visiting them. There is lots of free content on the web that is well presented and lacks corporate malfeasance. Read some of that instead.

I get that I'm gonna get downvoted to oblivion with this post. HN readers are in love with ad blockers and paywall bypasses. But just because you can do something, just because you think it should be "free, no ads", does not make it right.

Creators create. They get to choose how the world sees their creation. Support it, don't support it, that's up to you. Deciding to just take it anyway, on your terms (however righteous you feel you are) is not ok.
I got an NVMe to USB enclosure, put a disk I had laying around into it, and loaded Ventoy onto the disk. It's fantastically fast and I love it.
You’re right - Satellite data like GPS occultations and aircraft derived data still make up most of the data by volume. Soundings remain the ideal data source and are weighted very heavily in models, punching way above their volume.

As of right now power constraints mean we maintain tracking throughout the night, but cannot execute altitude maneuvers. We have a solution to this cooking though!
Good. It's decent for summarizing and giving me bullet points and explaining things like I'm 5, makes it easy to code things that I don't want to code or spend time figuring out how to do with new languages, other than that, I see no real world applications outside of listening to burger king orders and putting them on a screen for people to make them. Simple support requests, and of course making buzzword-esque documents that you can feed in to a deck-maker for presentations and stuff.

All in all, it helps assist us in new ways. Had somebody take a picture of a car part that had no markings and it identified it, found the maker/manufacturer/SKU and gave all the details etc. That stuff is useful.

But now we're looking at in-authentic stuff. Artists, writers being plagiarized, job cuts (for said marketing/pitches, BS presentations to downsize teams). It's not just losing its hype, its losing any hype in building humanity for the better. It's just more buzzwords, more 'glamour' more 'pop' shoved in our faces.

The layoffs aren't looking pretty.

Works well to help us code though. Viva, sysadmins unite.
I’m building an integration platform. There’s a thousand ways to deeply embed AI throughout it, both to build integration workflows faster, and to help us build smarter API wrappers faster.

But AI has always been a secondary augmentation to the product itself. It’s a tool, it shouldn’t be the other way around.
A key operational requirement for any fixed US ICBM is that you can launch during and after an enemy nuclear attack on your silo fields (silos dispersed and hardened, redundant command links, etc) and penetrate defended areas protected by nuclear-armed ABM systems (e.g. A-135/ABM-4 Gorgon). That means resistance to high radiation flux from nearby detonations at both launch and reentry, as well as the need to survive flying through the expected debris clouds kicked up by previous detonations.
I recently hired the experts of {hacker11tech (@) gmail com} to help me track my spouse's GPS location, as I suspected infidelity. They provided me with accurate and timely information, revealing that my spouse was frequently visiting another person's location instead of going to work as claimed. Their expertise and professionalism were very impressive, and their ethical approach ensured a discreet and confidential process. The evidence gathered was comprehensible and reliable, giving me clarity that I needed to address the situation. I highly appreciate the {hacker11tech (@) gmail com} dedication helping to uncover the truth while maintaining ethical standards, their services was valuable in helping me make decisions about my relationship. I highly recommend this team {hacker11tech (@) gmail com} for anyone seeking reliable ethical practices and their commitment is reassuring.
How Our History Aids in Learning AI and Software Development
Yup, survivorship bias:

https://en.wikipedia.org/wiki/Survivorship_bias
Is this the game? https://lab.flipper.net/apps/scorched_tanks
Kiwi billionaire Peter Thiel eyes possible shift to New Zealand
I have a question for folks working heavily with AI blackboxes related to this - what are methods that companies use to test the quality of outputs? Testing the integration itself can be treated pretty much the same as testing around any third-party service, but what I've seen are some teams using models to test the output quality of models... which doesn't seem great instinctively
No way to know. Neat product but I just can't risk installing it. Been burned before, even though my gut tells me this is completely safe.