skysight-inc/HackerNews huggingface dataset:
1. It's only a modicum of assurance.

2. There are many ways to get a modicum of assurance. Types, tests, formal methods, cleanroom software engineering, NASA's IV&V, many others that I'm sure I'm forgetting.

So there are many ways to "know if your shit works" and none of them support turning off one's brain entirely (for the part beyond the "modicum"). What I did here is to explore some of the other approaches that I have long neglected.
The problem is that it's gonna be hard to use WebGPU in such cases, because when you go that "high" you usually require bindless resources, mesh shaders, raytracing, etc, and that would mean you're a game company so you'd end up using platform native APIs instead.

Meanwhile, for web, most web games are... uhhh, web games? Mobile-like? So, you usually aim for the best performance where every shader ALU, drawcall, vertex and driver overhead counts.

That said, I agree on your take. Things such as this (https://voxelchain.app/previewer/RayTracing.html) probably would run way worse in WebGL. So, I guess it's just a matter of what happens in the future and WebGPU is getting ready for that! I hope that in 10 years I can have at least PBR on mobiles without them burning.
>Why shouldn’t you be able to sell macaroni

Because there is a standard to what "macaroni" is?

Otherwise call it something else. You can still sell pasta.

Having standards for food is very nice for citizens. For me it makes cooking far easier knowing if something actually is what it says it is. It actually matters.
Great quote.

Also, props for a cool personal blog and project list, I'm listening to Phasmaphobe now... congrats on creating and publishing a full-length album! No easy feat.
GB200 Hardware Architecture – Component Supply Chain and BOM
I'm aware, but it's at the same level of quality. I don't see what's so special about the results of some guy fooling around with his computer's paint program.
You're gonna hate the e.g. Southeast Alaska route names, where the plane arrives from one location, unloads some passengers, loads others, then takes off for another destination entirely (specifically Anchorage->Juneau->Petersburg-Wrangell->Ketchikan->Seattle), and yet it's the same flight number the whole way.

They've competing constraints here: they need all flights to be uniquely identified while in the air, but also all flight identifiers need to be easily expressed over audio. So, even switching to e.g. hexadecimal could be difficult, because "A" can sound like "8". So maybe we use phonetic alphabet for those digits?

Oh but wait, this is to say nothing of the devices actually tasked with transmitting/receiving this info. If the software engineers correctly identified the risk here, then the flight numbers are being stored as two 16-bit integers inside the firmware, so there's plenty of headspace. But if not (say, they only gave 14 bits to the flight number, and 10 bits to the airline designator), then the firmware has to be updated. The FAA lists 648 air traffic control installations in the US, covering 19,000+ American airports. For what are probably obvious reasons, the lions's share of the equipment is not set up for firmware updates via a simple push mechanic, if its setup for remote update at all.

All of this to say, I agree, its dumb, but when this stuff was invented, the prospect of almost 20,000 airports in the US (so, probably on the order of 100,000 globally) likely seemed impossible. Future-proofing has a physical cost, and at the time, it may have been literally impossible to calculate the true cost.
Show HN: The enterprise AI platform for all your company's data
Hi HN,

Paillor is trusted by tens of thousands of employees daily to find the knowledge they need to complete their work. Easily connect your Confluence, SharePoint, Google Drive, and other apps to streamline access across departments. Our knowledge graph connects all your enterprise data, ensuring personalized answers based on your role, team, and current tasks.

We are working to automate requests and provide a centralized location for all your knowledge needs. We would love to get your feedback on how we are doing.
I disagree, because the scope doesn't escape those functions and it can greatly reduce the amount of ::

Usually in an entire codebase or a module there's a lot of competing, similar symbols. But in a function that's not the case, because they do something small. So there's no benefit to being more "explicit", because the function already states what it does.

For example you might not want to use std::chrono. But in, say, a series of timing functions you really don't want to be writing std::chrono:monotonic_clock::now(), do you? You can just use a using and then just call now() or whatever.
He wasn’t struggling. He had sold his former company properly. He was just more or less taking a break by working at McDonalds.

Some people said it was a bit disrespectful at the time because he didn’t need neither the money nor the experience and was only doing it for the kick of it. I tend to agree.
Personally I‘m using BetterTouchTool‘s floating menus for this. These are very powerful because they are fully scriptable and can be triggered in many different ways (although the docs are still very basic, most useful info is on their community forum). Here is a nice window management preset I have been using for some time now: https://community.folivora.ai/t/mouse-window-menu-mwm-window...
You'll have to pry CDK out of my cold, dead hands.
If that would be usable and could be assigned at sufficient precision the flight number would not be necessary at all!
I hope you succeed
It's a golden age for music. More than half of Spotify payouts go to non-agency talent, IE small musicians. It's a great discovery mechanism.
I'm no cryptographer so I might be misunderstanding how all this works (also why I have to rely on whatever signal I can catch instead of just reviewing the code myself like with other more mundane dependencies), but it was my impression that in cryptography things were to be considered with skepticism until at least someone else (emphasis on "someone else") with good enough credentials/skills had attempted to break it at least once.
Depending on your zone, they may not live long enough to turn red. I'm in MN and when growing serranos, I had to bring them inside before I got any red ones. Happily, though, they continued to fruit indoors throughout the winter.
It's more hassle than middle-click to open something I plan to read in another tab.
Don't quite understand why not more mobile apps have a radial menu.

Seems like a reasonable choice for one-thumb controls.
Breed pressures SFMTA to kill Chinatown bike lanes after backlash
If they had to switch to a new plane, wouldn't they also need to refile the flight plan? From what I understand that would be the case, so either a new number would be assigned or the details would be updated in the system. I'm not a pilot, I know a few instrument rated pilots but they're private, not commercial so this may not be the case.
> By eliminating loss of control as a failure mode

I think this is a flawed view of the problem, even with an industry-grade FCS to work with. If you're in the air, you should know how to break out of a stall, belly-land in an emergency, or route around turbulence as it crops up. These things happen, and preventing someone from doing a loop-de-loop won't eliminate a category of failure-modes.

This is something I very much wish would be a reality one day, but you'll be kicking yourself with every incident report that blames bad piloting. One can only hope that they wouldn't risk their own life trusting an untrained pilot.
No deduplication is a tradeoff I'm willing to make for simplicity and less things that can go wrong :)
Yes, forming a cartel is illegal, but prosecuting cartels is complex and requires a high burden of proof. There’s also the jurisdictional complexity, especially if you’re waiting for federal prosecution. By creating a specific local law, San Francisco makes it much easier to prosecute this type of statute. This approach simplifies the burden of proof significantly. Instead of proving collusion, prosecutors only need to prove the use of such software. It’s a strategic move to facilitate enforcement and protect renters more effectively.
Anything that transforms or processes text, like a compiler or type checker, is pretty easy to test. You get into trouble with user interfaces, however.
Access cards for satellite TV or SIM cards are great examples of reasonably secure systems. Surely probably for 1M$ one can hack single card, but it will be wildly unprofitable. Which demonstrates that with the right insensitive industry can develop secure stuff. And the card development took like 10 years. And it was a highly non-trivial job as it required to develop entirely new hardware.

With software it must be easier. The big IT companies most likely are incapable of doing that as the security was never a hard requirement for them from the very start so it is not in their DNA and at this point they are themselves are security liability. Smaller companies on the other hand should be capable of producing software withing the right legal framework that only state actors can hack.

EDIT: case in point is Google trying to prevent double-free bugs in Chromium using smart-pointers. What was originally planned to be one-year efforts took like 3 years and counting just because Google cannot afford a few percent point performance regression and various teams working on Chromium do not prioritize the relevant non-performance bugs.
Sorry if it wasn't obvious, I was talking about the historical UK that owned and operated the British Empire up until the world wars and then almost seamlessly ceded the mantle to the US.

I bet you also are unable to learn any lessons from the ancient Roman empire since Rome is now just some touristy city with a lot of litter, or something?

The US produces around 13% of the world's oil today (and also produced most of the oil and gas for a period when it was new), around the same as Saudi Arabia, and has constantly benefitted from its natural resources (not just oil-- even going back to trees and iron ore)

But none of those things are in any way central to my point-- the advantage of being in a common law country when you run a business in a complex evolving commercial industry, so you can both depend on reliable consistent law, but also expect it to naturally and flexibly extend itself to new situations faster and more consistently with older expectations than a political legislature possibly can.
I think the reason here is because one is using Llama and the other is using GPT-4o.

But as another commenter pointed out, they don't seem to consider your repositories but simply your profile
Thanks for the context! Unfortunate to hear and curious to do some follow-up reading.

And at least the weather has picked up a bit right now haha! Time to get off the web and take advantage of it as Denmark gets so nice once the weather is good.
> struggle with taking anything Gorsuch writes seriously

Gorsuch wrote Bostock, the opinion granting LGBT Americans protection from workplace discrimination [1][2].

[1] https://en.m.wikipedia.org/wiki/Bostock_v._Clayton_County

[2] https://www.supremecourt.gov/opinions/19pdf/17-1618_hfci.pdf
I like Dave Chappelle's version: "(Trump wants to) bring Chinese jobs back to America... for what, so iPhones can be $9000 dollars?"

https://www.youtube.com/watch?v=inlDT62oGy8 (NSFW language)
What do you propose to replace CloudFormation with, especially since you’ve gone scorched earth on the related products?
I think all the fiber/wire controlled TOWs are retired from US service though? The new ones are all wireless AFAIK.
All love and solidarity your way. Thank you for your courage and kindness.
I'm nearly done studying for the GRE, this is a huge gap that needs to be filled. None of the test prep companies have the software know-how to build anything fun. I think your product can succeed. My 2 cents (take with a grain of salt) is that real learning is difficult, so your ideal learning algorithm will constantly be giving people problems they're bad at, and attacking their weaknesses. This could discourage people who are used to 'studying' as just doing busywork/rote problems. Either provide education on this piece, or mix in some easy stuff. Good luck I love your idea.
LANCommander v0.9.0: New custom game launcher
Last night I released v0.9.0 of LANCommander, a self-hosted digital game platform. This latest version introduces the new launcher that I've been working on for the past 5 months!
A huge portion of AWS services are really annoying in my opinion to grassroots developers and platform managers because they are basically executive demoware.

You know the kind where the salesman comes in and in front of the CIO builds some whiz-bang demo and like 20 minutes and has a CEO asking why it takes a month or more to do equivalent stuff by real it workers.
I knew someone a while back who worshipped the ground AWS stepped on, and thought CloudFormation and CDK was the best thing since sliced bread.

I honestly couldn’t see where they were coming from. CF is awful to work with, even more awful when you have to recover from a failed deploy or rollback, and hacking declarative concepts into Typescript for CDK is just a maintenance disaster in the waiting.

I don’t know why you would choose any of those over Terraform or equivalent declarative IaC tools unless you are a die hard AWS fanatic or simply had the misfortune of inheriting the stack.
A Reconfigurable UGV for Modular and Flexible Inspection Tasks in Nuclear Sites
There's a nearly-negligible amount of heat being created from simple radioactive decay, but essentially all of the heat is just leftover from the formation of the planet.

Which is just nuts to think about. The core is that hot and it has been for billions of years. Incredible.
People who order absentee ballots are presumably expecting them to arrive. It would be pretty obvious if someone started taking ballots from such a highly engaged voting demographic. If not from people looking for their missing ballots, then it would show up as double voting eventually. Every apartment I've ever lived at also had locking mail boxes. In the absence of evidence that any ballot box stuffing happening at any scale, and having so many controls in place, we can safely assume it is not happening. But sure, perhaps mailed ballots could be improved to further combat the possibility of mail theft.
Took up journaling late last year on Julia Cameron’s suggestion (“The Artist’s Way” prescribes for artists a daily, morning free writing exercise). It is a distinctly effective way to neutralize ruminating thoughts, pull apart confusing feelings, de-censor myself from myself; simply put, I have been able to raise my consciousness through journaling.
Hi James, I applied for a full-stack role (focused on the backend), I just wanted to know if you are open to mid-level or if you're looking for a more senior. (I have ~3 years of experience)
How do you propose this training happens? Surely this will require a full PPL as you're well above LSA limits.

I'd also be deathly afraid of what happens when the automation inevitably fails.
iirc voter registration records can be legally obtained in bulk, presumably containing names and addresses but I'm not sure if it's the full record. Presumably, such records are used by tools like ResistBot to notify you when your voting registration was removed.

Voting records are another level on top of that and I can see how that would be used for voter intimidation. Voting used to be spoken aloud very early in the US republic. It changed for good reason.
There is a difference between laws and regulations. Law determine what is legal. Regulations dictate HOW to act/behave to be within the government's interpretation of the law. Courts determine whether the government's interpretation of the law is fair or not to those who bring suit. Every court decision is, to a certain extent, also a regulation.
Thank you for everything.

My mom just passed from ALS and now this. It's so unfair that we have essentially no working treatments for these, even though they always tout how advanced medicine is but I feel like it really is not advanced at all
Commercially available write-once M-DISCs are rated for almost 1000 years.
+1 on NAT Gateway. For those unaware, you need to setup a NAT gateway for your tools inside of a VPC to access the internet. I forget the pricing, but it's way more expensive than it should be and it's a huge pain to setup. This is a service that is annoyingly expensive for hobbyists/indie-devs/people just playing around, but a rounding error for AWS's "real" customers. Just build it into VPC (a checkbox that says "I would like to be able to access the internet from my code in the VPC") and make it free or at least have upfront pricing.
How about evolving CloudFormation and CDK instead of trashing it and starting over.

The CF web interface does not do a great job of showing the hierarchy and relationships between resources.

And working around circular dependency issues in CDK can be a real time sink.
McDonalds probably has more hours to cover per week, all hours of the day and more year round need.

A DQ may be open early and year round too, but really needs people in summer evenings and weekends when high schoolers are most available.
> presumably there is a reason someone hasn’t undercut those parts already. Small market?

I suspect the answer is simply regulations. Far too many modern things in aviation have been held back by the FAA.
I've done that when testing CI pipelines or pushing up minor tweaks to a personal project... but committing and pushing so often.. maybe OP was editing right in GitHub?
Doesn't Amazon/AWS use this very heavily? Whenever we have to get on a call with AWS engineers it's through Chime.

As a product, it seems fine. I'm not entirely sure it's an area AWS really needed to have a competitor, but now that they do, /shrug
Pretty much this. For further consideration it may be worth looking into Daniel Dennett's writing on qualia (notably that they're ineffable and private).
Video game actors are officially on strike over AI
> there is a standard to what "macaroni" is?

