MurphyA/hacker-news huggingface dataset:
by bigwheels | 2025-10-31 16:13:58+00:00
> this feels a little like the WeWork CEO flying couches to offices in private jets

Fascinating! I unearthed the TL;DR for anyone else interested:

* WeWork purchased a $60 million Gulfstream G650ER private jet for Neumann's use.

* The G650ER was customized with two bedrooms and a conference table.

* Neumann used the jet extensively for global travel, meetings, and family trips.

* The jet was also used to transport items like a "sizable chunk" of marijuana in a cereal box, which might be worse and more negligent than couches.

Sources:

https://www.vanityfair.com/hollywood/2022/03/adam-neumann-re...

https://nypost.com/2021/07/17/the-shocking-ways-weworks-ex-c...
by wongarsu | 2025-10-31 16:14:00+00:00
$work has a GPU server running Ollama, I connect to it using the continue.dev VsCode extension. Just ignore the login prompts and set up models via the config.yaml.

In terms of models, qwen2.5-coder:3b is a good compromise for autocomplete, as agent choose pretty much just the biggest sota model you can run
by graypegg | 2025-10-31 16:14:01+00:00
Ohhhhh! REALLY good catch, I think you're right. Matches all of the features!

There's some really neat uses of it on Fonts In Use. [0]

Also a new-jersey based foundry specimen book, from a few years before publishing this catalog. [1] There's a non-zero chance that these samples were originally what convinced the original designer to go with this typeface, if we believe the designer also worked in Corning New York at the pyrex office.

[0] https://fontsinuse.com/typefaces/4509/stymie

[1] https://archive.org/details/ATFBookOfAmericanTypes1934/page/...
by bratwurst3000 | 2025-10-31 16:14:19+00:00
yes and I understand the benefit but i doubt the real world consequenzes. It would only filter the criminals who are good at opsec and those who arent. imho elevating a more proffesional type of criminals. Honestly most major crimes are money related. Get rid of papermoney and make digital payments traceable for law enforcement. I know there is something like gold bitcoin etc but at the end knowing how money moves is more power then knowing what people are writing
by infinet | 2025-10-31 16:14:42+00:00
Very interesting modification. Perhaps it can be an optional accessory.

The Ludlum mode 3 is an amazingly steady instrument and looks like it can last forever. I only hope its user interface can be improved a little bit. It is not obvious how to turn it off because there are two Off labels. One is for sound and the other is for power. Panel around the sound switch looks like:

ON switch OFF AUD button RESET

Because AUD can be read as belongs to the reset button below, people turn off the sound and think they have switched off the meter :). The ON/OFF sound switch can be labeled as Unmute/Mute.
by api | 2025-10-31 16:14:54+00:00
Quantized, a top-end Mac can run models up to about 200B (with 128GiB of unified RAM). They'll run a little slow but they're usable.

This is a pricey machine though. But 5-10 years from now I can imagine a mid-range machine running 200-400B models at a usable speed.
by brendoelfrendo | 2025-10-31 16:15:08+00:00
I keep mine pretty simple: my desktop at home has an AMD 7900XT with 20gb VRAM. I use Ollama to run local models and point Zed's AI integration at it. Right now I'm mostly running Devstral 24b or an older Qwen 2.5 Coder 14b. Looking at it, I might be able to squeak by running Qwen 3 Coder 30b, so I might give it a try to test it out.
by maleldil | 2025-10-31 16:15:16+00:00
There are [1] and [2] for function arguments and loop variables, respectively, but nothing for the general case. Note that a type checker will complain if you re-assign with a different type. Pylint also has [3] for redefining variables from an outer scope, but Ruff doesn't implement that yet.

[1] https://docs.astral.sh/ruff/rules/redefined-argument-from-lo...

[2] https://docs.astral.sh/ruff/rules/redefined-loop-name/

[3] https://pylint.pycqa.org/en/latest/user_guide/messages/warni...
Show HN: TAUT2 – Mathematical logic exercises in the browser
by cartucho1 | 2025-10-31 16:15:17+00:00
Hi HN,

This is something I originally built for my students when I was teaching logic at the University of Buenos Aires (I have now moved to philosophy of science).

