MurphyA/hacker-news huggingface dataset:
by kscarlet | 2025-08-13 18:40:51+00:00
It's easy to just stick them together, but to me (who writes too much Lisp for my own health) this is unsatisfactory.

The dream: just like macro can be seen as a (staged) extension mechanism for Lisp evaluator, there should be an extension mechanism for the static type system, which allows me to define new types, define new syntax (like Haskell do-notation) which makes use of typing environment and expected type of current context (return-type polymorphism), etc.

The reality: very few environments figure this out. In Coalton Lisp macros do work, but only at the level of untyped S-expr. A Lisp macro can't know about types of the variables in the lexical environment, or expected type of its own context. But it quite possibly works fine for the "typescript-like" use case you described.

The problem I see: H-M type system isn't designed with extensibility in mind, and it's hopeless to make it extensible. More technical explanation of why it's hard to integrate with Lisp macro is that H-M relies on a unification-based inference stage which execution flow is very different from macro expansion.

Possible solution: There's no fundamental reason why static type can't have something as powerful as Lisp macro. However first of all you would need an extensible type system, which seems to still be an open research problem. I think bidirectional type system is hopeful -- it's so different from H-M at a fundamental level though that I think it's hopeless to retrofit into Coalton.
by user_7832 | 2025-08-13 18:41:33+00:00
I had the OG Bip and got extremely close to 3 months at one point. Unfortunately I don't remember if I had the HR set to 5 minute intervals but if it was on, I think that was the setting.

Even with 1 minute intervals though, battery life was absolutely stellar. I'd often lose my charger, and in few days after I saw the battery dropping/low battery alerts, I'd find it too (before the watch died)!
by jadamson | 2025-08-13 18:41:42+00:00
> I take it you didn't read your own link, the language used is "services".

I do love it when people lie and then try to get sassy when called out.

> Even if your forum falls in scope, you're only required to do a risk assessment, if at that stage you are likely to have a lot of underage users, then there might be an issue.

I also like it when people who accuse others of not reading prove themselves incapable of reading - as pointed out below, what I linked is required regardless of the assumed age of your userbase.
by allturtles | 2025-08-13 18:41:55+00:00
I think you're missing a middle ground, of people who want to let people know a thing they found or learned, and want to get credit for it.

Among other things, this motivation has been the basis for pretty much the entire scientific enterprise since it started:

> But that which will excite the greatest astonishment by far, and which indeed especially moved me to call the attention of all astronomers and philosophers, is this, namely, that I have discovered four planets, neither known nor observed by any one of the astronomers before my time, which have their orbits round a certain bright star, one of those previously known, like Venus and Mercury round the Sun, and are sometimes in front of it, sometimes behind it, though they never depart from it beyond certain limits. [0]

[0]: https://www.gutenberg.org/cache/epub/46036/pg46036-images.ht...
Show HN: Tool that helps you generate startup ideas people need
by rokbenko | 2025-08-13 18:42:06+00:00
Hi, I’m Rok!

I’ve always wanted to build something of my own. But for years, I had no ideas. I was that guy, endlessly scrolling through Reddit threads about “how to get startup ideas,” hoping for a lightbulb moment that never came.

Recently, I stumbled on a Starter Story YouTube video. Steph France was talking about something he called the “Gold Mining Framework.” Guess what? Reddit itself is one of the best places to find startup ideas.

There are over 1 billion active Reddit users and 150,000 Subreddits. People share what they need and what they don’t need every day. If you listen, you can find problems worth solving. And when you solve real problems, you have a much better chance of success.

But there’s a catch! Steph’s method works, but it’s painfully manual. That’s why I built r/KaChing for myself and proved that you can automate startup idea generation.

Now, I’m opening pre-orders to see if other aspiring founders would find it as game-changing as I do. If enough of you join, I’ll launch r/KaChing. If not, everyone gets a full refund!

As a pre-order supporter, you’ll get 10% off for life, as long as r/KaChing exists. This exclusive 10% lifetime discount will never be offered again after launch!

Thanks for the support!

Best, Rok
by HeyLaughingBoy | 2025-08-13 18:42:16+00:00
I do miss it somewhat. At the time, a selected number of us on my product team were given retention bonuses because the company didn't want us being poached for internet jobs. I'm not complaining, because it was free money but anyone wanting to poach us away would probably have just offered more.

