MurphyA/hacker-news huggingface dataset:
by skippyboxedhero | 2025-12-27 14:05:29+00:00
Okay, so you believe there is nothing that anyone can do...so logically, you would also believe that any form of gambling addiction treatment is pointless? The issue with your point of view is that it defies any sense of understanding about what addiction actually is, there are no possible solutions apart from the government just banning everything in sight.

The purpose is that gambling is fun. That is it. Eating fast food is fun. Drinking alcohol is fun. There are people who are addicting to shopping, so we can ban that too? It is a net negative to you (again, the classic contradiction: YOU believe gambling is wrong so you characterise it is a society wide problem...individual agency doesn't exist though? everyone agrees with something because YOU think it) because you don't enjoy it. It is like saying food consumption is a net negative because it is a sunk cost...in reality, people enjoy eating food, they will spend money on food that is more expensive than basic sustenance for enjoyment, and people enjoy gambling because it is entertaining. No crazy theories required, it is fun, people should be allowed to have fun.

Also, they supply very addictive things at the candy store...candy. Not everyone gets addicted, but you think we should also ban them? Eating candy is clearly a systemic issue, right? Nothing to do with personal feelings, it is a systemic issue with insufficient government intervention in the supply of candy. Candy exists, and for what purpose? Lol, it is like talking to a robot.

Because there is no systemic issue. You are saying that people are just mindless drones who have no control over their actions. Again, ban gambling therapy...must be completely pointless? There is nothing that anyone can do?

No victims are being blamed, I just don't have the arrogance to call people who do something I don't like or behave in a way that I wouldn't a "victim". They aren't victims. Gambling addiction will exist no matter how much we ban, there are gambling addicts in your paradise of Saudi Arabia, and they get no help because they live within a system that denies individual agency replacing it with religious agency. Some things are addictive, those things can also be enjoyable to other people without harm, it is okay for people to enjoy things that aren't enjoyed by other people, it is okay to have fun.
by ben_w | 2025-12-27 14:05:41+00:00
> Which doesn't matter at all in the case of Germany.

I don't understand what you are trying to suggest here.

Do you think German politicians never make errors of judgement? That they can't be afraid of things the general public is afraid of, nor caught up in the excitement of things the public can be inspired by?

The perception in the past in Germany was that nuclear fission was dangerous, and I think it may still be seen as such. All the proponents of fusion emphasise how much safer it is in various ways including that it can't have a meltdown.

I'm of the opinion that the correct time to deploy nuclear power was any time before the early 2010s, as that was roughly when the time taken to make a new reactor combined with the rate of improvements to renewables to swing the balance from nuclear to renewables. But that's just about cost, diversity is also a useful thing in its own right, as (unfortunately) is the ability to quickly develop nuclear weapons.

(A working fusion reactor necessarily helps with making nuclear weapons, just run it in a neutron-emitting mode (IIRC always easier than aneutronic) and use those neutrons to transmute some natural uranium into plutonium, then draw the rest of the owl).
Show HN: Feather – a fresh Tcl reimplementation (WASM, Go)
by dhamidi | 2025-12-27 14:06:37+00:00
Hey HN!

First time showing something here, but I've been furiously working over the holidays on Feather, a from scratch reimplementation of TCL designed for embedding in modern applications.

It's starting out as a faithful reimplementation of TCL without I/O, OOP features, or coroutines.

TCL has a special place in my heart because the syntax is so elegant for interactive use, and defining domain specific languages.

My motiviation is twofold: faster feedback loops for AI, and moldable software for users.

It turns out giving AI agents access to the runtime state of your program makes for really fast feedback loops, but embedding existing options in a world where shipping binaries for each platform is commonplace is tricky.

Embedding the real TCL is tricky because it comes with its own event loop (in 2025 you alreay have one), a GUI framework (you have a web framework already, or develop on mobile), and has access to the filesystem (don't forget to delete all commands with file system access!).

Feather just doesn't ship with those - expose only what you need from your application.

A WASM build comes out of the box and clocks in at ~120kb plus 70kb for connecting it to the browser or node.js.

And if embedding becomes easy, you can put a REPL everywhere: in mobile apps, in desktop software, as a control plane into web servers.

I want to imagine a world where all software is scriptable just like Emacs and nvim, with agents doing the actual work.
by gcanyon | 2025-12-27 14:06:55+00:00
I can only speak to my experience, but I spent a long time being puzzled by video editor user interfaces, until I ran into ScreenFlow about ten years ago. For whatever reason, the UI clicked, and I've used it ever since. It's a single purchase, not monthly, and relatively affordable. https://www.telestream.net/screenflow/overview.htm
by burntsushi | 2025-12-27 14:07:17+00:00
> or you yolo it with reserve+set_len, which is invalid Rust because you didn't properly use MaybeUninit for locations which are only ever written

`Vec::spare_capacity_mut`[1] gives you a view into the unused capacity. There's nothing "invalid" about it.

[1]: https://doc.rust-lang.org/std/vec/struct.Vec.html#method.spa...
Show HN: Crovise – Static analysis for landing page conversion hypotheses
by adamofk | 2025-12-27 14:07:44+00:00
Hi HN, I’m Adam. I built Crovise, a tool that performs static analysis on landing pages to generate CRO hypotheses.

I started this after building a few small SaaS projects where improving conversion rates often felt vague and subjective. Most advice was generic (“make the CTA clearer”) or required long A/B tests that weren’t realistic with low traffic. I wanted something more deterministic and engineering-driven.

Crovise analyzes the HTML structure and DOM hierarchy of a landing page to surface potential conversion issues and testable hypotheses. It looks at semantic structure, element placement, hierarchy depth, and common patterns seen in high-converting pages — not just visuals or copy tone.

Technical notes:

- The analysis engine is currently rule-based, not ML-heavy
- Built with Next.js
- Translating qualitative UX heuristics into deterministic rules was the hardest challenge

This is an MVP in a *waitlist / early-access phase*. It works best on simple marketing pages; complex SPAs or dynamic content are a known limitation, and false positives are expected.

I’m 16 and have been learning the SaaS stack for 8 months. I’d really appreciate feedback on:

- Whether static analysis is a reasonable approach for CRO
- Which signals feel useful vs misleading

Waitlist/demo: https://crovise.netlify.app

Thanks for taking a look.
by jbstack | 2025-12-27 14:08:10+00:00
It's a bad analogy because the incentives are totally different. With sports betting (of the type in the article) you're betting against the bookmaker. If you win, they lose, and vice versa. Obviously it's better for them that you lose.

With financial markets you are betting against other users. The ones running the market take fees on each transaction, so they don't care whether you win or lose. Their incentive is just to keep you making transactions.
by publicdebates | 2025-12-27 14:08:19+00:00
I've used Ruby and Lua for about 15 years now, and looked at mruby (and possibly used it, I don't remember) about 10 years ago. Having little else to contribute to society anymore, perhaps my insight on these two languages might be of some use to some.

IIrc, Matz designed Ruby as a pet passion project, and its design was reactionary against excessiveness found in other languages, hence its minimalism in arguably excessive syntax and notation. Otoh, Tegcraf designed Lua out of pure necessity, adding only the features needed to satisfy its clients' needs.

In my opinion, necessity always leads to the better product than desire, hence C is still unbeat, having been formed under similar circumstances. Lua's C API is copied by nearly every other embeddable scripting language, including (I think) mruby. Yet they were the first to come up with it, a testament to their creativity under pressure.

Ruby (and mruby) takes the Smalltalk approach, and asks, what if everything was an object and every function call is a method call? Lua takes a less extreme approach, and merely asks, what if every data structure was built on a hashmap?

Other than that, Lua takes a very minimal approach, having break/goto but not continue, if/elseif but not switch, metamethods but not inheritance. It gets to 90% of the functionality of JavaScript with 10% of the spec and 1% of the code. You can read the entire Lua manual in one Saturday. You can read its grammar in under five minutes.

For all its cleverness, and as a price for its concise implementation and design, Lua is inconvenient to use. Hence the plethora of languages that compile to Lua and try to make it more convenient to use. One comes to mind but I can't remember or google the name successfully.
by teraflop | 2025-12-27 14:09:04+00:00
That 1956 article on the long-distance telephone network is fascinating reading.

The chart on page 24 gives the very first division of the US phone into area codes, many of which have of course remained unchanged today.

From page 82, when discussing automated in-band signaling on the phone lines:

> The signal component is a band about 100 cycles [Hz] wide centering on the signal frequency [2600 Hz]. [...] In the talking condition (tone off in both directions) the guard detector sensitivity is such that almost a pure tone is required to operate the receiver since other than signal frequencies will produce a voltage opposing its operation. The guard feature prevents false operation of the receiver from speech signals.

Of course in hindsight, the flaw in this is obvious. The guard band prevents accidental triggering of the signal mechanism by ordinary speech. It does nothing to stop someone from intentionally playing a pure 2600 Hz tone into the telephone handset, using e.g. a whistle from a cereal box.
by skydhash | 2025-12-27 14:09:27+00:00
Is there kind of rewards for speed running typing ffmpeg flags? Like an advent of ffmpeg?

I know what I want to do, I don't know how it's being done, but there's a wealth of information that is very accessible. So I just read it.

It's very easy to type `apropos ffmpeg`. And even if you typed `man ffmpeg`, if you go to the end, you will find related manuals name for more information. And you can always use the pager (`less` in most case) facility for quick search.

I believe that a lot of frustration comes from people unwilling to learn the conceptual basis of the tools they are using.
by oldputput | 2025-12-27 14:12:00+00:00
I guess it’s the complete lack of any intentionality, if I were to try and describe it better. It’s just so apparent that, well, here I am submitting an Ask HN trying to understand. I hope I’m not coming across as flippant, I don’t mean to, it’s genuine curiosity, I just don’t understand how anyone could defend their position that any LLM ‘passes’.
by Bender | 2025-12-27 14:12:16+00:00
Just a lot of unknowns.

That works for me too. Last year I was taking a picture of the sunset and a swarm of UFO's went past my camera. I knew what they were (flock of birds that eat the deer's food) but my camera was in in a mode that could not focus fast enough. I declined to report the UFO's.
by etruong42 | 2025-12-27 14:12:57+00:00
I got one of these: https://chompshop.com/collections/chompsaws/products/chompsa...

