skysight-inc/HackerNews huggingface dataset:
To be clear, the optimizer doesn’t uphold the post condition. It just says “the post condition is usable to elide other checks”. But if the condition itself is incorrect, the compiler will STILL elide those checks. If the compiler could prove the condition on its own it would have done so. That’s why that assert is named unchecked and is itself unsafe!
It's Snarkiness, not FUD. Neither fear, uncertainty nor doubt involved here.

And I think everyone knew from context that the claim was strongly tongue in cheek.
An index fund is a type of mutual fund
Mentions of the terms, not the people themselves. What difference does it make what gender or heritage a person has? Shouldn’t it be about science?
To Actually fix the embedded structural problems of an established system requires at least as much wisdom as intelligence. So far I have not seen Elon and his young minions demonstrating deep levels of wisdom
Not an actual dilemma. Also, up to last week, not an actual rivalry much less a conflict.
Debt to revenue leaves out a whole other independent variable, which is other expenses, many of which are set by law. Debt as % of GDP is probably more relevant:
https://en.wikipedia.org/wiki/National_debt_of_the_United_St...
1. The reigning liberal ideology foundationally believes that federal spending is existential to every individual.

2. They have no concept of how little it matters to most people.

3. Or how much is actually in the hands of states, counties, and municipalities.

4. It's deep into delusion territory.
As far as I can tell Elon has had security clearance since 2019 because Space X was (and still is) contracted to do work for the DOD. However I don't know what kind of clearance it was at that time.

Please correct me If I'm wrong.
Absurd, comic book villain activity. Who/what does this help?
You can. There's usually a hefty transaction fee when purchasing a funds not managed by whichever service you're on ($49?).

Might be manageable if you're purchasing in enormous quantities; but a 5% fee on $1000 hurts if you're in normal consumer purchase ranges.
Because 'what's good for the goose is good for the gander' doesn't apply to Muskolini...
Buggify
looks like it’s some sort of fisheye camera with a super wide fov. it might be simulating rays bending due to lens effects. a pinhole camera could just look “normal” ie straight lines stay straight (except for horizon convergence perspective effects)
I love how this post is an exact implementation of my advice on link blogging (add some personal commentary, quote liberally) - applied to my article about link blogging. Very meta. https://simonwillison.net/2024/Dec/22/link-blog/
Suicide attack boats aren't a wholey new threat (see USS Cole) the US has been thinking about defending from small surface craft too. It's really hard to guess how effective any attack and countermeasure will be until you see it in the field and given the shabby state of a lot of Russia's military I'm dubious that the results will be directly comparable especially since the planners on the US side are getting to see and evaluate both sides.
Every time they say they're removing "DEI", they really mean they're implementing segregation. Stop sugar coating it. They're trying to erase minorities and women from any mention. That's just the first step.
This whole administration is a (very bad) joke. America was fun while it lasted.

I encourage everyone to read this: https://archive.is/g6ElI

The parallels are staggering.
If you rely heavily on old-school gtm, most def you will have to change strategies and rely more on Agentic AI GTM processes
No. Grok, spaces, community notes, long form videos, user payouts. It’s doing far more now than ever before.
> Functions that require some amount of optimization to prove that they do not panic may no longer compile in debug mode after being marked #[no_panic].