OTOH, I remember being in SF in spring 2001 for Embedded Systems Conference and overhearing a couple of Web developers on the same bus talking about how everyone they knew was losing their jobs. So I guess by that time, the end was in sight! Our bonuses continued for at least a year after that.
by fullstop | 2025-08-13 18:42:23+00:00
> I had an Amazfit Bip

I still have mine. The front fell off, but I glued it back on. The battery life is not as good as it was when I got it in 2019, but it still keeps a charge for over three weeks. I keep looking for replacements, but haven't found anything that can match that lifespan while also not being huge. Maybe this Pebble is the ticket.
by chaps | 2025-08-13 18:42:38+00:00
The question wasn't asked to extract enlightenment. This person in particular does not trust statistics, so the question is aimed at understanding the edges of their lack of trust through Socratic-questioning. Like, I fundamentally disagree with everything they're saying and suggesting, but they're absolutely right that "crime statistics" are garbage and uncollected[1]. But their belief is so confident that crime in DC is so rampant that they feel that it's okay to send the national guard. That confidence comes from somewhere, so I'm trying to ink it out.

[1] https://www.themarshallproject.org/2022/08/15/see-if-police-...
by jasonvorhe | 2025-08-13 18:42:41+00:00
That's also trained behavior due to SEO infested recipe sites filled with advertorials, referral links to expensive kitchen equipment, long form texts about the recipe with the recipe hidden somewhere below that.

Same goes for other stuff that can be easily propped up with lengthy text stuffed with just the right terms to spam search indexes with.

LLMs are just readability on speed, with the downsides of drugs.
by jerf | 2025-08-13 18:43:00+00:00
Cookies have been truly horrible. I check in on them every couple of years, because I don't do a lot of front-end but when I do it's often security-sensitive, and every single time I check in on them there's some new entry in "SameSite; NoSeriouslySecureHarder; WhoopsTheLastStandardWasNotGoodEnough=BeActuallySecure; AwwShitDidWeGetItRightLastTime=false" parade of attributes you need to send to get actually secure cookies.

No shade on the people implementing this stuff, I understand the backwards compatibility concerns, but I mean, keeping up with this stuff is harder than it should be. And thanks to backwards compatibility most of it still defaults open, though browsers have pecked at that as they can.
by mytailorisrich | 2025-08-13 18:43:06+00:00
You are being facetious as "priority illegal contents" are the sort that are the ones that are obviously very unlikely to be encountered on a "normal" small community forum. So this is no more than a box-ticking exercise, really.

Regarding age verification, the OSA is explicit states that if you ban all such content in your T&Cs you do NOT need to have age verification.
by nukifw | 2025-08-13 18:43:59+00:00
In the specific case of OCaml, this is also possible using indexing and GADTs or polymorphic variants. But generally, referencing as its own type serves different purposes. From my point of view, distinguishing between sum branches often tends to result in code that is difficult to reason about and difficult to generalise due to concerns about variance and loss of type equality.
by wonderwonder | 2025-08-13 18:44:21+00:00
After the upgrade, the first time I used it, ChatGPT 5 actually refused to help me determine dosing for a research chemical I am taking the other day. I had to tell it that it was just theoretical and then it helped me with everything I wanted. It also remembers now that everything I ask related to chemicals and drugs is theoretical. Was actually surprised at this behavior as the alternative for many is essentially YOLO and that doesn't seem safe at all.
by MarkusQ | 2025-08-13 18:44:22+00:00
LLMs don't think. At all. They do next token prediction.

If they are conditioned on a large data set that includes lots of examples of the result of people thinking, what they produce will look sort of like the results of thinking, but then if they were conditioned on a large data set of people repeating the same seven knock knock jokes over and over and over in some complex pattern (e.g. every third time, in French), what they produced will look like that, and nothing like thinking.

Failing to recognize this is going to get someone killed, if it hasn't already.
by jewayne | 2025-08-13 18:44:42+00:00
The ghetto is that bottom 20% living in Hell, not the 79% who merely deal with things that suck.

