MurphyA/hacker-news huggingface dataset:
by ogogmad | 2025-08-14 00:44:34+00:00
> We can't even represent all the natural numbers

We can represent all real numbers to the same extent that we can represent all natural numbers. They're just infinite strings, with each additional letter in the string mattering less and less as it goes along. The "Type Two Effectivity" model for modelling computations with infinite strings doesn't limit you to using just the computable real numbers. An uncomputable real number can be produced by outputting an infinite string letter by letter with each letter getting picked at random. The TTE model does OTOH limit you to computing only with the computable functions on those real numbers.

The TTE model basically uses (Python-like) generators to output an endless sequence of interval approximations to a real number.
by mschwaig | 2025-08-14 00:46:06+00:00
I work with Nix a lot, and I had never seen `__findFile`.

It's kind of crazy how much there is to know about Nix. I wish there was a bit less surface area to the language. On the other hand it's really interesting how much specialized knowledge there is in the community around various topics. Some people package things, some people write library code, some write glue code that wraps other build tools, some write VM-based tests, some write generators that transform store paths into things like container images, some just manage their dot files, some are experts for how we deal with some specific proprietary ecosystem like cuda, some write infra code or tools around the Nix code, some work on one of the Nix implementations.
by chris_armstrong | 2025-08-14 00:46:40+00:00
As someone who uses OCaml for hobby projects, I appreciate how little the language gets in your way when you want to just “get shit done”, despite the language’s origins in academia and industrial uses.

The type system usually means that I might take longer to get my code to compile, but that I won’t spend much (if any) time debugging it once I’m done.

I’m in the middle of pulling together bits of a third party library and refactoring them over several days work, and I’m pretty confident that most of the issues I’ll face when done will be relatively obvious runtime ones.
by yieldcrv | 2025-08-14 00:47:16+00:00
100% agree, I had a non technical founder for a crypto venture in one of the earlier cycles. He was basically just there to get me in rooms with investors but didn’t know that, any way he kept trying to patent and trademark everything instead of just executing, and I shot him down repeatedly so we could launch the project in 6 months flat

Made millions in revenue just launching and definitely would have missed the window doing IP stuff
by 77pt77 | 2025-08-14 00:47:46+00:00
> I feel if OCaml had got its act together around about 2010 with multicore and a few other annoyances[1] it could have been Rust

That's about the time-frame where I got into OCaml so I followed this up close.

The biggest hindrance in my opinion is/was boxed types.

Too much overhead for low level stuff, although there was a guy from oxbridge doing GL stuff with it.
by bastawhiz | 2025-08-14 00:48:04+00:00
Well I started with pip because it's what I was told to use. But it was slow and had footguns. And then I started using virtualenv, but that only solved part of the problem. So I switched to conda, which sometimes worked but wrecked my shell profile and often leads to things mysteriously using the wrong version of a package. So someone told me to use pipenv, which was great until it was abandoned and picked up by someone who routinely broke the latest published version. So someone told me to use poetry, but it became unusably slow. So I switched back to pip with the built-in venv, but now I have the and problems I had before, with fewer features. So I switched to uv, because it actually worked. But the dependency I need is built and packaged differently for different operating systems and flavor of GPU, and now my coworkers can't get the project to install on their laptops.

I'm so glad all the Python packaging challenges are "solved"
by chris_armstrong | 2025-08-14 00:49:50+00:00
I almost never find a use for GADTs or functors or carefully specifying module types, but when I need them, they help me get stuff done neatly.

Even the object system which most OCaml developers avoid, is actually very useful for some specific modelling scenarios (usually hierarchies in GUIs or IaC) that comes with similar type system guarantees and minimal type annotations.
by majormajor | 2025-08-14 00:50:04+00:00
Fuji has a pretty nice camera business today after not being a particularly notable player in film SLRs - or even digital SLRs before mirrorless ILCs (contrast with Olympus here, who whiffed starting with the transition to autofocus).

That'd still be a big change of course, but it's better than not being a player.