So you’re probably going to have to protect this with a cfg_attr to only apply the no_panic in release only.
Are you guys still hiring for Data scientist? I think I can be a great fit to the team?
Biden considered Nippon Steel a national security threat so the Japanese are going to raise an eyebrow when the US Navy begs them to work on actual military ships
1000 times this. Fly as much as one can safely, not more.
Lakera AI (https://lakera.ai) | Full-time | Zurich, Switzerland | ONSITE

We're looking for Software, Infrastructure, Platform, and ML Engineers (Senior-Staff level) in our office in Zurich.

Our team works on AI security (our flagship product is a layer for GenAI threat detection). Our current customers include Dropbox, Twilio and other large F500 companies.

We've created the game Gandalf, which helped us collect 20M+ attacks that we use to train our models.

If you're interested, it's best to reach out to me at mm@lakera.ai + apply at https://lakera.ai/careers!
Antitrust. Break up big tech next election cycle.

The big companies are suffocating entire industries because their scale is so large that they don't even need to profit in many of their businesses. They just enter new markets, snuff out the competition, and add eyeballs to their platforms.

Amazon is a movie studio and a grocery store and a primary healthcare provider.

Google owns every ingress to the web on every pane of glass.

Apple taxes and polices all activity happening on a platform they tightly control and that due to economies of scale you can't launch a competitor. Their duopoly partner in crime is complicit.
My dad had a manager recently that he started calling "VPGPT" behind his back.

He felt like the guy primarily spoke in truisms and with long-winded statements that ultimately said very little but gave the illusion of having depth. He wasn't a huge fan.
If you login to Spotify on the website you can get a better deal and then you can sign in on your phone and it will work like normal.

If they got into trouble I assume they’d just make all the users do it that way…
And who doesn't want to live in an economy where your purchasing decisions are made with the hunger of starvation!
I'm saddened to tell you fellow hackers here that the real world will be more like:
"Replace your knowledge worker with an LLM" ordered by your CEO.
Wow, thank you for this comment and for continuously sharing!
I remember how "master" and "slave" were banned a few years back in information technology context and people cheered that ban. And surprise surprise, the same mechanism of arbitrary bans can be turned 180 degrees. And it appears that if the only criteria is a superficial offense at the established word unrelated to the imaginary offense, then many different people can use that same mechanism to ban or attack whatever they want. From all sides of the political spectrum. Who knew, right?:)

PS: I'm against any word bans with a very few extreme exceptions. Blanket bans for whatever random person deems offensive inevitably led to this^. Like clockwork, every single time.
Thousands flee Santorini as quakes rattle Greek tourist haven
We tried using vanguard. The UX/UI was so bad we went through the work of transferring everything to fidelity. They've got a pretty decent app.

Vanguard has so much friction on what should be very simple and common tasks.

There's no excuse for that. I can say pretty confidently that cutting fees won't be enough. They need a total rewrite of all their customer facing software and web stuff, and they probably need to revamp their customers service as well. They screwed up my wife's name and she tried for months and months to fix it before giving up.
> Given that the US shipyards are 'full' with US Navy work, ordering a bunch of merchant marine ships from our allies would boost them and give us trust-worthy vessels.

Both Canada and Mexico would be obvious allies for this, and it would be a win/win solution for less sensitive ships / ship components (e.g. finish shell, then fit in US shipyards).

> Another option would be to order civilian-like designs with a 'basic' shell, and then do retrofitting for military needs domestically.

This has historically been the biggest problem with the US Navy -- they're really dumb / bad at specifications.

Imho, the US would be well-served by taking ultimate control of ship design out of the Navy's sole hands, and infusing someone with a cost-focused incentive into the process.

It's a terrible joke at this point that the USN starts with "We'll pick an off the shelf foreign design" and then customizes it so much it's no longer mass producible.
Fascists. It helps fascists.
This feels like somebody telling Bob Vila, "This house needs a kitchen renovation."

It might actually need a kitchen renovation but you can't actually do it until you repair the foundation under the kitchen. The bathrooms might be a higher priority, you don't have any tools, you just kick out all the contractors, and the next meeting with your parts suppliers is in the courthouse.
Okay, but what will you actually do when your LLM writes code which doesn't actually error but produces incorrect behaviour, and no matter how long you spend refining your prompt or trying different models it can't fix it for you?

Obviously you'll have to debug the code yourself, for which you'll need those programming skills that you claimed weren't relevant any more.

Eventually you'll ask a software engineer, who will probably be paid more than you because "knowing what to build" and "evaluating the end result" are skills more closely related to product management - a difficult and valuable job that just doesn't require the same level of specialisation.