I had planned to add some commercial features like paid courses — and even developed a good part of it — but I got caught up in other projects (plus, it didn’t seem particularly profitable), so it’s been sitting idle for a few years.

I figured I'd finally share it to see what reaction I get, if any, and whether there's any interest in me adding that kind of functionality.

PS. TAUT is based on my open-source logics library (https://github.com/ariroffe/logics), which runs in the browser via Pyodide. The site is currently hosted on a $5 VPS, so hopefully it won’t get hugged to death.
by tinfoilhatter | 2025-10-31 16:15:32+00:00
Not the OP, but as an individual who has programmed in Nim on and off for a decade, I feel qualified to answer. The similarities are definitely only skin-deep, and Nim is just as complex, if not more complex than Python.

Nim is much closer to Pascal / Modula / Oberon than Python. The whole - ease/simplicity of Python and speed of C is mostly marketing jargon that the Nim community has been using as long as I've been aware of the project.
by whimsicalism | 2025-10-31 16:15:39+00:00
No one with evidence of that quality would ever be elected in national politics in the US again. Say what you will about Trump but there is no evidence that he possesses CP.

Moreover, nobody with that quality of evidence against them would be sentenced to only 4 months - laxity for CSAM possessors is a european phenomenon and most pro-pedophilia activist groups are based in Europe. The average sentence for CSAM possession in the US is 70 months.
by ghaff | 2025-10-31 16:15:57+00:00
I expect that quite a few hotel clerks in the US are just not familiar with anything other than a driver's license as government ID (or think a driver's license is the only acceptable ID). I'm pretty sure that I would have an issue with a global entry card at some point if I were to routinely use it outside of TSA (as I do after my driver's license issue) even though it's perfectly valid US government ID.

Generally speaking, hotels in the US do seem to want government ID. Don't really know the requirement in general. This was a fairly low-rent chain that I was only using because last minute. I expect if it had been one of my major loyalty chains, a manager would have fixed things pretty quickly.

ADDED: Normally I travel with a passport as well but, as I say, this was a last moment short trip so I didn't throw in all my travel pouches.
by _heimdall | 2025-10-31 16:16:10+00:00
The stock market isn't inventing money. Those investing in the stock market might be, those buying on leverage for example.

Capital markets weren't intended for round trip schemes. If a company on paper hands 100B to another company who gives it back to the first company, that money never existed and that is capital markets being defrauded rather than working as expected.
by 15155 | 2025-10-31 16:16:12+00:00
Basic math would show you that the vast majority of citizens cannot cover the taxable Federal spend: $6.4T/340M persons = $18823/individual. ~$20k in taxes are paid at ~$100k in income. The US taxation regime is highly progressive, obviously the vast majority of the country is not earning $100k annually.

> Evidence actually points in the opposite direction:

I was speaking about the United States: can you find a study that somehow documents illegal immigrant (by definition: undocumented) persons' productivity?

Folks brought over on legal immigration visas likely do make more money (and contribute more) than the average American: that's why we have these programs for 'exceptional' individuals. Nobody is going through the effort (nor can they afford the costs) of obtaining lawful visas for construction labor or meat processing staff.
by northlondoner | 2025-10-31 16:16:34+00:00
> John McTaggart published a paper on unreality of time

Thanks. Great point.Special relativity covers these, I think. Carlo's interview here explains time from special relativity perspective. He doesn't say time doesn't exist or unreal, but we have some misconceptions in our daily Newtonian intuitions.

https://www.youtube.com/watch?v=PuLaUYQFIwg (Sorry if it is already posted in this tread).

> "Why consciousness perceives 3D slices of that one by one."

Philosophicaly not resolved problem, probably. But in general, in physics, entropy production explains this perception, i.e. modern stochastic thermodynamics.
by daveorzach | 2025-10-31 16:16:39+00:00
Prusa Research is launching a new, redesigned Prusament spool featuring the OpenPrintTag, an open-source NFC tag for smart spools. The OpenPrintTag standard aims to unify the industry with offline functionality, reusability, and brand independence. The new spool design includes a plastic core with a locking mechanism for improved reliability and easier refilling.
by danudey | 2025-10-31 16:16:41+00:00
1. A release turns out to contain an exploitable bug

2. A release is published to fix the bug

3. Someone malicious with access deletes the release

