skysight-inc/HackerNews huggingface dataset:
If you still thought police obeyed the law a few months ago, that's a pretty damning admission given all the reporting to the contrary over the past decade
... so at some point, one realizes one has pondered one's way into untestables and goes back to living. Or doesn't, I guess, and then gets kept up at night anxious about the notion that in some as-yet-unrealized future, an AI is forever torturing an identical copy of oneself that one cannot possibly ever meet.

The programming analogy to this kind of philosophy is writing design docs (or building a class hierarchy of abstracts) without ever writing implementation. Lots of work, but why should anyone outside the room care?
This is a repost of the original at: http://www.lizengland.com/blog/2014/04/the-door-problem/
This is interesting, I got gifted an one of those hydroponic systems. The thing was 2 years old. Runs on a Raspberry Zero. The issue? SD card corrupt. I got an image from someone else and fixed it with that.

What's worse is that these things are connected to the internet (with VNC installed!), and they don't do updates...

The system is awesome, but I VERY quickly moved it to a separate VLAN.
Most of the claims of Russian influence were directly proven, the only thing not proven was direct coordination with the presidents campaign. Notably, there were several ‘dangled pardons’ to prevent people from testifying (pardons that were eventually granted) so who knows what actually happened.
New bill will make it a crime to download DeepSeek in the U.S.
It seems pretty easy to illuminate this question once you consider concrete examples.

For example, neither google nor an LLM replaces the utility of building your own vocabulary so that you can express yourself in a foreign language when you're in convo with someone.
I assume the point of mining in space is to have raw resources that are already outside the gravity well. Not so much for bringing it to earth, but space based construction.
Enlightened fraud
This is a good term for a genuine thing but it's also cliche to say already and sounds ignorant and dismissive of the technology. I hear it most from people that I've observed aren't aware of how to write effective prompts or how to wield it yet. If you don't want "slop" then write the prompt to not generate it. Heck write a second prompt to clean up the slop of the last one if you're just starting out.
It typically takes more time to decide what I need to type, and once that’s done actual typing speed isn’t a factor.

Other than bragging rights or doing transcription, does it really matter anymore?
>Hearing is also well into the terabytes worth of information per year.

If we assume that the human auditory system is equivalent to uncompressed digital recording, sure. Actual neural coding is much more efficient, so the amount of data that is meaningfully processed after multiple stages of filtering and compression is plausibly on the order of tens of gigabytes per year; the amount actually retained is plausibly in the tens of megabytes.

Don't get me wrong, the human brain is hugely impressive, but we're heavily reliant on very lossy sensory mechanisms. A few rounds of Kim's Game will powerfully reveal just how much of what we perceive is instantly discarded, even when we're paying close attention.
DeepSeek was downloaded by millions. Deleting it might come next
Because realistically doing your Anki cards should take 10-30 minutes a day, maximum. If you can’t slog through 30 minutes of learning vocabulary/etc. then the thing you’re learning isn’t very important to you. SRS isn’t about doing flash cards for hours on end, it’s about determining the maximum retention rate while doing the minimum amount of work.

Even then, personally I don’t find Anki that boring at all. But I make custom cards that include audio, images, and other items.
it's no longer an accurate description.

with recent models, while stitching together training data is still most of the story, there's obviously something more going on, especially with regards to code, mathematics, and with the ability to successfully produce dialogue that respects pragmatics. this has nothing to do with a real thinking being, but it's become different from a stochastic parrot.

there are deluded people who think that Claude and ChatGPT are really thinking and feeling. it is admirable to try to argue them out of this position.

but if your argument involves saying things that are not true, and anyone can easily see are not true by interacting with a consumer-grade chatbot for 10 minutes, it will just discredit you, and those people will go on believing they're talking to HAL-9000.
I have an M4 Mac Mini running the following in a VM:

- OpenWRT (previously OPNSense & once Mikrotik RouterOS) using 2x 2.5Gbps Ethernet NICs via USB-C

