skysight-inc/HackerNews huggingface dataset:
Here is a free updated version from 2022. https://arxiv.org/pdf/1502.04573

Edit: Alright, I'm back after skimming the paper. This is a halting oracle.

Here is what I understand, with my limited knowledge of QM. There are two ingredients (Theorem 3: Main Theorem, page 6).

1. For each integer n, the authors construct a spin lattice model H(n).

2. There is a specific Universal Turing Machine, that halts on n iff H(n) is gapped.

Here is how to construct the oracle. For any Turing machine, find out what integer n it corresponds to for the specific Universal Turing Machine of the paper. Then physically construct H(n) and see if it's gapped.

However, this H(n) cannot be physically realized. First, it is an idealized model in which lattice points only interact with their neighbors. Second, it actually a family of lattices, and the result is about the thermodynamic limit as the lattice becomes infinite.

Interestingly, Seth Lloyd appears to have previously proved this result in 1993. https://arxiv.org/pdf/1602.05924
Rotational inertia does not change. Any horizontal V and a landing leg that sticks in the silt is recipe for disaster.
>Okay, but does my mobile device NEED to be able to pull 12Gbps speeds? I’ll take a solid reliable 20-50Mbps of LTE on a power-sipping SOC.

What if Qualcomm told you 12Gbps 5G downloading 5MB uses less energy than 50Mbps LTE?

Getting faster and more efficient 5G is how you can use lower energy per MB transferred. Except most of the time the faster connection the more content the internet wants to push to you.
They slowed the ripening process. It does turn brown, just slower. Clickbait is clickbait.
Granted, as in “conceding a point”.
https://en.m.wiktionary.org/wiki/granted
> We studied 198 randomly sampled, real world fail- ures reported on five popular distributed data-analytic and storage systems, including HDFS, a distributed file system [27]; Hadoop MapReduce, a distributed data- analytic framework [28]; HBase and Cassandra, two NoSQL distributed databases [2, 3]; and Redis, an in- memory key-value store supporting master/slave replica- tion [54]

So, analyzing databases, we picked Java, Java, Java, Java, and one in C. This does not seem very random. I suppose this may provide insight into failure modes in Java codebases in particular, but I'm not sure I'd be in a hurry to generalize.
The study was debunked by a Tesla exec posting on X and reposted on Reddit. Excuse me if I view that with a very healthy amount of skepticism.
You might remember the reason a bunch of this started is that Starlink would not help Ukraine unless Ukraine agreed not to hurt Russia too much.
> instead of finding you a "best deal", it colludes with the merchants, allowing them to control how many people get what kind of "deals", completely defeating the point.

This is how "deals" have always worked, to the extent to the current technology makes it possible. Companies don't issue "deals" to be pro consumer, they do it because it benefits them, and they do it in ways that benefit them. For example, they would mail coupons two a few zip codes but not actually mark down the prices unless you actually possess a coupon. That's just a low-tech version of what you're describing.

I'm honestly surprised that people are surprised by this aspect of Honey. The hijacking of affiliate links is one thing, but coupons have always been a way for businesses to influence consumer behavior. Who did people think Honey's real customer was, given that the extension is free?
> Do they use the bathroom that matches their gender identity and run risk of criminal punishment? Do they use the bathroom that matches their birth sex but the look completely out of place and make it likely that they will be harassed or have the cops called on them?

Thanks for writing up this answer. I suspect the commenter you are replying to has never even stopped to consider the experience of a real person and what it would be like.
I'm not sure why this post was bumped. It was on the front page for quite a while on the day of posting.
I haven't driven an Ioniq yet but it sounds like they too may have taken a turn down the wrong path.

I regularly drive a fairly new Elantra where all the essential driving controls are still physical with tactile feedback.

My favorite is the environmental control. A single, big easy to find knob to adjust the temperature without your eyes leaving the road. Turn left (counter-clockwise) for colder, right for hotter. The car takes it from there and selects heat or a/c as needed with an appropriate fan speed. You can still adjust manually but I rarely do so.
Cowboy critiques start in the 4th paragraph, not the penultimate. Could even say the 2nd though not by name yet, so let's say 4th.

