skysight-inc/HackerNews huggingface dataset:
Yep, pretty much exactly this.

Especially #5. I'm certain that I've been at least 10x more productive in learning new tools since chatgpt hit the scene. And then knowing it helps so much with that has had even more leverage in opening up possibilities for thing I'm newly confident in learning / figuring out in a reasonable amount of time. It is much easier for me to say "yep, no big deal, I'm on it" when people are looking for someone to take on some ambiguous project using some toolset that nobody at the company is strong with. It solves the "blank page" issue with figuring out how to use unfamiliar-to-me-but-widely-used tools, and that is like a superpower, truly.

It's pretty decent for "happy path" test cases, but not that good at thinking of interesting edge or corner cases IME, which comprise the most useful tests at least at the unit level.

I'm pretty skeptical of #4. I would be way too fearful that it is doing that plain text to markdown transform wrong in important-but-non-obvious cases. But it depends on which quadrant you need with respect to Type I vs. Type II errors. I just never seem to be in the right quadrant to rely on this in my production projects.

The "really good intellisense" use cases #1-#3 also make up a "background radiation" of usefulness for me, but would not be nearly worth all the hype this stuff is getting if that were all it is good for.
Yep, I thought my first one was a stroke too. I just happened to be driving past my doctor’s office, went in quite panicked, and was told to sit down, chill out and observe it. She was completely calm, so that’s what I did. It really is a fascinating vision.

I was told most people susceptible to migraines get either these ocular ones or the painful kind, rarely both. I’m not sure how true that is but I don’t think I’ve ever gotten the painful kind.

Frequency is once or twice every two or three years since the first one a dozen years ago. It’s easy to imagine people in the past attributing mystical meaning to such a strange and oddly beautiful phenomenon.
Layout yes. But not for tabular data, they're great for that.
“Qualified immunity” is what you’re looking for. The original justification was to protect government officials (primarily law enforcement) from excessive, frivolous lawsuits.

Except the courts have since interpreted QI in such a way that there’s a Catch-22 scenario. Plaintiff needs to establish violation of a clearly established constitutional precedent to have standing, but since QI was only introduced in the 1960s, there’s very little case law proving that precedence.

While I understand the initial thought behind QI, it does seem the bar to holding law enforcement accountable is way too high. Time to adjust the laws (which requires a functional Congress, which we don’t have).
We're currently evaluating OPA for adding RBAC to our open-source application [0]. We plan on using the Go API [1] and doing the policy eval directly in our app since our app is also written in Go.

The thinking is we'll have some basic built-in policies (like admins can do X, editors can do Y, etc) but also allow users to configure their own policies if they want by writing rego and loading their policy rules at startup time (via config). We'd document the inputs that we pass to the evaluation call such as request headers, IP, role, etc.

I'm curious if anyone has ever tried something like this or similar?

[0] https://github.com/flipt-io/flipt

[1] https://www.openpolicyagent.org/docs/latest/integration/#int...
Empires tend to produce these outcomes. Usually there are also mega projects going nowhere.

https://en.m.wikipedia.org/wiki/Cape_to_Cairo_Railway
Remote driving startup Phantom Auto is shutting down
The economy clothes aren't great, but you can get a quality tailored suit for $4000. That's about 6 weeks pay for a PFC in the US Army. A roman legionnaire would pay about a gold ounce for a quality (at the time) set of clothing, however, at the cost of about 6 months pay.

They don't build 'em like they used to, but those of us in the rank and file are getting better off. We can't all be "I think I will just buy Hawaii" rich like Zuckerberg, but quality of life is, overall, improving.
Accel backs startup using AI to Kill Finance Paperwork
Cognition AI just introduced Devin
Right, and I'm going to park my horse right between them!
> If the shield also kills the user, that sort of renders the whole thing moot, right?

Depends, are you the mook hiding behind the shield, or the contractor making and selling a million shield units?
The Based Evil Turbulence Index
Unlock hidden insights – let us be your personal guides to SF
Hey SF!