- OpenMediaVault (Exposing a 4-bay DAS via USB-C, 2x3TB Drives in Btrfs RAID-1)

- HassOS (Home Assistant OS)

On the host, I'm running OLlama and a reverse proxy through Docker.

The whole thing uses 7 watts of power at any given time - I've seen max peaks of 12w when running LLM queries. The drive bay actually uses more than it.

Through power saving alone, it will pay for itself in 5 years over my previous AMD Zen 2 build.
The dynastic approach to power retention requires a coalition of ideologically unified extremists to keep it going. One key feature of the Trump coalition is that everyone hates each other. They all are cranks who want something unthinkably awful, but also don't care about what the other guy wants and hopes they don't get what they want[0]. There is no Trumpism to rally around, only a Trump.

[0] A microcosm of this is the Musk / Altman feud.
The same use case as any other VM? Isolated systems that are portable, easy to bootstrap and destroy, etc, the list goes on.
Deep-learning design of multi-port radio-frequency integrated circuits
I think the bigger insult towards the Open Source community is their refusal to publish Free Software on the App Store.
You still have a few bugs to fix (need to cast to uintptr_t after casting to void *, need to use printf with a proper format string) but now your code is valid. I believe it's still implementation-defined because different implementations are free to lay out memory as they wish, say by including the use of padding bytes between values, or by changing the location of the stack and the direction it grows (up or down in memory). This means you cannot assume that the array q directly follows the array p in memory (they may be in the opposite order or they may be separated by padding bytes).

I created a working version of your code on Godbolt Compiler Explorer [1]. I tried it with a few different compilers and the code runs. The comparison evaluates to false on every compiler that I could get to work at all. Some don't seem to print anything at all, though the assembly they generate seems like it ought to.

As a general rule of thumb for C, you should assume it is impossible to reach the object pointed to by one pointer via another pointer, unless the second pointer directly aliases the first. You also cannot assume that the integer representation of a pointer corresponds directly to a valid address in memory. Virtual memory (with address translation), fat pointers, segmented memory, etc. are all possible which means the pointer's actual bit pattern should be considered an opaque structure handled by the implementation, not an integer for you to manipulate and then cast back to a pointer.

The main reason for wanting to convert a pointer into a uintptr_t type is to serialize it into some other structure in a one-way fashion, such as to store it in a hash table.

[1] https://godbolt.org/z/dT8G8o5xM
It may be falling short of what you think it should be. A bunch of the rest of us don't think that, though.

You may feel strongly about what you think we should do, but you don't get to tell the rest of us what the site should be about. You don't get to tear up the community guidelines and write your own.

Let HN be what it is. If that doesn't match what you want, go find somewhere else that does.
Monitoring your PostgreSQL database with Rust stack
> ...another pass might notice the INT_MAX+1 and replace it by unreachable since UB code is “by definition” unreachable...

I would love to see the concrete example where this actually makes the program faster, to give me a better understanding of what I'm up against if I prefer to make integer field arithmetic well-defined.

AFAIK, the main reason these loops are so frustrating in C is because no one wanted to bite the bullet and insist that fast loops all use size_t instead of int--as otherwise on systems where int isn't native (which is, today, most of them) you have to emulate the wrap by adding a mask to the iteration--and so the compilers started inferring stuff and the language spec got damaged to let them work around it instead.
That is a credible counterview. We will definitely have to stay on our toes.
I used it for language learning and CS among other things. The thing is, life gets busy. Suddenly you have a kid or two. Spaced Repetition falls into the same category of things that people in their 20s do because they have too much time, like using intricate note taking systems, journaling, training for triathlons and being really into artisanal coffee.
That is of course a matter of opinion.
I actually have on my desk, right now, Mary Wollstonecraft's "A Vindication of the Rights of Woman."