1st: Intro. Does lean cowboy, admiring what a cowboy does while merely stating what a system does.
drone +0.5 cowboy +1

2nd: Positive aspects of systems. Doesn't mention cowboys by name but last sentence does describe negative effect of cowboy by saying "not that". drone +1

3rd: Positive aspects of cowboy. Notably shorter than 2nd. cowboy +1

4th: Negatives of both drone & cowboy. Why each does not respect the other, from the individuals perspective. drone -1 cowboy -1

5th: Positives of both from a small business owner perspective. drone +1 cowboy +1

6th: Cowboy incompatiblity with growth. cowboy -1

7th: Summary, positives of both, negatives of both, both are necessary to some degree at dofferent times in different contexts. drone -1+1 cowboy -1+1

total drone +1.5 cowboy +1

Huh, Cowboy actually gets an entire paragraph dedicated to nothing but the negatives of cowboy (6th), and no matching paragraph dedicated to nothing but the negatives of systems.

Even the intro leaning cowboy positive doesn't cancel 6th out since it's not dedicated to negatives of systems, it only says positive things of both, but is more positive to cowboy.

And everything else cancels out.

In total, it's actually more critical of cowboys than systems.
Not really.

The reason "we", scratch that, the reason the state allows adults to drink and smoke is because adults have been known to fight back, sometimes quite effectively, when they feel like something is been "taken away" from them. The obvious example here is the rise of bootlegging during prohibition; all that did was empower the organized criminal class, rather than get the nation to realize the awesome benefits of being a sober working stiff. That's why contemporary Western states disincentivize harmful goods by taxation, and gradual, rather than total, prohibition.

Consuming liquor and tobacco are also traditional communal activities, dating from before the total enclosure of industrial civilization upon people's personal lives. Meaning, people would actually be inclined to fight for the right to carry on like they're used to. This is one of the greatest motivators ever; very much not the case with the more novel intoxicating substances, even where those might actually be less harmful than good old alcohol and nicotine.

I'm all for creating an environment that encourages people to make optimal choices about their own lives. Generally, we do not live in an environment that even makes that possible. Case in point, why would one be driven to apply the toxic skin creams in question, if they did not have toxic beauty standards imposed on them in the first place? How do "we protect the children" from those, when all over the world conformance with Adobe Photoshop's idea of the human form can directly determine the social market value of a human being?

The answer is, we have no idea - we're not even asking ourselves the questions that make sense, because "protecting the children" is a moral scam. A just society would protect the inexperienced and the powerless, regardless of age - and, conversely, acknowledge the personhood and autonomy of all citizens in accordance with their demonstrated degree of self-awareness, rather than determine their human rights by some involuntary biological marker. I don't know how that society would work in practice, I'm only here to remind you that instead we live in another kind of society - one that is based on the non-consensual extraction of human resources. Such a society has no incentive to "protect" most of anyone. All it needs is to raise obedient children into dependent adults. (It also needs a stable population of scapegoats - "juvenile delinquents" growing into "hardened criminals", who are to be blamed for all dysfunction.)

Minors are an oppressed minority. They are subjected to extensive brainwashing, and deprivations of liberty that society claims are "for their own good". These rather serve the preservation of power structures, which start with the oppressor's drive to forget their formerly oppressed status. Thus, the purpose of age verification can only ever be the violation of privacy and autonomy of all market participants; it will do absolutely nothing to prevent kids from emulating the harmful and unmoderated behaviors of the adults around them.
"Like a magic crystal mirror, My computer lets me know Of the other world within it Where my body cannot go / The computer is a gateway
To a world where magic rules
Where the only law is logic
Webs of words the only tools" https://mindstalk.net/filk/world.html
>As objects, paper tickets serve as proof of past lives long after their brief utility as proof of payment. I sat with my accidental time capsule for more than an hour, doing what my teenage self had probably hoped I might: linking each one to a buried memory as best I could. [...] But most of the tickets I’d bought myself, in person and almost always with cash, at box offices or the Ticketmaster counter at the local grocery store. They looked like they’d been printed on a machine even older and more obsolete than the “Ticketmaster counter” as a concept. You don’t need to be a techno-pessimist to acknowledge that digital tickets, for all their advantages in transferability and traceability, don’t serve this long-tail purpose.