So long as you have a steady stream of cardboard (whether from packages shipped to your home or it ends up in your friendly neighbors' recycling), I anticipate that you could always make things, solo or with friends.

I've heard that one can use wheat paste as cardboard glue.

My hope is to have the combination of a cardboard "saw" and cardboard glue is to result in something like (nail-free) carpentry that kids can perform nearly entirely unsupervised.

Even making simple shapes that can go into dioramas and be props for roleplaying would already be great, I hope!
by bccdee | 2025-12-27 14:13:31+00:00
> For the negligible added CPU cost of deserialization, you completely lose human readability.

You could turn that around & say that, for the negligible human cost of using a tool to read the messages, your entire system becomes slower.

After all, as soon as you gzip your JSON, it ceases to be human-readable. Now you have to un-gzip it first. Piping a message through a command to read it is not actually such a big deal.
by eleventyseven | 2025-12-27 14:14:12+00:00
The review shows ARM64 software support is still painful vs x86. For $200 for the 16gb model, this is the price point where you could just get an Intel N150 mini PC in the same form factor. And those usually come with cases. They also tend to pull 5-8w at idle, while this is 15w. Cool if you really want ARM64, but at this end of the performance spectrum, why not stick with the x86 stack where everything just works a lot easier?
by sipofwater | 2025-12-27 14:15:29+00:00
"A Big Picture View -- A Sweeping View Measured In Many Centuries -- Of The Impact Of The Unidentified Flying Object (UFO) Phenomenon": https://old.reddit.com/r/411ExperiencedReaders/comments/ebi0... (old.reddit.com/r/411ExperiencedReaders/comments/ebi0fi/ufo_india_1958_four_entities_emerged_two_boys_who/fb4wgwb/)
by skippyboxedhero | 2025-12-27 14:15:36+00:00
I didn't mention the invisible hand because the precise point is that this is a non-economic discussion. People who want to ban gambling will always, as can be seen elsewhere, make economic points about how it is an economically inefficient activity. Many fun things are economically inefficient, and economic inefficiency is nothing to do with overall bad or good.

"Regulate" fast food...how? So the government is responsible for deciding how someone of normal weight is allowed to eat? Btw, I live somewhere where this has happened...I pay 30-40% more for some types of food, some products have been removed totally, they don't sell them anymore...why? I am healthy, I run, what did I do? The narrative for this was that obesity is a societal problem, that anyone can be obese...which is false. I am just paying more because someone else is obese, that is it (and, obviously, this hasn't changed obesity...the government has just unlocked a new source of revenue to spend on nonsense).