To summarize one of her points from memory, she basically lays into Rousseau about having a lot of opinions on domestic life for someone who clearly doesn't even know how to set foot in a kitchen.
Slate Star Codex's engagement with neoreactionary thought is not exactly a secret. He wrote both "Reactionary philosophy in an enormous, planet-sized nutshell" https://slatestarcodex.com/2013/03/03/reactionary-philosophy... (a sympathetic treatment of these ideas) and "The Anti-Reactionary FAQ" https://slatestarcodex.com/2013/10/20/the-anti-reactionary-f...

There's also plenty of good reasons to be aware of these political ideas, given that, e.g. New Confucianism, which just happens to be quite influential in China is essentially a kind of "Neo-Reaction with Chinese Characteristics". And some people argue that the highly controversial Project 2025 - which seems to be driving policy in the new Trump administration - may be inspired by neo-reactionary ideas.
The queues are one thing, another is the terrible ventilation inside the devrooms. I ended up most of today listening to talks in the Janson auditorium, as it at least has breathable atmosphere.
> Otherwise we end up with weird expectations

These are the problem, not the labels. People having preconceptions on how a man/woman should behave and be like.

If you free yourself from these preconceptions, you don't need the mental gymnastics around "but biological sex is non-binary" anymore because regardless of your physical condition, you don't owe anyone conformity to their preconceptions.
> Isolated systems that are portable, easy to bootstrap and destroy, etc

So, like Docker but without the part where it's fast or convenient!
Seems more like compression? Or even just a cool trick?

Clearly it's not reliable or secure enough for encryption yet.
GP: If an approach is so boring that you don't do it... Either find a way to make it less boring...

You: But I make custom cards that include audio, images, and other items.

I think you're agreeing!
Wow, this news truly left me marveling at the small insignificance of my life and all those I know against the beautiful reality that fish barf will outlive all the greatest achievements of our civilization.
Yes, I agree with that. I would even say that self-censorship and shunning of out-of-favor ideas is inherent in academia, because funding and senior positions are always limited and controlled by older, more established people. The solution has always been more openness. What's happening here is an escalation beyond anything we've seen in the culture wars and it's using the power of the state to suppress anything that could even remotely be construed as dissenting.
Not to mention the parallels with ancient fringe philosophical schools like the Cynics and Cyrenaics spinning off from the Socratic tradition.
Humans love the pursuit of technology for technology's sake.

Quotes by Jacques Ellul:

----

> Technique has taken over the whole of civilization. Death, procreation, birth all submit to technical efficiency and systemization.

----

> Technique has penetrated the deepest recesses of the human being. The machine tends not only to create a new human environment, but also to modify man's very essence. The milieu in which he lives is no longer his. He must adapt himself, as though the world were new, to a universe for which he was not created. He was made to go six kilometers an hour, and he goes a thousand. He was made to eat when he was hungry and to sleep when he was sleepy; instead, he obeys a clock. He was made to have contact with living things, and he lives in a world of stone. He was created with a certain essential unity, and he is fragmented by all the forces of the modern world.
I’ve been using Google since about 2000/2001 or so. In fact I worked there for a time, and I still remember Craig Silverstein’s answer to “isn’t search a solved problem?” Which was: “in the future we want Google to be able to take any question and just give you the answer. So clearly we have a long way to go!”

In any case, I do not believe there was ever a time it could answer all of the questions that LLMs can today. If the question had been asked and answered on the web, Google could (and can) find it, but many questions haven’t been asked!
Ah, thank you. Developing story; I'd only heard of the two, and now we seem to be investigating six.

Six is a lot, but still a bit unclear whether we have a Manson Family situation or a One Serial Killer Who Read Too Much Nietzsche situation.
https://news.ycombinator.com/item?id=42907426
Barclays IT glitch leaves family homeless as bank outage derails house purchase
Most eMMC chips (basically the chip version of an SD card) can be configured to work in pseudo-SLC (pSLC) mode. This halves the capacity but improves the write endurance by several times.
In the provided link price seems to be reasonable for SLC, no? 15 bucks for 512 MB (not GB).

