MurphyA/hacker-news huggingface dataset:
by gnulinux | 2025-05-28 20:19:44+00:00
The reason decidability makes no or very little sense to tons of CS or Math majors is because the logical basis of decidability is almost never explained in school. Even if you're in a logic/computability class you likely won't get a very concrete explanation, unless you're in a Philosophy of Math class.

The problem that's usually not told to kids is that decidability has different sort of implications to classical mathematics and constructive mathematics. Since most undergrad programs only teach mainstream math (i.e. classical) and don't even mention constructive logic, decidability becomes a black magic situation for some confused students.

Here's the crucial part: decidability really only has material impact on our reasoning if we're in some kind of constructive setting. Undecidability does not and cannot have any impact on the results of classical mathematics, period, but it does have effect on the proofs of those classical theorems. It can also have impact on classical mathematics if we're reasoning classically but describing results in constructive settings (e.g. this is what happens when we do computability theory in classical mathematics).

In short, classically we're always allowed to work around undecidability by using an "oracle". But it can be important to state that we can only do it this way (similar to how we can state the need to use the axiom of choice).

One way to re-phrase Aristotle's law of excluded middle (forall P, P or not P) is to say: "every relation is decidable" which is how you would postulate it in homotopy type theory: https://agda.github.io/agda-stdlib/master/Axiom.ExcludedMidd...

This doesn't mean in classical mathematics every relation "literally" is decidable. Classical mathematics can still study constructive settings by creating a computational model (e.g. Turing Machine model). But it does mean that in classical mathematics every relation effectively is indistinguishable from decidable relations since given a statement like "Program P will halt" you are always allowed to say "either (program P will halt) or (program P won't halt)" regardless of our impossibility to prove one of the cases in general.