Or they could've been Sony, who's now both a major player in cameras and supplying sensors to tons of other cameras.
by k310 | 2025-08-14 00:51:04+00:00
> The worries, described by nine Wall Street executives briefed on their organizations’ crypto initiatives but not authorized to speak publicly for their employers, center on the creation of a new interbank checking account and payments system built on crypto and blockchain technology. That system would come with few consumer protections and nascent regulatory oversight.

The last sentence is consistent with the administration and its soon-to-be successors, Vance, Musk and Thiel. "And Rand"
by zamadatix | 2025-08-14 00:51:27+00:00
More lanes = more cost

Faster lanes = more cost

More faster lanes = lots more cost

The chipset also strikes some of the balance for consumers though. It has a narrow high speed connection to the CPU but enables many lower speed devices to share that bandwidth. That way you can have your spare NVMe drive, SATA controller, wired and wireless NICs, sound hardware, most of your USB ports, your capture card, and some other random things connected over a single x4 to x8 sized channel. This leaves the high cost lanes for just the devices that actually use them (GPU and primary, possibly secondary, storage drive). I've got one consumer type Motherboard with 14 NVMe drives connected, for example, just not at full native speed directly to the CPU.

You're just SoL if you want to connect a bunch of really high bandwidth devices simultaneously (100 Gbps+ NICs, multiple GPUs at full connection speed, a dozen NVMe drives at native speed, or similar) because then you'll be paying for a workstation/server class platform which did make the "more faster lanes" tradeoff (plus some market segment gouging, of course).
by vemv | 2025-08-14 00:52:22+00:00
What I often do, and completely works, is telling Claude Code to git-clone the library in question. Then I /add-dir it, so I can tell it to understand the code factually and as of the exact version I'm using.

You often don't even need cloning, for instance in the Ruby ecosystem, for the Pundit gem `bundle show pundit` tells you `/Users/vemv/.rbenv/versions/3.4.5/lib/ruby/gems/3.4.0/gems/pundit-2.3.2` which is a vanilla dir (non-zipped), ready to be added to the Claude context.
by brucehoult | 2025-08-14 00:52:44+00:00
I certainly wouldn't recommend ANY current RISC-V board as your full time desktop machine for doing everything. Or any Raspberry Pi either. The Orion O6 and the newest Qualcomm stuff is a different matter, and RISC-V will be joining that league next year. But not right now.

If you're short on money you can pick up full working systems with Core 2 Duo or early i3/i5/i7 CPUs and proper cases and power supplies and hard disks and monitors and keyboards and mice etc for the same price as a bare SBC -- or even for free.