Although I was more referring to our systems more broadly (health care, education, transportation - the topic of this post), let's go with neighborhoods. Are you really trying to pretend that red-lining didn't happen? Or that de facto sundown towns didn't exist at least into the 1980s?
by bityard | 2025-08-13 18:44:44+00:00
Cold-applying to jobs on LinkedIn is a fool's game.

How do I know? I did it. A couple years ago, I wanted to make a move to full-time remote work. I liked the people that I worked with, but I spent over a decade there, management started going downhill, and I could tell the company was on a trajectory of slow death. I spent HOURS almost every day for six months applying to jobs on LinkedIn. I restricted myself to positions that I thought I was actually qualified for without stretching. I avoided consulting/MSP companies. I probably applied to well over a hundred positions.

How many responses did I get? Zero. Not a single one. Occasionally, a recruiter would ping me and say they had a job opening that was a perfect fit. Every single time, it ended up being a contract position.

I DID eventually find my current job on LinkedIn, but only because I recognized the company name as one that a friend of mine moved to 6 months earlier. I called him up, asked him how it was, and he provided a referral. It dawned on me after I accepted the offer that every SINGLE job I have ever had was either through a friend's referral or because I knew the manager beforehand. The old adage, "it's who you know," is still as relevant as ever.
by qcnguy | 2025-08-13 18:44:46+00:00
Eh no, that is an actual failure mode. Germany is experiencing it right now. What it means is everyone ends up being forced to use horribly broken public transport and it screws up everyone's business and personal lives.

It is possible for public transport to be too popular. It looks like overloaded, crowded and constantly broken lines that can't get better because they're starved of funding.
by const_cast | 2025-08-13 18:44:47+00:00
The point of the police state is not to prevent crime, but to silence dissent and foster cooperation with whatever government propaganda and initiatives are popular at the time.

In fact, often defeating crime is bad for this purpose. If you want to maintain a propaganda machine of an enemy within, you need crime. You might even, say, give drugs to those communities. Looking at you, CIA.
by johnisgood | 2025-08-13 18:45:19+00:00
> difficulty to install

Use opam: https://opam.ocaml.org or https://opam.ocaml.org/doc/Install.html.

Additionally, see: https://ocaml.org/install#linux_mac_bsd and https://ocaml.org/docs/set-up-editor.

It is easy to set up with Emacs, for example. VSCodium has OCaml extension as well.

All you need for the OCaml compiler is opam, it handles all the packages and the compiler.

For your project, use dune: https://dune.readthedocs.io/en/stable/quick-start.html.
by grepnork | 2025-08-13 18:46:38+00:00
>Here, if the cop sees someone overdosing, they immediately call the ambulance, not walk by and do nothing.

This unevidenced claim is probably nonsense in any case, no police officer would simply walk by. They may very well walk by and talk into their radio to summon the right kind of help, or they may be responding to a higher priority call.

Just because your mate Bob claims they saw something, doesn't mean Bob had any real idea what was going on.

It's like the old saw about a window blind for a hospital ward costing £200, when you can buy one for £20 elsewhere. Thing is the one for £20 doesn't come with a specialised coating that eliminates bacterial or viral spread, or with a bloke that installs it according to the relevant safety regulations, or the supervisor who certifies the installation. It certainly doesn't come with a number you can call to fix the blind if there's a problem with it that includes on site service.
by gf000 | 2025-08-13 18:46:41+00:00
My completely non-objective experiment of writing a simple CLI game in C++ and Haskell shows that the lines of code were indeed less in case of Haskell.. but the number of words were roughly the same, meaning the Haskell code just "wider" instead of "higher".

And then I didn't even make this "experiment" with Java or another managed, more imperative language which could have shed some weight due to not caring about manual memory management.

So not sure how much truth is in there - I think it differs based on the given program: some lend itself better for an imperative style, others prefer a more functional one.
by beowulfey | 2025-08-13 18:46:42+00:00
Thanks for your comments.

The ROI is not positive because there is no guarantee basic science will lead to any money-making outcome. That's not how basic science works and it is never how it worked, but basic science is absolutely crucial for advancing tech. If you can convince shareholders that it is e.g. worth investigating unusual crystal structures with no intended product in mind then people will gladly share some grants with you to edit so you can work some of that magic. It's just not feasible, no company would pay for that, but sometimes it leads to important discoveries that change the game.