Lots of us have been the engineer here, confused and asking why you took approach X to solve this problem and sheepishly being told "Oh I actually didn't write this code, I don't know how it works".

You are confidently asserting that people can safely skip learning a whole way of thinking, not just some syntax and API specs. Some programmers can be replaced by an LLM, but not most of them.
> And their method of removing it is by deleting folders?!

I suspect this is the only way to actually get it to stop running. See some of the sibling comments here about how it re-enables itself. Maybe if you had the enterprise version of Windows you could do something else.
Don't ban. Tax. Never ban.

Tax low capacity flights more. That both reduces the number of flights and raises money which can be put toward paying ATCs more and increasing the headcount.

You then have a lever available to dial up and down to further reduce flights / raise money.

Banning is expensive and increases legislative and judicial burden.

Taxing is a much more efficient way to stop people doing things.

You have to be careful not to only lock the poorest in society out while the rich enjoy carrying on regardless, but in the case of low capacity private jets, I don't think that's a significant problem.

If the tax doesn't put off people enough, just raise it more until either it does start to dampen demand or you're raising so much money through it you no longer care and have a new revenue stream to spend on fixing whatever problems they're causing.
Except that going from human computers to mechanical computers made us more precise and more accurate at doing calculations, not less.

Modern AI assistants have yet to demonstrate greater level of competence than even an inexperienced human programmer. Anyone telling you otherwise has fallen victim to extrapolation.
From what I understand, if they are over 30 and have less than 20/20 vision, they aren’t qualified.
And instantly flagged, of course.
The inclusion of Vonnegut's _Cat's Cradle_ is bizarre --- it posits an impossible substance, with bizarre properties, and examines society in a way I have trouble relating to, and its commentary on science such as it is, is if anything, discouraging.

_Dune_ for its role in inspiring the study of ecology would seem more fitting.

It's unfortunate that a didactic text such as H. Beam Piper's novella "Omnilingual" couldn't be considered instead.
Oregon State University's Open Source Lab (https://osuosl.org/) offers managed and unmanaged hosting to open source projects. They even have IBM Z and POWER10 hosting if you're into that sort of thing.
> It may be falling short of what you think it should be.

It may not be falling short of what you think it should be.

> A bunch of the rest of us don't think that, though.

And if a bunch of us do think that, what then?

> You may feel strongly about what you think we should do, but you don't get to tell the rest of us what the site should be about.

Sure, but neither does anyone else. Like, ehm, you.

> You don't get to tear up the community guidelines and write your own.

What if many of us think they might need a few changes? What if most of us do? I mean, you seem to be arguing on the assumption that nobody, or at least almost nobody, does. Do you have any statistics to back that up?

> Let HN be what it is.

(At the risk of sounding somewhat Clintonian:) So what "is" HN?

If you're going to say "What it's always been!", then... No. It already isn't. Becasuse nothing ever is "what it's always been". Eternal constants don't exist; everything changes all the time. (Guy I used to know back in Ephesus used to say that.) HN now is already something very different than what we got user IDs on back in 2013, and it ain't gonna stop changing. So where were you with your resistance to change for the last dozen years or so?

> If that doesn't match what you want, go find somewhere else that does.

"Just because the Democratic Party is actually advocating labour camps for capitalists and mandatory sex change operations for everybody now is no reason for you to demand it should change! Let it be what it is, and if that doesn't match what you want, go find somewhere else that does!"

"Just because the Republican Party is actually advocating concentration camps for immigrants and mandatory megachurch membership for everybody now is no reason for you to demand it should change! Let it be what it is, and if that doesn't match what you want, go find somewhere else that does!"

See how ridiculous that is? So no, that's not how any of this works.
I couldn't find anything immediately definitive but this 2023 survey of federal workers was quite eye-opening: https://ourpublicservice.org/fed-figures/a-profile-of-the-20...
only in person?
Yep, big tech sounds like they are in a dire position right now /s
> The President also doesn't get to enforce traffic laws by random summary executions