Things no longer supported by Windows or MacOS (and you can't install current versions of software on the old OS versions they do run) run Linux with the latest apps just fine.

ANY Intel Mac ever made (right back to 2005) is better than a Pi 5 and you can just slap an Ubuntu installer on a USB stick and install it and everything Just Works.

For those who for whatever reason specifically want to use RISC-V software, a VisionFive 2 is faster on a per-core basis than Qemu on a PC -- and a lot cheaper and more power efficient unless that PC already exists and is otherwise not doing anything.
by elcritch | 2025-08-14 00:53:13+00:00
> "Hamas wont stop until they are in a better position to defend palestinians" isnt the amazing argument you might think it is.

Hamas has no interest in defending Palestinians much less peaceful coexistence [1]. Their primary goal is to conquer and destroy Israel for the glory of Islam.

> Ismail Haniyeh in 2020: He explained that Hamas rejects ceasefire agreements by which, “Gaza would become Singapore,” preferring to remain at war with Israel until a Palestinian state is established from the River to the Sea: “We cannot, in exchange for money or projects, give up Palestine and our weapons. We will not give up the resistance... We will not recognize Israel, Palestine must stretch from the [Jordan] River to the [Mediterranean] Sea.”

Truth is that there was a population exchange between Jews and Arabs after the 1948 war between their nations similar to what happened between Greece and Turkey in 1924 and several other regions during the 20th century. It’s tragic but those peoples accepted it and now largely live in peace. I believe many Gazans desire peace with Israel [3].

However instead of accepting reality, Hamas official policy is the destruction of Israel and the Jews [2].

1: https://www.adl.org/resources/article/hamas-its-own-words 2: https://avalon.law.yale.edu/21st_century/hamas.asp 3: https://en.m.wikipedia.org/wiki/2025_Gaza_Strip_anti-Hamas_p...
by raylad | 2025-08-14 00:54:33+00:00
Claude Sonnet 4.0 didn't say "nope" to the same prompt but also didn't agree. It replied:

Actually, 24V control signals in HVAC are typically AC, not DC. Most residential and commercial HVAC systems use 24VAC for their control circuits. This 24VAC comes from a step-down transformer that reduces the standard line voltage (120V or 240V AC) down to 24VAC. The reasons for using AC include:

* Safety - Lower voltage reduces shock hazard

* Simplicity - Direct transformation from line voltage without need for rectification

* Cost - AC transformers are inexpensive and reliable

* Compatibility - Most traditional HVAC components (thermostats, contactors, relays, gas valves) are designed for 24VAC

However, you will find 24VDC in some applications:

* Modern digital/smart thermostats and controls

* Building automation systems (BAS)

* Some newer high-efficiency equipment

* Systems that need to interface with low-voltage DC electronics

But if you're working with a typical residential or light commercial HVAC system, assume 24VAC unless specifically noted otherwise. Always verify with a multimeter set to AC voltage when troubleshooting!
by cheese_van | 2025-08-14 00:55:26+00:00
Libraries are community centers in many cities and towns, and, to my own family offer much to pre-school learners in events and activities - friends are made during these events and enrich the community. Librarians offer personalized assistance to reading seekers, both to children and adults, and are a quiet haven for readers of all incomes. Library periodicals on offer can only be accessed online by paid subscription and the audio book offerings are great for those who prefer audio to reading, for whatever reason. No. Libraries offer something quite different than the internet, and communities would be diminished if they closed.

That said, the idea of funding home internet for the poor is an excellent idea, and should be entertained. I'd be for it.
by acheong08 | 2025-08-14 00:56:11+00:00
There's so much to do other than drinking. Tennis, badminton, hiking, or even just walking the coastline.

I find the problem much more to do with the availability of entertainment. Before social media and YouTube, you just got bored staying at home all day and would naturally go out and socialize. Nowadays, everyone is just plugged into a never ending stream of TikTok brain rot.
by zamadatix | 2025-08-14 00:57:24+00:00
Does the second half not already talk to this? Adding on to it further, GN found a few % performance difference on a 5090 going from PCIe 3.0 to 5.0 https://gamersnexus.net/gpus/nvidia-rtx-5090-pcie-50-vs-40-v... meanwhile many DC use cases find PCIe 5.0 unusably slow, driving alternative (non-PCIe) interconnects.
by lupire | 2025-08-14 00:57:40+00:00
Please cite your source.

I found this one: https://apnews.com/article/chatbot-ai-lawsuit-suicide-teen-a...

When someone is suicidal, anything in their life can be tied to suicide.

In the linked case, the suffering teen was talking to a chatbot model of a fictional character from a book that was "in love" with him (and a 2024 model that basically just parrots back whatever the user says with a loving spin), so it's quite a stretch to claim that the AI was encouraging a suicide, in contrast to a situation where someone was persuaded to try to meet a dead person in an afterlife, or bullied to kill themself.
by nullc | 2025-08-14 00:57:51+00:00
> There is such a thing as useful proof of work.

Not really-- or, rather, the security provided by proof of work is only proportional to the part of the cost above the fair value of the useful work.

One of the main idea behind POW security is that you spend energy and the thing you get for it is income in the blockchain. And so if you mine unfaithfully your work will end up on a chain of debased value or won't end up in the eventual consensus chain at all.. so your effort is burnt out.

Now imagine a POW that costs $5 in energy and does $5 in "useful work" --- well in that system you can now attack for 'free'. Or say it costs $6 in energy to mine plus due $5 in "useful work". There your security is related to the $1, the $5 is mostly coming along for a ride.

There are other problems with "useful" proof of work: e.g. A POW function should ideally be approximation free and optimization free... if an attacker invents a better version they gain an advantage. So e.g. if the miner detects that this particular work instance is 'hard' they can just discard it and try another. This makes it really hard to do much of anything 'useful' except the most contrived kinds of 'useful' without creating vulnerabilities.

But difficulties aside, the fact that outside benefits don't contribute to security (or at least don't contribute much) makes the whole idea space kind of unexciting.
by Melatonic | 2025-08-14 00:58:50+00:00
I think you are really onto something here - I bet this would also reliably work when talking to humans. Maybe this is not even specifically the fault of the AI but just a language thing in general.