Do you really think the American public is better served by being protected from extra-thick or thin macaroni? What fraction of Americans know the difference between regulation-standard macaroni and other pasta?

> call it something else. You can still sell pasta

Sure. Too bad if you didn’t hire a lawyer before you started selling macaroni.
Copyright serves the elite. The things those in power want to deregulate are always things that protect the public like worker and environmental laws. There was a reason that buildings went up faster in the 1930s - (poor) people died and the materials were dangerous.
Elon Musk Says Robotaxis Are Tesla's Future. Experts Have Doubts
At every org I've had to interface at a deep level with AWS, they've used our Zoom. n=1
Such thoughts never do more harm than when they are trapped in our heads. Fortunately, paper notes, unlike digital ones, can be made to disappear without a trace.
Just set a reasonable limit and set up a column type change for if you ever have it exceeded?
Apple charges money on a license for lighting cables. And it's not cheap. Surprise, their competitors don't want to pay out millions to Apple for some crappy charging cables.

People have this idea lightning stuck around because it was good. No, it was a money printing machine that required no lubrication from Apple. Even the dumbest of the dumb MBAs wouldn't have killed lightning. From a business perspective it's gold.
I used to use a similar app where you'd spin your mouse in a circle and it'd pop open a radial menu in the center of the circle you drew.