It is easy to regulate gambling, which the US does btw, because the experience is controlled. So you can remove products, unlike with fast food, that are explicitly designed for addicts (for example, many countries have regulations that rank casino/machine/slots gambling into categories). And in many countries, again like the US, you have government-maintained self-exclude lists, no-market lists, etc. Again, this only impacts addicts. The problem is that people who want regulation want to go further, they have these bizarre notions of economic efficiency with embedded social norms they don't appear to acknowledge, and (ultimately) this will impact people who just enjoy gambling. The premise of the original point was that gambling is inherently addictive...this is not the case, it isn't infallibility...some people find this activity fun, they should be allowed to have fun even if some other people shouldn't do it.
by Someone1234 | 2025-12-27 14:16:45+00:00
There is likely a correlation between reductions in other addictive behavior such as shopping/gambling addictions and GLP-1s. That being said:

- Some people have reported no benefit.

- The effect may be lower than counteracting chemically addictive behavior (e.g. eating, drinking, smoking, drugs).

I think we can speculate with what we know today that there is SOME effect, but more data/studies are needed to see how large effect really is. Particularly as the overall effect is lower, you need more data to separate it from noise/placebo.
by proof_by_vibes | 2025-12-27 14:16:56+00:00
I've been writing [libsodium](https://doc.libsodium.org/) bindings in Lean4 and have ended up using `native_decide` quite liberally, mostly as a convenience. Can any Lean devs provide a more thorough interrogation of this? Should I go back and try to scrub its usage out of my library? Logically it seems consistent with what I'm trying to do with Lean4's FFI (i.e. you really do need to explicitly trust the Lean kernel since I'm adding nontrivial computation using a foreign cryptography library) but I'm curious if this isn't necessary and whether Lean devs would push back on its use.
by godelski | 2025-12-27 14:17:02+00:00
I'm absolutely fascinated by your answer!