4. Everyone downloading the "latest" version gets the exploitable version until the developers notice and re-publish again

I think about tools used in CI systems that are often re-downloaded in each run, like `helm` or `kubectl` or `crane` for example; if they're pinning a previous version they stay exploitable, and if they're downloading the 'latest' from Github then this switcheroo keeps them exploitable. Given that a lot of emergency security releases come with disclosure ("this is being released to resolve CVE-2025-12345") another 12 hours of exploitability can be critical.
by Simorgh | 2025-10-31 16:16:44+00:00
I used to love dark mode, but in the summer months, I came to feel that it's overly depressive, possibly affecting my mood.

In the winter months, it's slightly more usable because of association with lower lighting, darkness and even coziness. However, I think it can affect mood irrespective of the time of year.

Nowadays, I'm often experimenting with the idea of displays which are backlit with colours other than pure white or pure black.
by throwaway894345 | 2025-10-31 16:16:47+00:00
> It's easier to work with if you're new to Python, lazy, or just not generally familiar with the concept of a "project".

If you have automatic virtual environments then it doesn't matter to these personas (including the Jupyter user) unless they need multiple projects or something in which case automatic virtual environments are strictly better.

> Also as you're well aware, Python existed for a long time before the virtual environment concept.

Correct, but I don't think that supports the idea that global environments have a use case that isn't better served by project-scoped environments.
by mc32 | 2025-10-31 16:16:48+00:00
Probably because wearing eye glasses signals a handicap whereas this instead could signal being part of an in-group.

Kind of like torn jeans. Before the mid sixties torn clothing would signify economic disadvantage and you’d avoid it if possible but afterwards it signified rebellion and people wanted to signal rebelliousness with torn jeans or at least signal being part of an in-group however large and diluted it be.
by hoistbypetard | 2025-10-31 16:17:19+00:00
I guess I'm just lucky, then, to have only dealt with release processes where it's no big deal to do a bump from 5.0.0 to 5.0.1 so I can address something like that. Some of them were long and complex, but they were scripted to the point where it was uniformly better to jump by a 0.0.1 than risk having two different releases with the exact same version # in the wild.
by PaulHoule | 2025-10-31 16:17:21+00:00
If we're ever going to colonize space or even do automated manufacturing in space on any scale we need to build a system which can manufacture "anything" that can be sent in a small number of launches and watched over by just a few people.

Eric Drexler's "assembler" concept has been stuck for the last 25 years, but biological systems are a good model because if they can build you out of a cell they could build just about anything else out of a cell. This kind of mycelium network is running fast compared to the neurons in your brain.
by pdabbadabba | 2025-10-31 16:17:24+00:00
Interesting points, but can you explain how they apply here? It's interesting and, afaik, true that modern Egyptians's lives today are more similar to their ancient ancestors' than you might expect (moreso than in many other nations). But how should we think about the relevance of this fact to debates about looted artifacts? Does the fact that they still work fields irrigated by the Nile suffice to give them a claim to repatriate artifacts taken generation ago? (Perhaps there are more similarities than this. I don't mean to be flippant on this point, I just am not an expert on all the similarities.) Or is it significant that they have generally abandoned the ancient Egyptian religion in favor of Islam, have a President rather than a Pharaoh, own televisions and smartphones, are now generally safe from crocodiles, have controlled the Nile's annual flooding (whose volatility was a dominant source of danger and drama in ancient life), etc.?

Regarding the Bust of Nefertiti, I guess it's debatable whether 100 years ago qualifies as "quite recently," but I suppose it does seem like yesterday when one is thinking about ancient Egypt! In any case, the analysis certainly may differ depending on the artifact. If the the date of the looting makes a difference I think that only supports the general thrust of my argument.
by griffzhowl | 2025-10-31 16:17:46+00:00
Ah ok, thanks for clarifying. I certainly don't think it should be a top priority either, partly because of the low subjective probability, but mostly because it would be an outside context problem (excession) - it's impossible to prepare for an event whose implications we can't bound

https://en.wikipedia.org/wiki/Excession#Outside_Context_Prob...
by jasonthorsness | 2025-10-31 16:18:14+00:00
When I started programming debuggers were very good. Windbg for example was incredibly powerful, you could debug the Windows kernel, boot process, run scripts, author plugins, anything.