Also note that we call this kind of constructive reasoning "neutral constructive mathematics" which is when we operate in a constructive reasoning setting (like Agda's type theory above) but allow ourselves to say things like "AxiomOfChoice implies ExcludedMiddle" etc, read: https://ncatlab.org/nlab/show/neutral+constructive+mathemati...
by arp242 | 2025-05-28 20:19:46+00:00
> An Post, don't use the postal code as their primary way to direct mail (as far as I understand) .

I'm not sure how the delivery system works exactly, but I think they use the eircode? Especially in the countryside there often isn't much more than that. At my previous address the street doesn't even have a name; but post addressed to "my name, town, eircode" got delivered.

Also when the eircode was first introduced it really messed up the delivery, which seems to indicate they're using it?
by FredPret | 2025-05-28 20:20:14+00:00
And I'm telling you that 1, 2, 3, 4, 6 are the ones that are active right now.

> "Taking steps to undo the damage ... it's necessary"

What a bullshit argument.

How does any of that help "undo" the damage done by apartheid? The government of SA prizes ideology over outcome. The ideology is to attack Western things, even if the outcome is that black South Africans are now very much worse off than they would've been if SA was thriving.

And to cite this as a defence for the abuses and outrages that has literally landed white SA'ns - despite their relative wealth - on a genocide watch.
by nradov | 2025-05-28 20:20:22+00:00
Yugoslavia also had severe political repression, with peace between the provinces only maintained by a (near) dictator with a cult of personality. Their economy and standard of living was mediocre at best, and only even possible within a limited geopolitical context where they sat between competing superpowers. It wouldn't be possible to create something like Yugoslavia today. Stupid to even try.
by nightpool | 2025-05-28 20:20:48+00:00
You're thinking about the cells as toggles on a stateful grid, TFA is thinking about them as pure functions that take in an input state and output a new state (with "off" being the default).

From that perspective, there's no point in "killing" a cell, it's simpler to only write out the 0 -> 1 and 1 -> 1 transition cases and leave all of the other cases as implicitly 0
by yongjik | 2025-05-28 20:21:00+00:00
> I know what Japanese, Chinese, and Koreans who live in miniscule tower apartments do once they get money. (they buy an SUV or wagon and move to an American-style suburb)

No they don't. I may not know a lot about families, but I know a thing or two about Korea, and the one thing I know is that they overwhelmingly stay in apartments. When they get money, the move to bigger, fancier apartments.

...which casts doubt on your other confident assertions.
by nostrademons | 2025-05-28 20:21:05+00:00
The financial industry isn’t immune to “who cares”-ism, or folks who are bad at their jobs. Heck, the index fund is the ultimate “who cares?” product - you’re explicitly saying that you don’t care about underlying fundamental valuations and are going to piggyback off the price discovery mechanism of other active investors, and you accept average returns as a result.

In practice, financial results are driven by transactions, and so any mediocrity that doesn’t lead to the customer going elsewhere isn’t going to show up in the financial results. You need an actual competitor to risk losing money to sucking. But I’ll note that in cases where there is an actual competitor to sclerotic old industries, one that actually does care, the investors in the competitor tend to become fabulously wealthy and the investors in the old industry go broke.
by harmmonica | 2025-05-28 20:21:27+00:00
I could use some help understanding this better. If you ask an LLM about flights or I think pretty much any of the categories of services you cite, what exactly would I expect to get back?

The "dream" is that the LLM/AI does all the work for me and just magically gets me to "this is the perfect flight for you and here are the reasons" but I have to tell it the things I care about (price, time, etc.). A lot of the time it's not exactly clear, even to me, which of those parameters matter the most so as a consumer it's actually nice to see, for instance, the options with times/costs/stops/etc. and for me to be able to look those over and make a decision. The LLM could provide those options, but then what has it done that I wasn't able to do with Google Flights or another ota? Is it just using more natural language in the request? Or do most people really want to wholesale handoff the decision and just go with the "trustworthy" LLM/assistant without any of the rationale?

I suppose actual personal assistants do that type of thing all the time for wealthy people, but that doesn't seem like it would be applicable to the masses who want/need to comparison shop for the best deal that meets a bunch of criteria.

I say this as someone who gets major value out of LLMs already, but for buying things in particular I'm struggling to understand why you'd want to hand off the "browsing" and just fast forward to the "buying."
by drdaeman | 2025-05-28 20:22:02+00:00
It sort of used to be, although not exactly as a messenger - it was never good for one-to-one private conversations, but as a social network with channels and groups.

However, for the last couple years enshittification is in progress - it's not at Microsoft Teams levels yet, but they're really trying to get there, shoving more and more ads (third- and first-party both) into users' faces with increasing frequency.
by jayd16 | 2025-05-28 20:22:06+00:00
Here's the issue... Being able to track commits across multiple projects is just a nice to have. Does it even significantly increase your ability to track dependencies or trigger down stream tests? You can track that stuff with multi-repo automations. Maybe it helps a bit but it's not free and its not complete.

Your deploys don't become atomic. Your builds don't become atomic. At best you get to tell yourself you can version a bit more loosely.

Mono-repos themselves do not scale easily. Inherently its a harder technical problem to solve. You need to toss git and find something better, which is not easy. Its work. Its so much work that it is incredibly clear that you've never experienced it yourself.
by altairprime | 2025-05-28 20:22:20+00:00
If one can be selective about who is “in” and who is “out”, then it’s a social club, not one’s community.

Community precipitates around shared characteristics; typically places or hobbies. You have no say whatsoever in who else shares that characteristic. Shunning is the only form of exclusion reliably available.

Social clubs are organized around voluntary membership, where one can choose to enter or exit the club at any time, and constraints may be placed to prevent that. Eviction is an available form of exclusion.

Discord, Mastodon, and Twitter are social clubs: one has control over interactions, membership is loosely or tightly controlled, and the threat of eviction is used by club leaders (which are sometimes an inhuman corporate entity!) to keep people in line.

Support meetings are communities: the shared property of “recovering from XYZ” cannot be revoked by others. A much higher bar of social violations — that are more or less stable per cultural context, but typical minimum bounds are sharing private conversations publicly and committing nonsexual violence — are required for a community leader to pursue exclusion.

It sounds like you’ve had to deal with a lot of awful rainbow clubs; that sucks and I empathize from my own experiences as well. I’m still modeling the language to discern whether a given group is a club or a community; my best so far is to ask: “Is this a queer support group, that welcomes anyone queer and necessitates compromise?”. Obviously this phrasing is still mediocre, but that’s not reason not to use it. It doesn’t necessarily reveal clubs at first, but it’s useful for exposing the lie more rapidly if it turns out that it’s a club disguising itself as a community but malice and exclusion are prioritized over compromise and tolerance.
by arbuge | 2025-05-28 20:22:21+00:00
> Ice cream was important for morale. In 1942, the U.S.S. Lexington was slowly sinking from a Japanese torpedo attack, before the crew abandoned ship, they broke into the freezer and ate all the ice cream. Survivors describe scooping ice cream into their helmets and licking them clean before lowering themselves into the Pacific.

TIL...
by getToTheChopin | 2025-05-28 20:23:02+00:00
I made a game. It's called PC versus Mac.

Use your hands to show support for Bill Gates or Steve Jobs.

Created with threejs and mediapipe computer vision.

Game link: https://rosebud.ai/p/8bd0a69f-f009-4af4-b3c6-9e60f356e98f
by ivan_gammel | 2025-05-28 20:23:06+00:00
Does it really matter though? There’s the scientific part probably worth exploring and the philosophical and engagement part which will spark the imagination of sponsors. The first part can be verified in the foreseeable future. The second part may become falsifiable at rather unimaginable time scale, probably requiring an artificial black hole for experimentation and Kardashev Type II level of technology.
by 0xy | 2025-05-28 20:23:41+00:00
WhatsApp isn't E2EE by default either, since default flow pushes you to backup your key to Google Drive.

Signal isn't E2EE, given the security blunder in which private images from your gallery were sent to random contacts (which indicates a scary state management situation in the apps, this isn't easy to do). E2EE implies that you purposely send content to specific people which is encrypted, not that your app sends potentially embarrassing or intimate pictures to your boss behind your back. That blunder is unforgivable.
by HelloMcFly | 2025-05-28 20:24:02+00:00
> They also only own 0.06% of US single-family housing stock.