Can you tell me more about the pipeline? Are you really starting from scratch by programming? You don't do any sketching first? I'm really having a hard time imagining doing anything reasonably complicated with this method. I'll admit that there are some advantages like guaranteeing bounds but there's so much that seems actually harder to do that way.

> They record them digitally

Like I said, it is contextually dependent. If you're recording with digital equipment to a computer, then yeah, it's just easier to record that way and dump into a plot. But if you don't have that then no. And again, even recording by hand it is still dependent.

But some data is naturally image data (pictures?). Some data is naturally in other modalities (chemical reactions? Smell? Texture? Taste?). Yes, with digital recording equipment you can argue that this is all text but at that point I'd argue you're being facetious as everything is text by that definition.

> You may obtain them from looking at images but the hard truth is numerical, digital, textual.

Here I think you have a fundamental misunderstanding and are likely limiting yourself based on your experience.

First off, not every measuring device is digital. So just that alone makes it down right false. And pretending all measurements are digital is just deceptive or naive.

Second, and I cannot stress this enough: *every single measurement is a proxy* to the thing you intend to measure.

You can't even measure a damn meter directly. You can measure distance through reference length that is an approximation of a standard distance (aka a ruler). You can measure distance through reference to an approximation of time and through the use of some known velocity, such as the speed of light through a given medium (approximating time, approximating c in the medium, approximating the medium). And so on.

What you cannot do is measure a meter directly.

And most of the things we're trying to measure, model, and approximate in modern science are far more abstract than a standard unit!

The idea that the ground truth is textual is ridiculous. That would only be true on the condition that the universe itself is running on a digital computer. Despite the universe being able to do computation, I see little reason to believe it is digital.
by fn-mote | 2025-12-27 14:17:22+00:00
The article is quite interesting. It ranges from a mathematical discussion (it explains Stein’s variant of the GCD algorithm if you make it far enough) to instruction-set-level issues.