And yet here decades later this list about debugging doesn't even mention a debugger, and in many environments they are worse and harder to use than what we had before. I'm so disappointed!
by _heimdall | 2025-10-31 16:18:48+00:00
We shouldn't judge whether an indicator is stable or okay only by looking to see if its the highest historical value.

PE ratios of 50 make no sense, there is no justification for such a ratio. At best we can ignore the ratio and say PE ratios are only useful in certain situations and this isn't one of them.

Imagine if we applied similar logic to other potential concerns. Is a genocide of 500,000 people okay because others have done drastically more?
by mym1990 | 2025-10-31 16:19:25+00:00
Knowing almost nothing about memory and the brain, I don't know if I agree with "Every memory your brain has ever produced is still there".

Memories seem to be constructed by a group of neurons together, and it seems clear that neurodegeneration is a thing, whether by trauma or due to aging. When pathways degenerate, maybe you have a partial memory that you brain can help fill the gaps with(and often incorrectly), but that does not make it the original memory.
by waltbosz | 2025-10-31 16:19:58+00:00
I'm not sure how it came to be. My guess is typo. The restaurant in question was down the street from me and it did have a payphone outside of it. I can't recall if I ever went to check the phone number of the payphone.

They actually just demolished the building that formally housed the restaurant (a Friendly's if anyone is familiar). The building sat empty for years.
by sigbottle | 2025-10-31 16:20:21+00:00
Weird angle, but isn't "believing there will be a crash" sort of framing it as if this were still normal market dynamics?

OpenAI and AI in general has posed itself as an existential threat and tightly integrated itself (how well? let's argue later) with so many facts of society, especially government, that like, realistically there just can't be a crash, no?

Or is this too doomsday / conspiratorial?

I just find it weird that we're framing it as crash/not crash when it seems pretty clear to me they really genuinely believe in AGI, and if you can get basically all facets of society to buy in... well, airlines don't "crash" anymore, do they?
by pbhjpbhj | 2025-10-31 16:20:25+00:00
Searching back, as I recall a video that was supposed to cause [increased] CSF flow, I did find this - https://news.ycombinator.com/item?id=34764730 about suggestions some learning difficulties might be due to interrupted CSF fluid flow.

The video (?) was related to clearing of plaques from the brain with a view to mitigating Alzheimer's effects.

It was not the NSDR (Non-Sleep Deep Rest) videos a sibling commenter posted.
by dust42 | 2025-10-31 16:20:26+00:00
On a Macbook pro 64GB I use Qwen3-Coder-30B-A3B Q4 quant with llama.cpp.

For VSCode I use continue.dev as it allows to set my own (short) system prompt. I get around 50token/sec generation and prompt processing 550t/s.

When giving well defined small tasks, it is as good as any frontier model.

I like the speed and low latency and the availability while on the plane/train or off-grid.

Also decent FIM with the llama.cpp VSCode plugin.

If I need more intelligence my personal favourites are Claude and Deepseek via API.
by antognini | 2025-10-31 16:20:27+00:00
Yes this is another important difference between human auditory perception and classical signal processing algorithms. Typically when processing audio we take a Fourier transform and then throw away the phase information. Mostly the amplitude information is all you need to understand a sound, but the ear actually is capable of picking up phase information.

(I thought this was discussed at some point in Lyon's book but it's admittedly been many years since I read it, so I can't remember for sure.)
by ThrowawayR2 | 2025-10-31 16:20:32+00:00
Weird take. The Raspberry Pi Zero 2W would have seemed more like the natural comparison rather than the Raspberry Pi 4 or 5.

I find it more interesting to think of the Arduino Uno Q as a Raspberry Pi Zero 2W but with 2GB / 4GB of RAM and even lower idle power than the other options with that much RAM. That makes it intriguing as a very low power always-on headless server with GPIO as a bonus.
by celticninja | 2025-10-31 16:20:37+00:00
I think branch names are quite unimportant in development and often don't worry about them being too descriptive.

In my org it is common to use the JIRA ticket number in there somewhere but other than that I think you should leave it up to devs. I can't think of a reason why I would need to know the branch name.

My favorite branch name I created was for a JIRA ticket with the number 2468.

This became ab-2468-who-do-we-appreciate

Detailed branch naming conventions are just another piece of useless documentation for devs. And if you are using the branch name to tell you what is going on the you are misunderstanding the review process.
by thesmtsolver | 2025-10-31 16:20:48+00:00
This is just outdated, bad and dangerous advice that a ton of recent research invalidates.

1. Ritalin, and other stimulants are not cognition enhancing for non-ADHD adults and may in fact do the opposite.

https://www.cam.ac.uk/research/news/smart-drugs-can-decrease...

2. > Because the doctor will rigorously apply artificial and unreliable diagnostic categories backed up by invalid and arbitrary screens and queries to make a diagnosis. So after this completely subjective and near useless evaluation is completed, your doctor should be able to exercise prudent clinical judgment to decide if Ritalin could be of benefit.

What else can you do for psychiatric conditions? We don't have a magic ADHD-o-meter but know that it statistically impacts lifespan, health, etc. Even for more objective measures like blood glucose, BP, BMI, clinical interventions are based on discrete thresholds that don't exist in nature.
by cb321 | 2025-10-31 16:20:57+00:00
Actually echo is not a statement - Nim's syntax is just much more flexible than Python so what looks like a statement in Python is actually just a UFCS/Command-Line "call" (of macro/template/generic/procedure aka "routine"). It is super easy to roll your own print function [1] and there is no penalty for doing so except that the std lib does not provide a "common parlance". So, that wheel might get reinvented a lot.

A lot of things like this in cligen because it is a leaf dependency (the literally 1..3 identifier CLI "api") and so many "drive by" PLang tester-outers might want to roll a little CLI around some procs their working on.

Also, beyond the echo x,y is same as echo(x,y) or x.echo(y) or x.echo y, the amount of syntax flexibility is dramatically more than Python. You can have user-defined operators like `>>>` or `!!!` or `.*`. There are also some experimental and probably buggy compiler features to do "term re-writing macros" so that your matrix/bignum library could in theory re-write some bz*ax+y expression into a more one-pass loop (or maybe conditionally depending upon problem scale).

I sometimes summarize this as "Nim Is Choice". Some people don't like to have to/get to choose. To others it seems critical.

Someone even did some library to make `def` act like `proc`, but I forget its name. Nim has a lot more routine styles than Python, including a special iterator syntax whose "call" is a for-construct.

[1] https://github.com/c-blake/cligen/blob/master/cligen/print.n...
by simonw | 2025-10-31 16:21:14+00:00
I'd be very interested to hear from anyone who's finding local models that work well for coding agents (Claude Code, Codex CLI, OpenHands etc).

I haven't found a local model that fits on a 64GB Mac or 128GB Spark yet that appears to be good enough to reliably run bash-in-a-loop over multiple turns, but maybe I haven't tried the right combination of models and tools.
by vjerancrnjak | 2025-10-31 16:21:22+00:00
Async and threading are applied to similar problems, that's how I understood OP.

`if (file_exists(f))` is misuse of the interface, a lesson in interface design, and a faulty pattern that's easy to repeat with async-await.

> I don't understand this argument about 'coloured functions' polluting code.

Let's say you have some state that needs to be available for the program. What happens in the end game is that you've completely unrolled the loads and computation because any previous interface sucks (loading the whole state at the beginning which serializes your program and makes it slower, or defining `async loadPartial` that causes massive async-await pollution at places where you want to read a part of the state, even if it is already in cache).

Think about it, you can't `await` on part of the state only once and then know it's available in other parts of code to avoid async pollution. When you solve this problem, you realize `await` was just in the way and is completely useless and code looks exactly like a callback or any other more primitive mechanism.

A different example is writing a handler of 1 HTTP request. People do it all the time with async-await, but what to do when you receive N HTTP requests? The way to make code perform well is impossible with the serial code that deals with 1 request, so async-await just allowed you to make something very simple and in an easy way, but then it falls apart completely when you go from 1 to N. Pipelining system won't really care for async-await at all, even though it pipelines IO in addition to compute.

I think "how to express concurrency" is a question I'm not even trying to answer, although I could point to approaches that completely eliminate pollution and force you to write code in that "unrolled" way from start, something like Rx or FRP where time is exactly the unit they're dealing with.