This is one of those situations where averages hide the harm. Yes, when you look across everything it's not a big deal. But you can find clear instances where it is a problem, particularly in homes of certain value in growing markets (like Atlanta: https://www.ajc.com/news/atlanta-news/data-investors-now-own...).
by somat | 2025-05-28 20:24:05+00:00
Isn't hexdump the modern punk upstart.

In my day we had to use od, and were happy to have it, now get off my lawn.

Full disclosure, I am one of those "modern punk kids" but my first boss was firmly in the od generation. and all his documentation referenced it as such. hexdump is ergonomic heaven in comparison.
by nradov | 2025-05-28 20:24:16+00:00
When a "problem" has no solution then it's not actually a problem, just a fact to be accepted. Like gravity. There's nothing wrong with worker owned cooperatives, but for anything that requires significant capital you have to run things the way that capital owners want. And large-scale economic central planning where governments allocate capital has been an abject failure everywhere it has been tried, so don't insult our intelligence by suggesting that we give it another shot.
by nielsbot | 2025-05-28 20:24:21+00:00
FTA:

> The Viet Chicanos are wary of attracting the wrong type of followers as well, who may be in pursuit of a different kind of lifestyle. Despite their fierce appearances, many of the barbers who work at Liem’s shops are soft-spoken and humble and reject any perceptions of violence and crime. They say they want to perpetuate cultural appreciation, rather than appropriation.
by beeflet | 2025-05-28 20:24:41+00:00
Dero privacy got busted about a year ago due to developer incompetence

https://gist.github.com/kayabaNerve/b754e9ed9fa4cc2c607f38a8...