And I only mentioned endowments because the parent of my comment did, but again, the important point is that endowments are not intended to entirely fund the research machine, and never will.
by jasonvorhe | 2025-08-13 18:47:25+00:00
Which law? Which jurisdiction? From the same class of people who have been writing laws in their favor for a few centuries already? Pass. Let them consume it all. I'll rather choose the gwern approach and write stuff that's unlikely to get filtered out in upcoming models during training. Anubis treats me like a machine, just like Cloudflare but open source and erroneously in good spirit.
by alecco | 2025-08-13 18:48:29+00:00
Of course Stanford [1] paints it like a Disney movie without mentioning:

* Share Class & Rights (e.g. common stock, voting, etc) * Tax issues and how they are structured (a friend had to pay a lot even before exercising due to bad legal paperwork) * Dilution * "Market price" nonsense for private companies * Other risks when exercising * Liquidity * Boom/bust cycles * Lots of growing changes might get them to "have to let you go" and you get nothing to show for

Basically, you should talk to an experienced lawyer before taking any offer like this.

[1] Stanford to continue legacy admissions and... https://news.ycombinator.com/item?id=44846130
by qcnguy | 2025-08-13 18:48:37+00:00
That's because women themselves voted against it. Which is actually the history of the female franchise everywhere. The suffragettes were reduced to bombing campaigns because fellow women did not agree that women should be allowed to vote. In the UK it was only WW1 that changed things. Maybe in the UK female franchise would also have been much delayed if not for the huge social upheavals caused by the world wars.
by atmavatar | 2025-08-13 18:48:40+00:00
> Rather cities have become violent over time and criminals are released shortly after their violent crimes.

Do you have evidence for this? Literally your prior sentence says no one knows, but now you're making a concrete claim that not only is violent crime on the rise, but that we're releasing criminals shortly thereafter.

Citation needed.

All crime statistics I've seen indicate that violent crime has been on a steady decline for decades. If you have a credible source with data that refutes this, then by all means, please provide a link to it.

> The general public is well aware of this and why there is a non-partisan rise in home and self defense purchases.

This doesn't really mean anything. It is no surprise that the perception of peril is at an all time high, given reporting on violent crime has dramatically increased over time, especially on right-leaning media. When there isn't anything sufficiently terrifying to report, stuff gets made up (e.g., immigrants eating pets).

A fearful audience is more engaged, but perhaps more importantly, a fearful public is easier to manipulate.
by owisd | 2025-08-13 18:49:03+00:00
You're mixing your definitions of authoritarian, there's authoritarian in the 'Nolan chart' sense of the word, which just means 'not a Libertarian', which is like 98% of people, which is different to the Hitler meaning of authoritarian, which means 'rejecting democracy'. If the people agree to ban things they don't like, that's democracy, so it's the Nolan kind of authoritarian but not the Hitler kind of authoritarian. Deciding the people shouldn't be allowed to agree collectively to ban certain things is rejecting democracy, so it's Hitler authoritarian but not Nolan authoritarian.
by scott_s | 2025-08-13 18:49:13+00:00
Because training one family of models with very large context windows can be offered to the entire world as an online service. That is a very different business model from training or fine-tuning individual models specifically for individual customers. Someone will figure out how to do that at scale, eventually. It might require the cost of training to reduce significantly. But large companies with the resources to do this for themselves will do it, and many are doing it.
by taude | 2025-08-13 18:49:32+00:00
It's really funny how the younger people are creating derogatory terms about older people. It's also applied to people who actually aren't baby boomers, too. And they're repeating this, because the title of the article had it in the sub-title [1], and I found it off-puting. But hey, I'm just a sensitive old person.

Maybe need to expand their DEI trainig.

[1] "swyx recognizes $IT as a visionary short in the DX Tips Magic Quadrant of Boomer Relics That No Longer Make Sense"
by MangoToupe | 2025-08-13 18:49:33+00:00
> Which is essentially zero in many cities.

??? How does this make any sense at all? You have no basically economy without transit. And you get a far greater return from mass transit than from roads.