We're a couple of locals eager to give back to our awesome community and help you have an amazing weekend. Whether it's something fun or running errands, it sucks when you run into inconvenient surprises. We've got you covered from 3 PM on March 15th to 3 PM on March 17th. Imagine having eyes and ears all over SF to provide you with real-time insights so that your weekend plans can go as smoothly as possible!

You can ask us stuff like:
* Is Golden Gate Bakery open today?
* Is Baker Beach gloomy or sunny right now?
* How long is the line at Tartine?
* Does the Whole Foods in Noe Valley have A2 milk?
* Is the parking lot in Golden Gate Park full now?
* …
* Unleash your imagination, we can get you anything perceivable by humans in SF!

Just text us at (415) 662-0103 with your destination and any questions you have, and we'll send you real-time videos within minutes. Stay ahead of the game and get all the information you need before you go.

Follow us on Instagram to get reminded this Friday! https://www.instagram.com/realtime.sf
I'm confused by this post.

> about letting other large players carve up the Apple/Google 2-slice pie into a few more big slices

Do you not believe that increasing competition for app stores will "empower individual users"? If yes, please provide an alternative to DMA that will benefits users more.
Right -- they happen in "screen space", not "world space", to use a graphics analogy.
"You hate capitalism so much, _and yet you live under capitalism!_ How very hypocritical of you..."

Don't get me wrong, Framework makes a lot of neat stuff, but you can't swap out a Macbook to _anything_ without consequences. It does not take a lot of imagination and empathy to see that for some people, those consequences aren't acceptable at all, or not simply not worth the utterly undetectable sting that a company such as Apple would feel by us not buying a single Macbook from them.

If someone has to alter their entire work environment and process, while Apple doesn't even notice, is that truly worth the moral superiority they'll feel? For a whole lot of people, that answer is "no", and I can't blame them.

And yet we live under capitalism...
The Department of Defense (DoD) is, amusingly, Just Like That (JLT).
This is ray marching, not ray tracing. Ray marching takes steps through an implicit surface, in this case the depth buffer, while ray tracing does full ray/triangle intersections.

Games have been doing SSR with ray marching for a decade at least [0]. Just inverting the image would only work on perfectly flat surfaces exactly aligned with the camera.

[0] https://jcgt.org/published/0003/04/04/paper.pdf
How is this a security issue?
This would be an interesting dataset to use for trading decisions (or sell to hedge funds).

But I wonder how much of their infrastructure is publicly mappable, compared to just the part of it that's exposed to the edge. (Can you map some internal instances in a VPC?)

That said, I'm sure there are a lot of side channels in the provisioning APIs, certificate logs, and other metadata that could paint a decently accurate picture of cloud sizes. It might not cover everything but it'd be good enough to track and measure a gradual expansion of capacity.
In principle you're correct. But ultimately the all powerful VC backers will ask for monetization or "increased margins" or whatever, which will erode the good deal for authors, as it always happens. Not being preachy, but personally I run away as far as possible from "startup" products. They eventually turn to shit.
This might be an appropriate use for the Gamepad API which can be queried on every animation frame for a button’s state.

https://developer.mozilla.org/en-US/docs/Web/API/Gamepad_API...
DHN MFO TLA?

* dark humor novel making fun of three letter acronyms
What is the point of forecasting events? The groups who need to act on the events will ignore the forecast or use it to self delude themselves into not acting, others will prepare for events by ignoring the forecasting.