After seeing this and their weak attempts at making a CPU-based PoW, I don't have any confidence in dero or its developers.
by dunkeltaenzer | 2025-05-28 20:24:46+00:00
The problem there is overlap between fractal and non-fractal spaces. Our Math and Logic were created to work in non-fractal spaces. Whenever we cross the boundaries into fractal spaces (recursion in programming, for example), our math and logic have a tendency to explode, because there are infinities flying around everywhere and things stop to be guaranteed to be deterministic, because you have to assure determinability for several dimensions of infinities. You have to accept certain quantum rules, in those spaces. And being deterministic isn't compatible with quantum rules. That's why quantum physics is struggling so badly to get rid of all those infinities flowing in with every new dimension they add to the wave function. That thing wasn't designed for fractal spaces. So it becomes harder and harder to contain all those leaking infinities into a workable magic ball. We stored most of our fractal remembrance in pictures for a reason. Much easier to draw fractals than to compute them with math, not made for fractal spaces
by layer8 | 2025-05-28 20:25:08+00:00
It’s perfectly fine to point out issues with ΛCDM, how it seems to be inconsistent with certain recent observations, and how the Blowtorch Theory addresses them. That can be done in a neutral, professional, matter-of-fact tone. It’s not okay to belittle the scientists who developed ΛCDM by implying that they should have known better than allegedly deluding themselves into a misguided theory.
by wahern | 2025-05-28 20:26:20+00:00
> Once there is ANY value exchanged

There's always value exchanged--"If you're not paying for the product, you are the product".[1] For ads we've established the fiction that everybody knowingly understands and accepts this quid pro quo. For proof of work we'd settle on a similar fiction, though perhaps browsers could add a little graphic showing CPU consumption.

[1] This is true even for personal blogs, albeit the monetary element is much more remote.
by tomashubelbauer | 2025-05-28 20:27:02+00:00
Isn't the principle still the same? Koreans moving into bigger, fancies apartments to make sure they put more distance and barriers between them and people they don't want to meet. Fancier apartments guarantee a building with reception that can take your packages so you don't have to talk to delivery people. Bigger apartments means people in the building are more spread out so the noise they make is more spread out and as a result dampened. They might not be moving to literal houses, but they are isolating themselves to the same end.
by scblock | 2025-05-28 20:27:07+00:00
Well, first this should be marked as (2021).

The rest is just a bunch of BS anecdata that definitely does not tell the story the author wants it to tell. The chart is sorted by battery life rather than date which really muddies the picture. Looking at the dates I don't see "the decline of battery life" but rather "battery life is highly variable but devices are getting more efficient as they get more powerful".

Progress in the last 4 years (through mid-2025) shows this post has aged poorly even if the premise had been supported by the data. Many handhelds gaming devices get over 6 hours continuous play, and several like the Odin 2 have larger batteries and can get 10-12 hours easily. And they can be recharged from typical USB chargers.
by ChocolateGod | 2025-05-28 20:27:41+00:00
> Taking web pages from 0.00000001 cents to load to 0.001 at scale is a huge shift for people who just want to slurp up the world, yet for most human users, the cost is lost in the noise.

If you're going to needlessly waste my CPU cycles, please at least do some mining and donate it to charity.
by mparis | 2025-05-28 20:28:02+00:00
Congrats on the launch. Seems like a natural domain for an AI tool. One nice aspect about pen testing is it only needs to work once to be useful. In other words, it can fail most of the time and no one but your CFO cares. Nice!

A few questions:

On your site it says, "MindFort can asses 1 or 100,000 page web apps seamlessly. It can also scale dynamically as your applications grow."

Can you provide more color as to what that really means? If I were actually to ask you to asses 100,000 pages what would actually happen? Is it possible for my usage to block/brown-out another customer's usage?

I'm also curious what happens if the system does detect a vulnerability. Is there any chance the bot does something dangerous with e.g. it's newly discovered escalated privileges?

Thanks and good luck!
by mobileturdfctry | 2025-05-28 20:28:16+00:00
The part about "caring" that I think requires nuance to get to the heart of the issue:

I used to seek out tough challenges that had tight deadlines. Early in my career. This helped me gain a lot of knowledge about my craft. However, now that I've acquired a lot of knowledge I don't go actively seeking work I'm not being asked to do. It's not because I don't care, but it's because I value my life outside of work.

The other part of this is that there were never tangible rewards, such as a raise or promotion (besides the experience I acquired) so at this stage in my career by asking to do extra work and spend more stressful hours in a salaried job environment for nothing in return would ultimately be a bad decision on my part.
by JumpCrisscross | 2025-05-28 20:28:34+00:00
> to avoid the requirement of ullage thrusting