> And even in cities with transit, an expansion should result in a lot more benefit than they are currently getting, but they need that money now not in 10 years after that expansion is done and the city sees that benefit.

This is what bonds are for....
by jchw | 2025-08-13 18:50:10+00:00
At least with U.S. wiring we have 15 amps at 120 volts. For continuous power draw I know you'd want an 80% margin of safety, so let's say you have 1440 Watts of AC power you can safely draw continuously. Power supplies built on MOSFETs seem to peak at around 90% efficiency, but you could consider something like the Corsair AX1600i using gallium nitride transistors, which supposedly can handle up to 1600 watts at 94% efficiency.

Apparently we still have room, as long as you don't run anything else on the same circuit. :)
by cnst | 2025-08-13 18:50:13+00:00
Everything is converging on Linux these days, and even the majority of the people who used to promote Solaris, DTrace and ZFS, have seemingly moved on, mostly to Linux, somewhat to FreeBSD, too, per Brendan Gregg:

Solaris to Linux Migration 2017 - https://news.ycombinator.com/item?id=15177118 - Sept 2017 (129 comments)

In the BSD land, things aren't that much better, either.

Netgate, the makers of pfSense, are now using Ubuntu for Netgate TNSR product.

iXsystems, the descendants of BSDi, have moved FreeNAS / TrueNAS from FreeBSD to Linux. They're basically d/b/a TrueNAS now, and it's all Linux now.

You used to need Solaris or illimos or FreeBSD for production-ready ZFS support, but now OpenZFS is provided exclusively for Linux and FreeBSD; note that Linux already comes first in the title; it would seem like it's only a matter of time before FreeBSD support may follow Solaris and illumos.

Joyent, the commercial shepherds of OpenSolaris descendants like SmartOS, were acquired by Samsung, but the entire Solaris part of the equation, including Triton DataCenter orchestration, were subsequently offloaded to mnx.io, a tiny cloud hosting provider based out of a small town in Michigan. (Frankly, without Triton, I don't even understand what remains of Joyent at Samsung? Just the physical servers with the third-party software? It's basically just a name for Samsung's data centre ops and their presumably-Linux-based Private Cloud?)

Apple used to use NetBSD for AirPort WiFi routers, but the whole router line has been discontinued. (I thought Apple actually already dropped NetBSD but couldn't find a source right now.)

Last not least, DJB used to run OpenBSD, then FreeBSD, but then switched to Ubuntu after possibly being annoyed that too many steps were required to make FreeBSD work as a desktop: http://cr.yp.to/unix/feedme.html (my fav is that in FreeBSD the audio doesn't work unless you recompile the kernel). I think he initially may have abandoned OpenBSD because it was crashing too often for undetermined causes: http://cr.yp.to/serverinfo.html.

FreeBSD is still used by Netflix OpenConnect Appliance, which is a huge win, but feels like too many eggs in a single basket:

Serving Netflix Video at 400Gb/s on FreeBSD [pdf] - https://news.ycombinator.com/item?id=28584738 - Sept 2021 (293 comments)

But that's about it. Linux has won.
by corytheboyd | 2025-08-13 18:50:19+00:00
Wow that’s insane, had no idea. What the fuck does my behavior at 14-18 have to do with my professional capabilities at 36. I had a terrible programming class experience in HS but was otherwise obsessed with computers. Hated programming until I took a CS class at community college with a great professor, starting my obsession with programming. One year out of high school. It’s been non-stop since then.
by tim333 | 2025-08-13 18:50:39+00:00
The title annoys me more because if doesn't mention anything about time. AI will almost certainly get a good bit better eventually. The questions will it in the next couple of years or will we have to wait for some breakthrough.

I'm amused they seem to refer to Marcus and Zitron as "these moderate views of A.I". They are both pretty much professional skeptics who seem to fill their days writing AI is rubbish articles.
by jerlam | 2025-08-13 18:50:53+00:00
California doesn't even have the same kind of gas as other US states. Supply is limited due to only a subset of refineries that can produce it.

Gasoline is regulated both by federal, local, and state laws.

https://ww2.arb.ca.gov/our-work/programs/fuels-enforcment-pr...

https://www.wearethepractitioners.com/index.php/topics/art-a...