An alternative test could be prompting the AI with "Avoid not" and then give it some kind of instruction. Theoretically this would be telling it to "do" the instruction but maybe sometimes it would end up "avoiding" it?

Now that I think about it the training data itself might very well be contaminated with this contradiction.......

I can think of a lot of forum posts where the OP stipulates "I do not want X" and then the very first reply recommends "X" !
by birdfood | 2025-08-14 00:58:59+00:00
OCaml is probably my favourite language.

The most involved project I did with it was a CRUD app for organising Writer's Festivals.

The app was 100% OCaml (ReasonML so I could get JSX) + Dream + HTMX + DataTables. I used modules to get reusable front end templates. I loved being able to make a change to one of my data models and have the compiler tell me almost instantly where the change broke the front end. The main value of the app was getting data out of excel into a structured database, but I was also able to provide templated and branded itineraries in .odt format, create in memory zipped downloads so that I didn't need to touch the server disk. I was really impressed by how much I could achieve with the ecosystem.

But having to write all my database queries in strings and then marshal the data through types was tiring (and effectively not compile time type checked) and I had to roll my own auth. I often felt like I was having to work on things that were not core to the product I was trying to build.

I've spent a few years bouncing around different languages and I think my take away is that there is no perfect language. They all suck in their own special way.

Now I'm building an app just for me and I'm using Rails. Pretty much everything I've wanted to reach for has a good default answer. I really feel like I'm focused on what is relevant to the product I'm building and I'm thinking about things unrelated to language like design layout and actually shipping the thing.
by krapp | 2025-08-14 00:59:19+00:00
No. In my experience, librarians actually care about privacy and freedom of speech, unlike any online platform. Being able to just walk into a building and read a physical book without being subject to psychological warfare or surveillance (beyond I suppose the database for checking in and checking out, which I doubt is connected to Palantir) is a low-tech freedom we shouldn't lightly abandon when technology more and more seems to serve the interests of fascists and capitalists rather than the end user.

Also if the argument is that libraries are turning into de facto homeless shelters... the problem there isn't the existence of libraries, it's the failure of society to provide shelter for the homeless. House the homeless and they won't be pissing in the libraries.
by 0manrho | 2025-08-14 01:00:02+00:00
We're already there. That's what a lot of people are using DPU's are for.

An example, This is storage instead of GPU's, but as the SSD's were PCIe NVMe, it's pretty nearly the same concept: https://www.servethehome.com/zfs-without-a-server-using-the-...
by A_D_E_P_T | 2025-08-14 01:00:37+00:00
It's called anarcho-tyranny. Certain crimes, and certain types of criminal, go unpunished almost as a rule. But it's very easy and not politically inconvenient to harass guys on skateboards, and people who post edgy memes on Facebook are a grave threat to our society, so there you have it.
by gus_massa | 2025-08-14 01:01:25+00:00
Did you made a post in who is hiring/freelancing?

I was going to suggest to post https://goodinternetmagazine.com/my-website-is-ugly-because-... but add in that webpage a link to your hiring page (I think patio11 used to add many times a link to his current business project) But you already posted it 2 month ago https://news.ycombinator.com/item?id=44114982