Also datashits clearly say it's SLC and not TLC:
https://static6.arrow.com/aropdfconversion/55056b1a2a966f599...
Plus Ben made it extremely easy to migrate from Google Guava’s cache. It’s mostly the same API and way more performant to switch to Caffeine.
> If you can’t slog through 30 minutes of learning vocabulary/etc. then the thing you’re learning isn’t very important to you

This obviously isn't the case if there's an alternative approach that does work for you.

> Even then, personally I don’t find Anki that boring at all.

Right, and you're having trouble picturing how something you get for free (or take for granted) has a cost for others. Isn't it obvious?

Running 10km a day is a great way to stay in cardiovascular shape. If you like running, it might be a great daily habit for you. But would you say other people must not care about their body just because they're not willing to run 10km, but they are willing to bicycle, swim, or kickbox daily?
Not really if the solution is to stop using SRS. In my experience the benefits are as good as the hype.
> If you still thought police obeyed the law a few months ago

I didn't say that. I said nobody's above the law.

There are plenty of police who commit crimes. It's sad and unfortunate that many of them get away with their crimes. But many of them also do not.
It's not the capitalisation it's the clickbait
What are the examples?

I've had several LLM search result summaries contain flat out mistakes and incorrect statements.
Bits of Wisdom
Where possible, undefined behavior at the LLVM IR level is always optional, controlled by various flags, attributes and metadata. Things like signed integer overflow, or even the forward progress guarantee are controlled that way, and admit a wide range of possible language semantics.

Provenance (and to some degree the entire memory model) is the big exception to this. It's a very core part of the IR semantics, and an optimizing compiler without provenance would have to use entirely different methodology to justify many optimizations. I don't believe that anyone has yet been able to demonstrate the feasibility of highly optimizing compiler without provenance.
I don't think we're ever going to (or at least, not in my lifetime) get across the issue of an LLM does not think, it does not intend, it does not possess the ability to have intention, and therefore by definition, everything it creates is without intention. AI slop feels like AI slop because, by definition, it is an average work. It is mathematical analysis and statistical representation of what an average written work is following the guide of what was requested of it. So no AI content can ever be great, or fantastic, it can only be average.
Your account was created 2 weeks ago. Who are you, and why are you spreading falsehoods on Hacker News?
I know the Mac hardware is pretty trick, but man, I do most of my dev on Linux and have a Framework Laptop (AMD) running Ubuntu; it's just really nice for dev stuff to work the same way it does on our production environment...

Also, the frequency and size and time to install MacOS updates - like these computers are blazingly fast from the cpus to the SSDs - after an update has downloaded, what could it possibly be doing that takes 30+ minutes to install? I've never had to wait for an apt-get upgrade that long.
There is a whole genre of essays like this talking about behaviour in a human specific way. But, I wish they engaged with the notions of the Church-Turing thesis and the Universal Turing Machine which indicates that any behaviour following standard physics principles is in fact computable.

(FWIW, I dont think that humans can be reduced to computing, but the Church-Turing thesis is a powerful counterargument which more biologists and psychologists should engage with).
> If an approach is so boring that you don't do it, then what does it matter how effective it might be?

Yeah true, but an obvious argument is that this is where discipline comes in. If you are one of the people Anki works for, then you have to find the level of discipline required to stick with it.
I guess it just boils down to what you want to do with your spare time. You find time for HN. Me, I can find time for 20-60 min a day studying Japanese (of which 5-20 is in Anki). I also find time for 20-60 min a day playing go so ¯\_(ツ)_/¯
NASA's returned asteroid samples hold the ingredients of life from watery world
Why is there that much writing? I would imagine a game system reads billions of times as much data as it write.
I agree that this is bad, but we've already had state mandated lists of forbidden words for years, and this is a reaction to those less explicitly defined rules.

The shift is just which layer of the establishment is making and enforcing the rules. For the past half century, that's been committees at various government agencies, academic counsels and quasi-governmental groups like the AMA, etc.