For example:

> GCC documents __builtin_clz(0) as having an “undefined result”, so I initially assumed it means an indeterminate value. In reality, GCC maintainers consider it UB and LLVM documents it as UB… but the optimizers seem to model it exactly like an indeterminate value? (e.g. LLVM considers @llvm.cttz(0) to produce poison) This is frankly ridiculous, someone do something about it

There is a very interesting table of raw timings, showing variation from about 30% faster to 10% slower across a variety of bit widths (of the numbers involved) and architectures. This is a VERY thorough level of testing!!

PS It’s not a dupe if no discussion occurred… that’s just the second chance pool.
by ttctciyf | 2025-12-27 14:17:46+00:00
Maybe I'm too familiar with the set theoretic construction of the natural numbers (0 is the empty set, 1 = {0}, ..., 5 = {0,1,2,3,4}, etc.) but their example of "3 ∩ 4 = 3" or "4 intersect 3 is 3" doesn't seem weird, problematic or even useless to me, it just looks like a handy set theoretic implementation of the min() function.
by ndai | 2025-12-27 14:19:07+00:00
Waves don’t come from pressure. Pressure comes from constrained waves… constraints prevent oscillatory relations from freely satisfying their phases. Pressure is a local manifestation of the same idea behind gravity. When many interacting modes lock into a persistent configuration, they impose constraints on nearby modes. To us on the inside it looks like curvature and attraction. But the comment section on HN is a bloodsport…
by vee-kay | 2025-12-27 14:20:54+00:00
Origin trivia: Originating from the Sanskrit word for zero शून्य (śuṇya), via the Arabic word صفر (ṣifr), the word "cipher" spread to Europe as part of the Arabic numeral system during the Middle Ages.

https://www.etymonline.com/word/cipher

https://en.wikipedia.org/wiki/Cipher#Etymology

Fun fact: The Sanskrit word for mathematical zero and emptiness/voidness is the same: Shunya (शून्य). In fact, mathematicians are of the opinion that ancient Indians were among the first to understand the concept of mathematical zero because they understood the meaning of empty/void (Shunyata). Dhyana (meditation by focusing on voidness/stillness, away from random intrusive thoughts) is an aspect of Yoga (world's oldest active fitness discipline).

Another fun fact: The world's oldest recorded cipher (as an example of cryptography/ encryption) is the ancient Indian epic Ramayana by Maharshi Valmiki. It has 24000 verses (Sanskrit shlokas), and the first syllable (akshara) of each 1000th verse/shloka forms a series of 24 syllables that form the sacred Sri Gayatri Mantra.
Show HN: Write.rocks – Blog speed like a static site, edit like Notion
by vankhoa1505 | 2025-12-27 14:22:05+00:00
Hi HN,

I built write.rocks because I kept abandoning my own blog.

The pattern was always the same: SSH into VPS, edit markdown files, rebuild, fix some nginx config, redeploy. By the time everything worked, I'd lost the motivation to actually write.
Static sites are fast and simple to host, but the editing workflow kills momentum. CMSs solve editing but add complexity and slow things down.

write.rocks tries to give you both:

- Static site performance (ISR, edge caching)
- True static site performance – PageSpeed scores hit 95-100
- Notion-like editor that switches between rich text and markdown
- Own your data
- Your own subdomain or custom domain

I'm a developer who just wanted to write more without fighting my infrastructure. If you've ever abandoned a blog because the publishing friction was too high, I'd love your feedback.
Free tier available. Paid planif you want custom domains and more storage.

try it at
https://write.rocks
by InvoiceGuru | 2025-12-27 14:22:15+00:00
I’m a tradesperson (painter) building a mobile-first invoicing app on the side.

The goal is to make invoicing, compliance (MTD in the UK, KSeF in Poland), and everyday admin fast and usable directly on-site, without desktop software.

Core ideas:
– create invoices in seconds on mobile
– automatic accountant reports
– bank integration with payment matching
– OCR receipt scanning
– built for upcoming regulatory changes, not retrofitted later

I’m currently collecting early testers and would love feedback from founders, accountants, or anyone who’s dealt with invoicing pain in small businesses.

Happy to answer questions and be very open about what’s working and what’s not.