To expand, this has to do with keeping liquid propellantws settled. If you stop thrusting your propellant will start floating around in zero g. That means you need to thrust to settle it back down before you can fully engage your engines. That complexity is sidestepped by just keeping the engines running at the rocket equivalent of idle.
by diggan | 2025-05-28 20:28:44+00:00
> but I require a ping pong with the LLM to iterate on the code/approach

I've never got results from any LLM when doing more than one-shots. I basically have a copy-pastable prompt, and if the first answer is wrong, I update the prompt and begin from scratch. Usually I add in some "macro" magic too to automatically run shell commands and what not.

It seems like they lose "touch" with what's important so quickly, and manages to steer themselves further away if anything incorrect ends up at any place in the context. Which, thinking about how they work, sort of makes sense.
by xioxox | 2025-05-28 20:29:20+00:00
That's not right. I'm an astronomer, and I often look at colour images and colleagues do, too. For example, the galaxies in a cluster of galaxies follow a relation of colours - brightness (the "red sequence"), which can be used to detect the cluster. The eye is also quite good at helping confirm a cluster by spotting the galaxies following this sequence. I also use colour images to help identify spectral changes that change across an image, in my case in the X-ray waveband.
by chvid | 2025-05-28 20:29:45+00:00
Benchmarks seem like a fools errand at this point; overly tuning models just to specific test already published tests, rather than focusing on making them generalize.

Hugging face has a leader board and it seems dominated by models that are finetunings of various common open source models, yet don't seem be broader used:

https://huggingface.co/open-llm-leaderboard
by t_mahmood | 2025-05-28 20:30:32+00:00
For smaller tools, wouldn't iced-rs be a much better solution? It's much lighter than Tauri, and probably runs anywhere as it's self-contained. Initially, the code might seem daunting, and frustrating due to no hand holding nature, but gets easier.

And last time I worked with it, it seemed much easier than previous versions.

If you have complex UI, then, Tauri is better
by cabinguy | 2025-05-28 20:31:12+00:00
I had that happen once in my three years in the fleet and they didn’t open them for us (long time ago). We did have kegs & BBQ on the pier in GITMO once, too (“pigs on the pier”). I was in when they were just starting a/the tobacco ban on the ship. You could smoke them, but you couldn’t buy them . It created an excellent black market opportunity for entrepreneurs onboard. Last fun fact - my ship was catered by Krispy Kreme donuts every morning when we were in port - long, long before they were a nationwide brand.
by isaacimagine | 2025-05-28 20:31:21+00:00
Thank you! Good question, Here are the NN stats, before lowering to C:

total gates | 2303 | 100.0% -------------------+------+------- passthrough | 2134 | 92.7% gates w/ no effect | 1476 | 64.1%

Note the rows aren't mutually exclusive.
by rchaud | 2025-05-28 20:31:21+00:00
When was PayPal doing that? I remember having to create an account 20 years ago because they were the only payment processor option on Ebay, that seemed to be their moat. These days, I use Paypal as a "wallet" that's connected to my CC, to pay for stuff on sites where I don't want to put in my CC information.
by try_the_bass | 2025-05-28 20:31:23+00:00
This isn't the first time I've received this advice, and it certainly won't be the last.

The trouble I have with this advice is that every specific example or suggestion on how to change my message has ultimately boiled down to "soften the message enough that the recipient can feel okay with ignoring it."

But that defeats the whole purpose! If someone is actively entertaining a cognitive dissonance of some kind, "softening" the message merely gives them the "out" they need to continue to hold the dissonance!

Unfortunately, because I've been given this advice so frequently, and because it always ends up being "just don't challenge people", it comes across as rather condescending. I'm sure that's not your intent, but next time, please consider that maybe I've already done that analysis a hundred times over, and still reach the same conclusion.

Perhaps I'm just stubbornly wrong! But I really don't think the issue is that; I think the issue is that we've made it socially unacceptable to call people out for being inconsistent. Just look at what the typical responses to such a thing are: whataboutism, radical generalization, ad hominems, retreat to an echo chamber, the classic gish gallop of tangentially-related things, etc.

Perhaps what we've really made socially unacceptable is the admission of fault?