- Congress has not passed laws against traffic violations (well, except in D.C., federal land, etc.).

- Even when they have, they have not designated the punishment to be execution.

- Even if the violators are federal employees, the executive doesn't have the power to summarily punish their violations by anything worse than firing the employee, even under the unitary executive theory. The executive can't levy any criminal punishment on their own. (They have since FDR been able to levy civil penalties in certain cases, but rulings like SEC v. Jarkesy are limiting that power.)

So your hypothetical makes no sense, even under the broadest interpretation of the "unitary executive" theory. What Trump, Musk, and DOGE want to do is to make it as easy to fire and discipline the federal workforce as it is for a company executive to do the same to a company. We'll see how far it goes I suppose. I wouldn't be surprised if there is a federal civil service reform bill introduced soon to at least allow the executive to put any civil service employee on indefinite paid leave - that would allow Congress to set conditions on federal employment that don't prevent the executive branch from implementing its agenda.
Meta would be blogging about this post.
That is an exclusive back door deal with both Google and Apple, that was likely only created because of how much antitrust pressure they were under. Times are changing, I wouldn't be surprised at all if Apple backs out of the deal over time.
For me the answer is yes. It has been more important than upgrading the processor or anything else. But this depends upon your use case.

If you're a tinkerer or even just some kind of traditional PC gamer Mac just isn't a fun platform because there isn't much you can do with it besides buying a newer one. For a long time Windows was a good choice for this kind of user but less so now.
Love this approach. For the Hugo blog users, my theme https://github.com/kaushikgopal/henry-hugo makes this style of blogging easy. Just add external link in the yaml header and it'll be marked up as a "link" style post
In pinhole cameras, straight lines look straight. That's what a regular projection matrix gives you with rasterization.
With non-pinhole cameras, straight lines look curved. You can't rasterize this directly. 3D Gaussian splats have an issue with this, addressed by methods like ray tracing.
It's very useful to train on non-pinhole cameras, because in real world they can capture a wider field of view.
Great piece on building your AI brand voice.
How does it help them?
I wrote some code a while ago that gpg-encrypted zfs snapshots and stored them in backblaze b2.. Just because they don't have software that backs up disk images for you doesn't mean you can't make that happen yourself!
This should be easy enough to solve. Cut the hours back to something sane, and as much as possible time the airport closures in ways that affect the ruling class. You get bonus points if their jets are also delayed during normal taxiing and clearance requests -- explain that it's for their safety, since they're more important than everyone else and can't slot in to the same sorts of back-to-back landings that the common folk use.
My broker doesn't show fee on some of the Vanguard instruments, but e.g. the S&P 500 UCITS ETF (USD) has 0.08 % listed as fee. Which ones are you looking at?
25ms is fine for the vast majority of people except maybe hardcore gamers.

3ms at the speed of light is 500 miles. Much of what your accessing will be physically further than that anyway.
I would assume that they plan to throttle or otherwise keep a limit on number of users. In case things turn out to be harder on the backend than they were expecting. Could also be a fencepost in case they decide to shard users in a different way in the future and need to wipe people's save data?
And what they are doing now is "skipping the movies and spending it on weed." Shutting down USAID, even if eventually Rubio came in and rolled that back is what you just described. That was an office created by congress.
There are tens of billions of dollars locked up in DeFi ecosystems with hundreds of millions of dollars worth of assets exchanging hands daily, but you would probably just say that it doesn't count for some inane reason.

Tokenized stocks are coming this year.
It's a solvable problem.

1. Fully automated and reproducible builds, bootstrapped through a verifiable chain. GNU Guix has done this: https://guix.gnu.org/en/blog/2023/the-full-source-bootstrap-...