Ukraine for example, prepared itself despite forecasts of low probability of an attack. Israel's military intelligence on the other hand knew the details of Hamas attack to the point and chose to ignore it despite high probability of the event.
> I guess Play Store & "the Amazon thing" (I don't remember the name either) adoption there is close to 0%.

Woah. Is this true? If they don't use Google Play Store, what do they use?
Isn't the point that food in economy class is often worse than it needs to be for the cost, and food in first class is not good enough to justify the massively increased ticket price?
https://newsroom.tiktok.com/en-us/statement-on-tiktoks-conte...

Is TikTok just straight up lying in the their official press release or is this just hysteria by our legislators?

> We store all TikTok US user data in the United States, with backup redundancy in Singapore. Our data centers are located entirely outside of China, and none of our data is subject to Chinese law.

> Let us be very clear: TikTok does not remove content based on sensitivities related to China. We have never been asked by the Chinese government to remove any content and we would not do so if asked. Period.

> Our US moderation team, which is led out of California, reviews content for adherence to our US policies – just like other US companies in our space. We are not influenced by any foreign government, including the Chinese government.

Like TikTok is bending over backwards here https://usds.tiktok.com/usds-about/ Facebook refused to do something similar to this for the EU because of the NSA and they're our allies! Is there literally anything they could say that would make people believe that being owned by a Chinese company is not the same as being puppeted by the CCP?
SF has turned to shit; dont know why anyone would want to "experience" that.
Some specific benefits competitive apps stores could provide (within the general benefits of competition and innovation):

1. The open source app store. The git hub app store. Open source apps easily prepped by developers and installed and updated by regular users. With source and build files.

2. The developer tools app store. Real developer tools on iOS devices.

3. Lower app store vigs. Lower app prices. Allow the lowest cost part of the market to drop prices further. I would love to buy tiny solid 0.25 cent apps without ads. Maker markets without a parasitical Apple tax.

4. The ad free app store. Sorry I even imagined it, it just hurts to think about it.

5. And the no "in-app purchase" store. Only for substantial apps worth paying for up front. Use forever, or choose to pay again for an upgrade you actually want.

6. Children's only app store, with high safety bars of all kinds. Very parent friendly.

7. Formally verified app store. Starts small, but learns. Meantime, more safety than Apple can deliver by one astronomical unit. Pushing Apple to improve its safety MORE.

8. Different kinds of app infrastructure. Streaming apps and games from anyone. Better systems for software versioning, updating, cross-app plug-in mechanisms.

9. One shop app-stores that deliver different kinds of versioning, upgrading, and other kinds of support that Apple doesn't in a coherent manner.

10. The very safe no-code app store. Sorry, app stores with different approaches! Very sandboxed, but very easy for technically literate non-coders to create simple tools for anyone to use. Given the solid sandboxing, and restricted "source", no barriers for anyone to contribute their app. Maker friendly.

11. The novelty developers 1k-byte app store. It's just for fun but how cool would that be. Innovation in efficiency as a game. Other developer app store experiments. Innovation comes from freedom. (Had to turn this list up to 11.)

--

None of these inconvenience those who wish to stay on Apple's store.

They will only push Apple to increase its selling-point safety futher, while, while dropping anti-innovative self-interested restrictions it has misleadingly defended, like its prohibition on other web engines ("But the safety!").

Any other ideas for app stores that deliver useful differences?
The F-35 first flew in late 2006, and they've debugged it enough to get it into full production...17 years later.

In the private sector, you'd no longer be able to buy the components it's built out of.

Ridiculous.
Granted I generally fly business class on Delta and ANA (because long hauls in economy is miserable), I find the food is great given the context. YMMV.
It is wild that they’ve turned this project around from the avatar of wasteful defense spending, to the jet that everybody wants.
Yeah, Google buys servers in public datacenters like those from Equinix. One "region" needn't be one datacenter, and sometimes AWS and GCP will even have computers in the same facility. It's actually quite annoying that "region" is such an opaque construct and they don't have any clear way to identify what physical building is hosting the hardware you rent from them.
Within the corporate monopolist called Apple, that is to say within the minds of all its collective employees, lies an old idea still warm and vibrant after decades of waning indifference. This idea is called Apple Computer, and it makes the best gosh-darn computers in the world: the Mac.

It is such a powerful and self-evident idea that those computers are still above and beyond the best ones in the world, even with all those years of indifference.
It took me much longer than usual to get past the depression phase. The main reason is that everyone online kept telling me I was dumb, too inexperienced or extremely incompetent if I thought AI was a serious threat to me, a junior developer. Friends offline said similar things, just in a nicer way.

Now everyone seems to be a "doomer" like me. I was too stupid to see that people (especially online) were lashing out at me as a coping mechanism. The worst part is that even though I had my "we're fucked" realization was earlier than many others, I didn't really do anything productive, I didn't make the right moves to pivot, I had no plan. Now I have a rough ~3-year off ramp plan, just like everyone else.

I suspect that there are many, many recent grads in my position, who also thought they were taking crazy pills when everyone around them dismissed their concerns
Instagram would be shut down if we knew how many teens commit self harm as a direct result of it.
The airplane could have a dozen AoA sensors, but if the software is ignoring 11 of them then there is only one actual AoA sensor for purpose of discussion. Even if the sensors are used for other aspects, such as pilot instrumentation.

And yes, I understand perfectly well that this invalidates the idea that the second sensor was "eliminated" to save cost - but if I remember correctly there was a paid option to have the MCAS consider both sensors. So there was a financial aspect to the decision. Someone please correct me if I'm wrong.
787 is known to have computer bugs that are tied to system uptime too.

https://www.theregister.com/AMP/2020/04/02/boeing_787_power_...

Like obviously that is not the failure mode in this scenario… but it’s the same aircraft type. It’s totally believable imo that they just bumped into some other bug/timeout/overflow, especially on the 787 of all aircraft.

In fairness these types of reports can also “prime” people to favor certain explanations. It doesn’t mean it is a software bug, or related in any way to the previous ones. But as a software engineer… yeah that really does sound like some kind of overflow or hang, followed by a lockup, followed by a watchdog timeout and reboot. Good thing it’s not booting off spinning rust there. “Please wait while windows checks your file system for errors” is not what I’d want to see as I’m falling out of the sky :V

It obviously has to be something very edgy otherwise it would have been caught already. Uptime is a good theory imo. But that’s pure unfounded speculation.

On the other hand, not good news for Boeing given the other situation. Yes, it’s unrelated and a totally different aircraft type, and small bugs are routine in newer types. But people don’t have confidence in Boeing to engineer and manufacture well anymore - when people know deep down in their heart of hearts it’s another big Boeing bug you have a mindshare problem. It’s like smeltdown etc. Even if it affects everyone it certainly reminds them of intel the most.
Yes, this just depends on the model you're using. Small-medium size codebases would fit inside Claude's 200K context window and Gemini 1.5 has a 1M context window which would essentially fit 99% of codebases.

For reference:

- The Flask web framework for Python: 131880 tokens

- The Spring Framework for Java: 11070559 tokens
I just can't get this dumb question out of my head:

How could any "incompleteness theorem" ever be completely true?
I love to admire war machines on "hacker" "news" it is such an important part of our site's culture. Technology is always morally neutral, of course, even (or especially?) if it is explicitly designed to cause death and misery.
Charge $100 more for a ticket to get a slightly better sandwich, then claim the consumer chose the worse sandwich.
no, AI won’t get your job. #not
https://www.aspistrategist.org.au/jet-fighter-costs-a-comple...

In 20 years they'll manufacture just one plane, and it'll cost a trillion dollars, if current trends continue to hold.

Also it'll the weight of an aircraft carrier.
I think a better question is: Why do you insist on using Google?

There are several search engines on the WWW. Google is just one, and I hear people complaining about that one a lot. I don't use it personally, and I haven't done so for more than a decade. Life goes on perfectly fine without it.

(no, I don't use Kagi or Marginalia either, it's not one of those posts.)
This! Internally it's still not-English, while the result can fluently and easily be said in English.

I do find however that it also depends on "when the number was remembered". For example, relatives phone numbers I remember in my head in non-English, as I learned them in that language. But my credit card number I recite in my head in English in order to write it out on order forms.

And numbers for calculating and such for a very long time was still non-English but I think it's habit. In my head, nobody tells me "Sorry dude, what language is that? I can't understand a word" and so there's never any real incentive. It's also faster to do that part in your first language and only say the result out loud while thinking about words (especially entire sentences) in your first language and then translating and saying it in English makes for awkwardly long pauses or really bad sentence structure. I think that provides again more incentive to learn English sentence structure and to think in English to begin with, so that words come out "right away" as you think and formulate.
I thought they already do this with notarized binaries on macOS. Conceptually it's no different from certificate revocation. The platform can phone home periodically to discover binaries for which notarization has been revoked.
70comments, many with good input, many with questions. No response.

Posting on the internet is easy. As is buying a book or downloading an app.

One might argue accountability is wanting.
Rhetorical "Ask HN"'s are kind of obnoxious but I'll assume you're genuinely curious about perspectives and are asking in good faith.

Protests over TikTok will blow over. It takes a lot more than a protest for societies to blink, and we've seen many many much more serious protests testify to that. People will get upset when something in their daily routine gets taken away and then almost all of them they'll get over it because it's not really consequential to most people.

> how will it impact competition and applications if the US sets a precedence to ban [select foreign] apps.

As for competion -- well, I'd it to embolden local companies to compete more vigorously in other domains where Chinese apps might be targetted for a ban, and encourage lobbyists to make that happen.

That's not a win for everybody, but it's also not a loss for everybody.
That long availability is part of why anything aerospace, marine or heavy industry costs an arm and a leg. With dozens of millions of dollars apiece at stake and an expected service time of many decades, the economics make sense.
Military aircraft have production runs they can span many years (F-16 production turns 50 this year).
Though note that was a question of possible redundancy, not possible inconsistency.

Still, the outcome is probably roughly the same. We'd replace the inconsistent axiom with something similar and 99.99% of existing practical math would still follow, and only a few intentionally specious constructions would fail. (It kind of begs the question of whether math follows from the axioms we want or axioms follow from the math we want). Plus perhaps some new math would start to unfold as we begin to explore the inconsistent axiom's subtleties.
How exactly is a machine learning model stolen this way? Or do you just mean they can collect data to train a better model.
There's also the alternative: Devin, the NAI.

https://docs.google.com/document/d/1byJgu1G_M58QVWmpZeEDthyA...
When you say “parts” it’s really complex systems. The 737 family of aircraft has gone through many revisions over 50+ years at this point.

The original 737-100 was 61,994 lbs empty and the 737-900ER was more than 50% heavier at 98,495 before they started calling them MAX. The 900ER was in many ways a radically different aircraft but got there through a long list of incremental changes leveraging the past.

That’s not to say new designs can’t be quite safe. The much newer A320 family are some of the safest aircraft flying with only 38 hull losses and 1505 fatalities, but do not mistake good design for inevitability.
We're Cleaning Up Gab and It's Long Overdue
They have the input from all the different sensors and forecasts. Why not, for a given location, keep track of which one gave the best results? Sure, they don’t have a way of keeping track of they now, but it seems like it could be added.
This still tells me practically nothing and answers zero of my questions, which really are genuine. I never really get a good rubric for me to determine if a food is highly processed other than "these people decided it, so it is so". Which is what you're doing here. Guar gum is bad because these people said it's bad. Ok, but, like, why? How did they decide that specifically?

On the index, why is garlic powder a 37 while chili powder which contains rice concentrate (what is that?!) is a 1? Is garlic powder, which only lists garlic as an ingredient, 37x worse for me than chili powder? What I information am I actually gaining from this index? How is looking at this index informing me of making a healthy choice at all?

https://www.truefood.tech/product/wf_365-by-whole-foods-mark...

https://www.truefood.tech/product/wf_simply-organic-organic-...
EA Open Sources FinalSun/FinalAlert Mission Editor for Red Alert 2
All fields are subfields of polymathy.