I did the exact opposite. I hung onto a bunch of paper TicketMaster stubs for decades because I was indecisive about throwing them away or hanging on to them. The "sentimental baggage" surrounding those tickets distorted my thinking and attached too much importance too them.

And then I read about de-cluttering your life advice from minimalists and learned of a good hack that worked for me: Just take photos of your mementos and then throw them away.

That was the psychological breakthrough I needed. I digitally scanned all my old Ticketmaster stubs as *.tif files and then threw them out. I also had a bunch of useless novelty coffee mugs (free gifts from trade shows or past employers). I just took digital photographs of each mug and then gave them away at Goodwill. Preserving them digitally helped me let go of the physical objects. Everyone once in a while, I might revisit my digital scans of the concert tickets on my computer monitor and that's good enough for me.

Reading passages like hers reminds me that that some people need those physical mementos and some don't. In a similar vein, a lot of people like physical media like DVDs and CDs. In contrast, I got rid of my entire physical library of thousands of discs. I don't miss the space they took up at all.
What I want: I want a browser without security restrictions, that can run node.js code as well as not CORS restricted fetch.

Wanted to code my own via electron, but damn, it was slow.
Regardless of how valid the study is, it is most likely useless.

These kinds of studies have been done for decades and type 2 diabetes rates have only gone up.

There has been clear evidence for decades that obesity and high carb diets increase risk of diabetes. Comparing tea to coffee or Skittles to m&Ms is a useless research project as far as diabetes goes. Because it is extremely unlikely that someone will discover that the cure for diabetes was a small change in lifestyle like that.
How does SpaceX transmit the video feed from the first and second stage cameras?
Sure. But Kursk matters more to Russia than Poland matters to the US.

So if a land invasion by foreign troops is going to be interpreted as no big deal, why would the fall of Poland matter from a nuclear standpoint? You can see it building in the public discourse as people convince themselves that they can push to an absurd distance without Russia being able to respond - we've seen their border integrity violated, strikes on Moscow, British missiles being lobbed in to Russian territories, an explicit US strategy of bleeding them out and fairly credible calls for regime change where it isn't obvious how far the US is acting on the idea.

If we assume by symmetry that the US would take similar abuse before it launched any nukes, what on earth is supposed to happen in Europe to provoke a serious response? I wouldn't chance it, but it looks a lot like they're bluffing a willingness to do anything and some idiot dressed up as a general will one day will do something really stupid. We're exploring for the line where Russia breaks the nuclear taboo here; as far as I remember the game-theoretic response to salami tactics is supposed to be wildly disproportionate aggression. And there is a decent chance that it'll go unpunished since the US is clearly not going to stand up for Ukraine to the point where it risks blowback to the US proper.
No. Never.

And neither has a drunken meth addict on an oz of shrooms and ketamine while snorting low-grade fentanyl.

Because I care about my craft.

> Any tips on fixing those?

Understand that no matter how fancy the guess-the-next-token machine is, it will NEVER replace the hard graft of logically deducing how a change is going to percolate througout your codebase.

The programmer's motto should resemble the old Porshe one:

Logical reasoning: accept no substitute

When an engine can use my codebase to build up an internal logical structure of its cascading effects where potential changes to the code can be what-if'd as a kind of diff, then I will consider it to be worthy of evaluation.

Until then, I feel like an NBA player seeing that their opponent has chosen to only dribble with their ass.