2. Unapologetically, ruthlessly, and tirelessly simplify the software. Suckless.org is a bit on the extreme end, but I continue to be impressed by OpenBSD - it strikes a beautiful balance between clarity and function. They've also meticulously combed the entire source tree around 2010, looking for any signs of the supposed FBI backdoor.

It takes a lot of motivation to do either, let alone both. The financial incentives are elsewhere. But it's been (and being) done.
The US average is absolutely distorted. You should definitely compare the median. In terms of cost of living I very much doubt US is less expensive, especially when including health care in the equation. Additionally, there is a huge difference depending which european countries you are comparing to.
The primary purpose of guided missile destroyers is missile defense.

Modern destroyers are capable of staying on station almost indefinitely and defending themselves and allied vessels from nearly any existing airborne threat.

Such a platform needs to be on station and close to assets at risk so it can interdict. You would need to orbit these platforms continuously to provide protection, and would need more than one of them at all times.

Missile defense has been one of the biggest topics in international security over the last year, and is Trump's biggest defense priority.

This is not a good sales pitch.
Treating the government like a startup is gambling, the difference is startups are intentionally disposable while a Nation State... it's a fucking Nation State.
Correct, the executive branch can always opt to not spend the money it was allocated.

It's just that as far as I can recall no one has ever really tried to spend less in the government.

EDIT: I was mistaken, please look up Impoundment of appropriated funds

https://en.wikipedia.org/wiki/Impoundment_of_appropriated_fu...
My dad was an air traffic controller until the mid 10's and this has been a problem easily since like 2005.

They struggled to recruit people who could do the job at all, and when people got into the building to be trained (after an initial training) most of them would quit because they couldn't do it.
Let the era of the link blog begin
This is the very essence of pedantic.

Do it at work, or in public. In the current context, the meaning, which you would discover if you tried it, is unambiguous. FAFO.
A lot of clever code thinks it's optimizing for readability when it's really optimizing for the feeling of cleverness itself.
While I have been amazed by the progress of LLMs and believe that this ultimately leads to AGI, I still think that LLM aided development is limited to things that are often done and are well documented in the training corpus. Writing code with new libraries or less documented lower level apis still requires you to actually do it. LLMs slowly separate you from your understanding of what your code is doing, and if they don’t meet a minimum threshold of proficiency on a topic, they will slowly and insidiously degrade your codebase until you realize Claude (or whoever else) has built a house of cards.
A couple years back I was playing Sea of Thieves with some old friends, and one of them noticed he was experiencing motion sickness with a video game for the first time. Obviously the part where you spend most of the game on a ship had something to do with it, but when I suggested he increase the FoV, he said it only helped a little. After trying other things, eventually we discovered the turning vsync on helped immensely. I'd never heard of that being a contributing factor before—I always turn it on for first-person games because I find tearing to be distracting, rather than sickness-inducing—but nonetheless, that was the solution that allowed him to play with us.
In California (one of the few places that's issued an L3 permit) the regulations place all of the requirements on the manufacturer. There is probably a workaround where the sacrificial company "installs" the self driving system (i.e. plugs in a USB drive) but then they would be the manufacturer and get saddled with tons of other regulations. Just for L3 driving alone they would need to get their own permit and their own proof of insurance or bond worth $5,000,000. Even then IDK if this would work given the department has a lot of leeway to reject applications on the basis of risk to public safety.

https://www.law.cornell.edu/regulations/california/title-13/...
I call it recursion
The ruling class makes the rules, though. That's their whole deal. That's why nothing works right.
that's right, although that isn't quite the same concept. Regulatory capture implies the large companies have helped draft the regulations to their own advantage (and SME's disadvantage in this case).
It looks like an excellent resource. Unfortunately, at present, all the links are broken within the document.
> P.S. Only cowards downvote.

I downvote obvious shills, deliberately pretending to not understand peoples' point, putting words in others' mouths, personal attacks and abuse, and blatant incivility (and maybe a few others that don't come to mind right now). I don't think that makes me a coward.