Do you have another post that mix some code? What is your favorite project to show cast?
by josephg | 2025-08-14 01:02:23+00:00
> So I think "no gc but memory safe" is what got people to look at Rust, but it's 1990s ML (ADTs, pattern matching, etc.) that keeps them there.

Yeah; this is my experience. I've been working in C professionally lately after writing rust fulltime for a few years. I don't really miss the borrow checker. But I really miss ADTs (eg Result<>, Option, etc), generic containers (Vec<T>), tuples, match expressions and the tooling (Cargo).

You can work around a lot of these problems in C with grit and frustration, but rust just gives you good answers out of the box.
by HarHarVeryFunny | 2025-08-14 01:02:55+00:00
So what do you make of the video - do you think it's fake, or are you just making the distinction between eidetic memory and photographic memory?

There are so many well documented cases of idiot savants with insane memory skills in various areas (books, music, dates/events, etc), that this type of snapshot visual memory (whatever you want to call it) doesn't seem surprising in that context - it'd really be a bit odd such diverse memory skills excluded one sensory modality (and it seems it doesn't).
by andsoitis | 2025-08-14 01:03:32+00:00
> Psychological operations (PSYOPs or Psych-Ops) aim to achieve narrative dominance by molding perceptions and attitudes via multi-channel information and persuasive messaging. PSYOPs seeks to achieve control through non-violent means by influencing the minds of the target audiences.

This definition sounds like a bunch of fancy words for Propaganda? How is “PSYOPS” different?
by _rkcg | 2025-08-14 01:03:51+00:00
No, initially they tried to trademark "Deepki" in the US. It was not me blocking that, the USPTO itself decided to block the application on the grounds of "likelihood of confusion" to which Deepki could have appealed, but they did not. I assume it's so blatantly similar, that even the USPTO clerk decided to block it right from the start.
by protocolture | 2025-08-14 01:05:13+00:00
>Hamas has no interest in defending Palestinians much less peaceful coexistence [1]. Their primary goal is to conquer and destroy Israel for the glory of Islam.

Right, which is why I wouldnt ascribe to them the goal of creating a Palestinian state. They might say they want it, but it isnt really the result they are looking for. The comment I was responding to was making them look good.

>Truth is that there was a population exchange between Jews and Arabs after the 1948 war between their nations similar to what happened between Greece and Turkey in 1924 and several other regions during the 20th century. It’s tragic but those peoples accepted it and now largely live in peace. I believe many Gazans desire peace with Israel [3].

The majority of Gazans would be happy if Israel just respected their right to return. Israel could simply let all the gas out of the issue immediately. Send the settlers home, and let the victims of the nakba return to their land. I dont think anyone desires "peace" where peace is living in a giant open air prison subject to raids and interference from an external military.

>However instead of accepting reality, Hamas official policy is the destruction of Israel and the Jews [2].

Exactly. They perfectly mirror the zionist terrorists who fought for the establishment of Israel. And look where that got us. Israel being ruled and directed by those terrorists has created the current crisis. We cannot repeat that mistake and simply leave Hamas in charge of Palestine. But likewise the terrorist state of Israel must also be either reformed or replaced.
by halfcat | 2025-08-14 01:06:12+00:00
If you can get all of your data efficiently (and transactionally consistent) into Kafka, that’s the scenario I mention where you have control of all your systems.

Inevitably, even if you achieve this at some point, it never lasts. Your company acquires another, or someone pushes for a different HR/CRM/whatever system and gets it.

You mention if n bytes change in the source, but many systems have no mechanism of determining that n bytes have changed without scanning the entire data set. So we’re back to a batch job (cron, or similar).
by anothernewdude | 2025-08-14 01:06:14+00:00
I felt like python packaging was more or less fine, right up until pip started to warn me that I couldn't globally install packages anymore. So I need to make a billion venvs to install the same ml, plotting libraries and dependencies, that I don't want in a requirements.txt for the project.

I just want packaging to fuck off and leave me alone. Changes here are always bad, because they're changes.