It was kinda neat, I forget the name of it.
Wondering what you think about this video[0], which (if one ignores the clickbaity and colourful language and focuses on the substance of the argument) frames problems with mass adoption of "flying cars" as fundamental and idea-killing non-starters, rather than hurdles to work hard on, and overcome.

[0] https://www.youtube.com/watch?v=6fcWOivJ6bs
Looks like I didn't correctly proofread all the shortening I had to do to make it fit within Hacker News' title size limits :) I tried pretty hard, though.
Iron and nickel mostly, not lead, AFAIK
Thanks
Dogan
It sounds like that process involves at least one signature that would have to be forged, and a backend process at least manual enough to result in some physical mail arriving at the voter’s address afterward. Then, when the voter arrives at the polling place, they can still cast a provisional ballot [0]. Which will count when it’s reviewed, and which, if it happens at scale, seems like it would flag up the scam to the canvassing board.

If you’re willing to make fraudulent representations to the elections office, it seems like a wide variety of online services might be at your fingertips, like concocting new voters with a similar amount of information [1].

But in both cases, it seems like the main security measure is “the feds are very eager to help the locals investigate when elections are tampered with, and judges really like throwing people in jail for a long time for willfully lying in connection to elections.” E.g. [2]

[0] https://sos.ga.gov/how-to-guide/how-guide-voting#Provisional...