I don't think you folks realize that you're the ones hallucinating. Predicting the next token is never going to be anywhere near 100% successful, especially for interesting projects.

Seriously, folks. I mean, week after week we keep seeing this shit show up here and y'all're like "You got any tips how I can keep smoking meth but not lose my last three teeth?"
This! Don’t base your designs on 1950’s sci-fi movies with big glistening rockets standing 50’ tall touching down on angled fins.
Refinement in Rust: optimization, arithmetic, and stateful predicates
I mean you can just hintun something, which is very informal but literally means put something somewhere in every case.
MAGA making the world more dangerous one step at a time. Let nukes proliferate freely. Lockheed Martin needs moar!
same. started writing data into parquet to analyze from there with a big gain in performance and hosting costs
It's frightening when i think of that Boeing & Airbus are trying to replace the human copilot with AI / computer systems so that in future only one human pilot will command a passenger jet.
To me, who has safely trapped a ton of mice (around 15 I think, over the last couple of years), and then driven way out into the nearest wild area and released them unharmed, using killing traps or poison is cruel.

I don't especially judge you for it. Well, maybe for the poison since that can get into the food chain. But I also don't think you have some kind of moral high ground compared to these researchers.
Saabs had amazing design, especially the interior "cockpit". Miss them.
Fast analytics databases need a third key technology. I can't say what. You seem unaware of it.
> Does this also allow you to write multiple components in one file? I guess there wouldn’t be a problem with it if you use the primitive inside of a normal JS file.

Yes, as in a component would be a regular JavaScript function that takes some parameters and gives you back some JSX to render. It's really concise and there's no need to muck around with plugins or anything special, it's just regular JavaScript.

When I'm working on projects that use Vue HTML templates, I've often got pages that have some small HTML snippet that appears two or three times, and just don't want to go through the effort of having to break the snippet out into its own component file because its so verbose. JSX makes this really low friction so you do it more often.
You're right, it's not the same. Undecidable properties are not related in general.
> The one hard and fast rule Labs did seem to have was that you could not say no to any request for help from any of the applied folks — or other researchers for that matter.

Nice example of a simple policy that changes the culture in exactly the way you want it to. The university researcher types want to say "ugh, stop interrupting me," but when that's not an option everybody keeps each other on track.
I had a billing issue at the beginning. It was resolved very nicely but I try to be careful and I monitor the bill a bit more than I would like.

Actually my main remaining technical issue is conversion to standard Markdown for use in a data processing pipeline that has issues with the Mathpix dialect. Ideally I’d do it on a computer that is airgaped for security reasons. But I haven’t found a very good way of doing it because the Python library wanted to check my API key.

A problem I have and that is not really Mathpix’s fault is that I don’t really know how to store the figures pictures to keep them with the text in a convenient way. I haven’t found a very satisfying strategy.

Anyway, keep up the good work!
Ask HN: Are people less entrepreneurial in colder climates?
Maybe the fear of freezing to death makes people more conservative when it comes to choosing a career?
It's also a huge risk.

The privacy of attackers is a risk to kid safety.

The privacy of messages sent is a risk to kid safety (law enforcement should be able to access them)

The privacy of chilren activity is a risk to their safety (Parents should be able to view what their children do.)
Do we believe that “people buy them and they like them” should be the end-all argument to judge everything? I think it’s a datapoint but it doesn’t mean that the thing is good for society or people themselves.

Like 40% of people used to smoke. 40% of people are obese today. I’m not comparing these things to teslas in terms of harm (though funding musk is societal harm) but they prove that consumers can make very very bad choices and IMO do all the time

The vocal minority acts as a valid canary, probably most of the time.
To attach a fee as proof of their belief in the post content being valuable.
It's a question of price.
The author seems clearly inexperienced with Rust (see the paragraph about unwraps and panics) and unfamiliar with common paradigms and ways of doing things in low-level Rust; it's unclear why this post is gaining so much attention on hn. Rust is no worse than C/C++ in writing all sorts of low level codecs, be it with or without using unsafe, with performance matching that of C/C++ and readability/safety usually being much better.