Those various entities collectively mandated forbidden words that would for instance, prevent a grant from being approved, prevent a person from getting a job or tenure or a promotion or a political appointment, or prevent a paper from being published.

There is a huge range of language policing and forbidden words, phrases and ideas. From the relatively uncontroversial things like using "person with X" as opposed to "an X person" for various conditions to the clearly controversial replacement of "mother" and "woman" with "birthgiving parent" and "assigned female at birth".

I suspect this will get challenged in court and overturned and not really matter in the long term, but maybe it's an opportunity to consider all the power structures we interface with and how they control what we write, say and think.
Sorry, I mean the order described in the article requiring a list of words to be removed.
The real issue is that Visa and MC have too large a share of the payments pie. Their greed, especially Visa's, is boundless.
What about ConfigCat?
97. Well, I guess the US is one of the countries best able to implement Autarky today, so let's give it a try!

Trade makes things more efficient. Trade gives access to resources not available otherwise. Trade allows greater economies of scale, and production efficiencies via comparative advantage.

Trade is also not fundamentally necessary for the US in the way it is for essentially every other country on the planet, because the US is large enough, diverse enough, and resource rich enough to (with a fair bit of pain!) survive on our own.

I do not think it will come to that, but it is true.
I haven't found that at all. I'm well past my twenties but find Anki is one of the things I can fit in, mainly because even with kids and responsibilities you can often find small periods (say 15 mins) of time through the day. It's not enough time to sit down and start into something really complex, especially as the time is sometimes interrupted, but it is enough time to try a few questions.
I didn't say I agreed with them, merely summarized what they said in 2024 campaign and speculated on other motivations. I think they are entirely serious in their other motivations, they are flooding the zone with actions listed in Project 2025, just doing as many executive actions as possible to keep opponents busy so some will stick.
I think you are dramatically undervaluing how effective SRS is. 30 minutes of doing flashcards with Anki will accomplish about 500% as many other learning activities in the same time, in my experience.

So the point is that while SRS might be boring at times compared to other types of learning, the benefits are worth it. Effectiveness of learning does not correlate directly with enjoyment.

To phrase this another way: yes, in general you should find learning methods that appeal to you. But spaced repetition is so effective that it’s worth implementing, even if you don’t enjoy it.

Edit: using the metaphor that you added: if say, doing jumping jacks for 10 minutes burned 10x calories than every other exercise does in 60 minutes, and your goal is to lose weight, then yeah, it would seem a little silly to me to avoid doing jumping jacks because you don’t enjoy them. The benefits are worth the hassle.
That's a good point.

Professionally produced content is generally fine, as long as you've got an adblocker.

The design decisions some personal blogs make can occasionally be horrific though.

Still, I'd rather let people express themselves and make mistakes and learn from the experience, I think.
I never knew of this Postgres extension. I want to play around with it.
That is actually really scary for your mom to do.

Neonates are uniquely susceptible to HSV and it can cause permanent catastrophic brain damage and death. Sharing saliva in any baby under 6 months is a terrible idea. It tends not to make the news, but if you search for "herpes" and "bris" from religious individuals putting their mouth on the genitals of children, then you will find plenty of examples. But it's the same reason you shouldn't let people kiss your child: any cold sores (or asymptomatic shedding) can be fatal to your child.

Stay strong with your mom. She is lucky that she's unaware of the risk, but the risk is there.
From the article. Also on a display board at some future museum about the 2020's.

Blue Man Group, which has been owned by Cirque du Soleil since 2017,... it made the “difficult decision” to shutter after “we re-evaluated our current standings.” After declaring bankruptcy in 2020, Cirque du Soleil, the Montreal-based live entertainment behemoth, is controlled by private equity firms.
I assumed they meant `char (*str)[5]`, ie a pointer to an array, because they wanted to reinterpret the malloc result as an array of the malloc'd length.
My innie would be so proud