[1] https://mvp.sos.ga.gov/s/voter-registration?IsRegisterNow=tr...

[2] https://www.cnn.com/2021/05/03/politics/pennsylvania-probati...
I can find descriptions at one level or another (eg RNN vs CNN) but is there a deeper kingdom/phylum/class type taxonomy of neural network architectures that can help a layman understand how they differ and how they align, ideally with specific references to contemporary ones in use or being researched?

I don't know why I'm interested because I'm not planning to actually do any work in the space, but I always struggle to understand when some new architecture is announced if it's a fundamental shift or if it's an optimization.
Hi, I'm thinking about exactly the same problem right now. Bringing in house devs to a "legacy" industry business, that has poor use of some digital services... This could really brings an advantage, and I'm sure nowadays software engineers could really be interested in working on "tangible" subjects rather than some bullshit saas...
You set up the frequent shortcuts you want for each app: This way you can quickly switch between different modes or tools in your different apps by only remembering one shortcut.
1989 was picked as it was the peak of the Japanese economy, the point from which people thought the economy could only continue to grow even larger, because that's what it'd always done - basically the same sort of stuff you're espousing here. But of course that's not what happened - anybody who invested at that time (or in many years around) would have seen nothing but losses over the decades to come. The end date was a typo, of course I picked 2023, the latest date the site supports. Do it 1989-2013 and you'd have lost 64% of your money!

Not only is markets declining longterm an obviously possible outcome, but as population levels start to decline, it's likely to become more the norm than the exception. When your population is growing, each year all businesses naturally grow. When your population is shrinking, all businesses naturally shrink each year. Fertility collapse is going to shake the world like nothing before.
I love the concept, as an aviation nerd (and hopefully future GA pilot). However I'm a little cautious - understanding weather particularly is massively different from moving in 2 dimensions and you can't land "anywhere", unlike how you can pull over. And the average person who doesn't know much about the weather isn't likely to know what a microburst is or why it's dangerous.

I'd recommend pitching this to (new) pilots instead at least for starters.
Altitude: Triage violent, extermist, and terrorist content
Yes I think being able to know what a product is by its name is very valuable, and it's obvious why.

I have no idea what your other statement means.