// personal experience: participated in Rust core lib float parser implementation, part of which involved porting it directly from c++; implemented safe rust qoi image encoder, bpe text encoder, etc; in all cases they turned out to be the fastest existent out there; in all cases, though, good prior experience with low-level rust was required, especially if doing it without unsafe and trying to avoid most bound checks, so there's that.
Show HN: I built didtheyghost.me, open-source tool for your next job search
(not sure why my previous post didn't appear on Show HN even though I included it in the title, mods please remove if not allowed)

Ever applied for a job and never heard back? Many companies just go silent instead of sending rejection emails, leaving you guessing whether to keep waiting or move on.

I faced this frustration during my own internship search, especially when there was no real point of contact (automated replies don't count, lol). So, I built didtheyghost.me, a simple open-source tool that crowdsources job application responses.

This isn't a job scraper or another job board. It's a community-driven way to share real-time updates on job applications, so you're never left guessing.

It helps answer questions like:

- Has anyone heard back from this role? [1]

- How long does it usually take to hear back? [2]

- What are the online assessments/interview rounds like for company X? [3][4]

- And the big one: Did they ghost me?

How it works:

1. See a job listing (e.g. on LinkedIn), apply for it, and haven't heard back?

2. Use the platform to check if others have received replies, interviews, or offers.

3. Find out if you're in the same boat or if you might've been ghosted.

It's completely free, open-source, ad-free, and community-driven.

Check it out: https://didtheyghost.me

GitHub: https://github.com/didtheyghostme/didtheyghostme

Happy to answer questions or discuss ideas!

--------------------

[1] https://www.reddit.com/r/leetcode/comments/1hhfhck/amazon_sd...

[2] https://www.reddit.com/r/leetcode/comments/1h8qm4j/how_long_...

[3] https://www.reddit.com/r/csMajors/comments/1enubgb/tiktok_ne...

[4] https://www.reddit.com/r/csMajors/comments/1f6e84t/shopify_w...
There are many ways of rightly praising Discword without sucker punching LOTR.
https://en.wikipedia.org/wiki/KHTML
Sigh too late to edit anymore.

never should have been need
Those were the good old days.
I agree that NATO is practically dead since USA is now acting on behalf of Russia. It might be easier to remove the MAGAs than rework everything, but in that scenario USA is still untrustworthy and Russia wins. Yikes. Trump has really fucked the entire world and set us in motion toward WWIII ... and we're part of the AXIS. Double yikes.
https://gist.github.com/cpursley/c8fb81fe8a7e5df038158bdfe0f...
Yeah, I tend to hold onto physical theater programs and the like. And I look at them maybe once in forever and maybe bore guests with them from time to time. The theater I have a season ticket with stopped printing programs and that's actually just fine. I still save the one sheet flyers they send out but I don't actually care about the bios of the actors, etc.

My main issue with electronic tickets and the like is I really prefer to have a relatively robust set of records when traveling. I have broken a phone on a trip and the only reason it wasn't that big a deal was that I had paper info about my itinerary etc.
Presumably referring to Konqueror, the old KDE web and file browser which could embed all sorts of viewers: https://en.wikipedia.org/wiki/Konqueror#File_viewer
Lots of things are possible but not ecomomical
Respectfully, we are in the comments section of an article about international diplomacy and the parent commenter really went out of their way for their comment to be exclusively about US foreign policy.

It’s also worth discussing domestic policy, that’s just not this thread.
>obscurity is fine strategy, you can never depend on it ever.

Right, I'm arguing that this is a property of all security mechanisms. You can never depend on a single security mechanism. Obscurity is no different. You cannot depend only on encryption, you cannot depend only on air gaps, you cannot depend only on obscurity, you cannot depend only on firewalls, you cannot depend only on user permissions, you cannot depend only on legal deterrents, you cannot depend only on legal threats, etc..