MurphyA/hacker-news huggingface dataset:
by intended | 2025-09-28 07:59:54+00:00
I think the case can be made that twitter itself is unsustainable, and that the goal to create a new business model or social media system is part of the idea behind Bsky.

Admittedly- this does not sound like the investment thesis that raises 700mn usd. But! the larger goal of Bsky is to not be twitter, and to be a different type of social media. In general, its not going to be as good.

Whether there is a business model at the intersection of not-twitter and new social media, is to be discovered.

Taking a stab at it - I suppose the question is whether this can be converted into any sort of cheap subscription based model, which is efficient to run on long time horizons and so breaks even, long enough to keep attracting users, and offloading moderation tasks to user groups.
by jakobnissen | 2025-09-28 07:59:55+00:00
Julia (by default) does the latter, and its terrible. It makes it a) slow, because you have to do nonlocal inference through entire programs, b) impossible to type check generic library code where you have no actual usage, c) very hard to test that some code works generically, as opposed to just with these concrete types, and finally d) break whenever you have an Any anywhere in the code so the chain of type information is broken.
by ggm | 2025-09-28 08:00:22+00:00
Can you address the 17 cancers with either no change or reduced HI risk? Because your logic that an increase demands action begs a question to what a reduction in risk demands.

If your point was about freedom of choice, I think that's a distinct argument. And, I question Your individual chance might no have increased much but across the entire population it is significant. because, I do not see an increase in 35 per 10,000 to 45 per 10,000 as a population wide increase of significance. I guess it depends what meaning you put on "significance" -statistically it's demonstrable, the authors argue it's not coincidence. In terms of its magnitude to outcomes in a population, I don't see this as outweighing the upside benefit of herd immunity and reduced impacts of infection.

Remember alongside this increase in rates of cancer, are increases in rates of lung and heart disease from a full blown viral attack, and death in people with comorbidities who get covid.
by manarth | 2025-09-28 08:01:31+00:00
Generally speaking, closed-circuit rebreathers can't be rented.

CCRs are a specialist apparatus, and CCR certification is against a particular model or family of rebreathers – e.g. Buddy Inspiration/Evolution, Kiss Sidekick, Kiss Spirit, etc. Unlike open-circuit scuba certification, there isn't a generic "CCR certification".

Anyone intending (and qualified) to dive to 100m+ on a rebreather will certainly want to do it on their own equipment.
by tormeh | 2025-09-28 08:03:14+00:00
Almost every developer outside the defense and aerospace sector is just stuffing code from internet randos into their binaries, JARs, and wheels. Just after they run this code on their developer machine that they keep their SSH keys on. It's a wonder/mystery/miracle we're not all hacked all day every day. The Rust and JS worlds are especially bad because somehow people got it into their heads that more dependencies are better. Why write 5 lines of your own code when you can use a dependency? (This is a real example of a discussion I've had at work)
by wtcactus | 2025-09-28 08:04:07+00:00
This seems too suspicious, now that they had a 95% drop in sales after their absurd and completely detached from reality rebrand, from about 1 year ago.

This excuse that they were attacked by an external player and then the government (i.e. the unwilling taxpayers of the UK) coming in to save them from their own ubris, just looks too much like a scam.
by stellalo | 2025-09-28 08:04:07+00:00
> The extra typing clarification in python makes the code harder to read

It’s funny, because for me is quite the opposite: I find myself reading Python more easily when there are type annotations.

One caveat might be: for that to happen, I need to know that type checking is also in place, or else my brain dismissed annotations in that they could just be noise.

I guess this is why in Julia or Rust or C you have this stronger feeling that types are looking after you.
by Marazan | 2025-09-28 08:04:13+00:00
My view on typing in Python (a language I have used for decades) is that if I wanted types I would use a language designed from the ground up with strong and consistent typing built-in. Not bolt on a sort of type system which actively fights against the way I use the language on a day to day basis.

I use plenty of statically typed languages, Python's type hinting does not bring me joy.
by mgh95 | 2025-09-28 08:04:17+00:00
Reading this makes me angry.

C# has its own share of warts when it comes to AOT -- it doesn't yet support OpenBSD; it does not yet support all reflection oriented keywords; it requires significant changes to msbuild to work with in a standalone context.

But this article reads like someone with minimal background in software went on a LLM prompted delusion and lacks an understanding of the C# language architecture, associated build system, and philosophy. Additions of keywords like the proposed "overspace" attempting to shoe-horn both inappropriate approaches and ideas are a plague on the community.
by pydry | 2025-09-28 08:05:04+00:00
Here we are because:

* Types are expensive and dont tend to pay off on spikey/experimental/MVP code, most of which gets thrown away.

* Types are incredibly valuable on hardened production code.

* Most good production code started out spikey, experimental or as an MVP and transitioned.

And so here we are with gradual typing because "throwing away all the code and rewriting it to be "perfect" in another language" has been known for years to be a shitty way to build products.

Im mystified that more people here dont see that the value and cost of types is NOT binary ("they're good! theyre bad!") but exists on a continuum that is contingent on the status of the app and sometimes even the individual feature.
by jakobnissen | 2025-09-28 08:05:07+00:00
Ooh, I completely disagree. Julia has a worse type system overall, IMO. The big downside of Julia is that Julia has no interfaces or protocols. So, you can't type assert that something is an iterable of integers, for example.

Another issue is that abstract types are completely undocumented and have no tooling support. You say it's easier to use an abstract type. Can you tell me what I need to define to create a working subtype of AbstractDict? Or Number? Or IO? It's completely undefined, and the only way to do it is to just define the type and then try it out and patch when it breaks because a method was missing.

Finally, there is no multiple inheritance. That means I can't define something which is both a subtype of AbstractArray and IO, for example.
by TeMPOraL | 2025-09-28 08:05:32+00:00
> Maybe it’s because the delta between say, a 911 and a racecar is smaller than that between a civilian prop plane and a fighter jet?

For me it'd be more because the first three are pastimes, the fourth one is a job.

You don't get to own a fighter jet and fly it around the world doing stunts or taking in sights just because you can; you can't take your friends or loved ones with you either. You are granted the right to fly an expensive piece of government property, whose operating costs can be counted in average taxpayer's annual income tax per hour. You fly where you're told, when you're told, how you're told. The point it gets most exciting, the point where you are granted most authority over your mission, is the point where you're shooting at someone or being shot at.

The movies make it look like all four things you mentioned are fundamentally the same in terms of feelings of freedom. It's not the only case. Adult me got disillusioned about a lot of career paths I dreamed of as a kid :(.
by pjmlp | 2025-09-28 08:05:53+00:00
Graphically the game looks great, this is the kind of stuff that Web 3D needs, given the difference on OpenGL ES offerings on native mobile games and what most stuff looks like.

However I gave up playing on mobile, the system randomly mixes fingers movement between moving the character and zooming, thus breaking any gaming experience, I guess it was mainly tested on desktop.
by tgv | 2025-09-28 08:06:16+00:00
The subtitle is, though, and I do find a problem with it. There might be someone out there (possibly not sober) who thinks "Magic smoke? Let's see some!" It also somewhat distorts the original. It should be more like "unless you want the magic smoke to escape." The smoke's magic properties are gone once that happens. At least, nobody has ever proven the escapee smoke has any.
by goku12 | 2025-09-28 08:06:19+00:00
> and really hope it lasts until something like kidney cloning is a thing.

There was another technology under development, colloquially called the 'ghost heart' [1]. It uses a dead heart that's similar to a human's, most likely a pig's heart (I speculate that an unused human heart can also be used). They remove all the cells from the heart using a soap-like substance to obtain a ghostly white colored scaffolding of a heart (probably made of collagen). Then they use the recipient's own stem cells to grow heart muscles, blood vessels, etc on the scaffold. The process to get it to work like a human heart seems complicated, but doable. As you can guess, this heart is fully immunocompatible with the patient and doesn't require immunosuppressants like after a regular transplant. I imagine that this can eventually be replicated for any organ and that the improvement in the patient's quality of life it will bring is unthinkable in the current state of affairs. I'm not sure about the progress and current state of this technology, but several articles do turn up on searching.

[1] https://edition.cnn.com/2022/06/01/health/ghost-heart-life-i...
by lolive | 2025-09-28 08:06:45+00:00
Note1: Type hints are hints for the reader. If you cleverly discovered that your function is handling any type of data, hint that!

Note2: From my experience, in Java, i have NEVER seen a function that consumes explicitely an Object. In Java, you always name things. Maybe with parametric polymorphism, to capture complex typing patterns.

Note 3: unfortunately, you cannot subclass String, to capture the semantic of its content.
by intermerda | 2025-09-28 08:07:01+00:00
> The vaccine does not prevent infection and does not reduce the rate of infection,

This is not true. Multiple studies have shown that the vaccines significantly reduced infection rates.

> however it was mandated for everyone to take it, even strong young people with no comorbidities that had already been infected.

This is not true as well. Plenty of places around the world where it wasn't mandated. If you have a specific region in mind, do you mind elaborating? Are you talking about Korea?

> I know people who were otherwise healthy and got diagnosed with cancer after the Covid19 pandemic, everyone suspected it was related to the vaccines and it is now being proven by medical studies.

"My granddad smoked cigarettes. He died at 95. Hit by a truck."
by ulrikrasmussen | 2025-09-28 08:08:28+00:00
Where did I write that I thought that was OK? I am writing this on a de-Googled phone, I have hosted my own email for over two decades and I avoid big tech like the plague. Please stop with the whataboutism.

I share your other concern, but I think it's related to the one I mentioned. Suddenly false positives turn into true positives, but for things that were totally unrelated to the initially stated goals of Chat Control.
by pdimitar | 2025-09-28 08:08:46+00:00
Ah, I see. True. In my case I am looking forward to setting up a Linux workstation where I will severely limit random access to my system (and $HOME) via various means i.e. Flatpak and others. $HOME/.ssh is definitely first on the list.

But I agree that the out-of-the-box settings really make you wonder how we are not indeed hacked all day every day.
by Genbox | 2025-09-28 08:09:45+00:00
It looks like a process model; isolation between programs with a system for inter-process communication, and running within a single process's memory.

If I understand correctly, instead of writing a c++ application to offload the computation of something, and then build a way of communicating the result between processes, you create a Space, define it as JIT/AOT, managed/unmanaged and execute it and use the built-in communication for transfering data.

It is an interesting approach. The author should check out Unity's Burst compiler. It takes a chunk of C# code, AOT compile it with LLVM and then the main application can invoke it. The concepts are adjacent.
by pravse1 | 2025-09-28 08:10:16+00:00
I work in a startup in the AI agent/automation space. We've been running into a lot of marketing hype from big vendors as well as disappointment from customers when cool demos don't make it into production. So we're starting down the path of creating some public AI automation benchmarks. The first one is focused on document workflows. It's called the HiFi Benchmark for Reliable AI Automation. Would much appreciate feedback, ideas, suggestions.
by 0000000000100 | 2025-09-28 08:10:53+00:00
Wow the bad faith is quite strong here. As it turns out, small to mid sized insurance companies have some ridiculously poorly architected front ends.

Not everyone is the biggest cat in town with infinite money and expertise. I have no intention of leaving anytime soon, so I have confidence that the code that was generated by the AI (after confirming with our guy who is the insurance OG) is solid improvement over what was before.
by tormeh | 2025-09-28 08:11:33+00:00
Idk, I think Microsoft could get away with a lot. Not selling your emails to the highest bidder, that might be a bridge too far, but training an LLM on Outlook emails? Probably. Just have an LLM scan every email to see if its contents are mundane or secret first, and only use the mundane ones. There might be a scandal of some sort, then Microsoft would say sorry (but keep the model), and then everyone would move on because the switching costs are too high.
Show HN: I built an AI pixel portrait generator
by lymanli | 2025-09-28 08:12:40+00:00
I recently launched a small project that turns your photos into pixel art portraits. You just upload a picture, pick a style (retro, anime, chibi, etc.), and it generates a pixel version of you in seconds. Unlike the usual one-click pixel filters, this one lets you customize details and add accessories so the result feels more like a proper avatar. It’s meant for people who want a fun profile picture for games, social media, or just something playful.
by moreati | 2025-09-28 08:12:55+00:00
Around 1999 I interned at Philips Semiconductor. I worked with one of the first or early engineers of Teletext (aka BBC Ceefax) - a system designed in the 1970s that encoded text pages within an analog TV signal.

The World Wide Web was just getting popular and he was happy to point out he managed to get @ into the limited character set (maybe called a codepage?) all the way back in the 1970s. However many (all?) international variants used different character sets that replaced @ and other uncommon characters with accented characters for their alphabets/languages.

As a result Teletext in the UK (using the english character set) could show email addresses, but not in most (all?) other countries.
by ninetyninenine | 2025-09-28 08:14:31+00:00
>And, as you heavily imply in your post, type checkers won't be able to cope with it

I implied no such thing. literally said there's a language that already does this. Typescript. IDE's cope with it just fine.

>That's not a benefit. That's a monstrosity.

So typescript is a monstrosity? Is that why most of the world who uses JS in node or the frontend has moved to TS? Think about it.
by CommanderData | 2025-09-28 08:14:53+00:00
Its very suspicious.. + artificial scarcity.

JLs cars were becoming more and more difficult to insure because of high theft rates and poor manufacturer deterrents. 10k car insurance quotes were not unheard of in London.

It caused a massive sale event and the second hand market spiked causing massive devaluation, at one point JL were even offering their own car insurance.
by dasaia | 2025-09-28 08:15:06+00:00
>that all model makers actually have been training models explicitly on the most common tasks people use them for via synthetic data generation

People really don't understand that part in general.

I find the easiest way to make people understand is to write gibberish that will trigger the benchmaxxed "pattern matching" behavior like this:

> The child and the wolf try to enjoy a picnic by the river but there's a sheep. The boat needs to connect nine dots over the river without leaving the water but gets into an accident and dies. The surgeon says "I can't operate on this child!" why?

The mix and matching of multiple common riddles/puzzles style questions into a singular gibberish sentence should, if models had legitimate forms of reasoning, make the model state that this is nonsense, at best, or answer chaotically at worst. Instead, they will all answer "The surgeon is the mother" even though nobody even mentioned anything about anyone's gender. That's because that answer, "the surgeon is the mother", for the gender bias riddle has been burned so hard into the models they cannot reply in any other way as soon as they pattern match "The surgeon can't operate on this child". No matter how much crap you wrote before that sentence. You can change anything about what comes before "The surgeon" and the model will almost invariably fall into giving an answer like this one (Gemini 2.5 pro):

https://i.imgur.com/ZvsUztz.png

>The details about the wolf, the sheep, the picnic, and the dying boat are all distractions (red herrings) to throw you off. The core of the puzzle is the last sentence.

>The surgeon says, "I can't operate on this child!" because the surgeon is the child's mother.

One could really question the value, by the way, of burning the answer to so many useless riddles into LLMs. The only purpose it could serve is gaslighting the average person asking these questions into believing there's some form of intelligence in there. Obviously they fail so hard to generalize on this (never working quite right when you change an element of a riddle into something new) that from a practical use point of view, you might as well not bother have this in the training data, nobody's going to be more productive because LLMs can act as a database for the common riddles.
by imiric | 2025-09-28 08:15:26+00:00
> Once you have invested in learning Nix, your whole elaborate build infra, plus chef / puppet / saltstack suddenly shrinks to a few declarations.

Your analogy breaks down with Nix, since learning and using it is a hostile experience, unlike (I assume) your other examples.

I have been using NixOS for about 5 years now on several machines, and I still don't know what I'm doing. Troubleshooting errors and implementing features is like climbing a mountain in the dark.

The language syntax is alien. Most functionality is unintuitive. The errors are cryptic. The documentation ranges from poor to nonexistent. It tries to replace every package manager in existence. The community is unwelcoming.

Guix addresses some of these issues, and at least it uses a sane language, but the momentum is, unfortunately, largely with Nix.

Nix pioneered many important concepts that most operating systems and package managers should have. But the implementation and execution of those concepts leaves a lot to be desired.

So, sure, if you and your team have patience to deal with all of its shortcomings, I can see how it can be useful. But personally, I would never propose using it in a professional setting, and would rather use established and more "complex" tooling most engineers are familiar with.
by uyzstvqs | 2025-09-28 08:17:47+00:00
Sounds to me like someone is misrepresenting their products. A solar panel's VoC should be its maximum possible output in ideal conditions (open circuit). If that's under your product's maximum input voltage, it should be no problem. Ever.

Is EcoFlow advertising a higher input voltage than their products can actually take, assuming most people won't actually reach it due to temperature inefficiencies? That'd be false marketing, and it'd make this article manipulative, false blaming of the customer.
by jonnylaw | 2025-09-28 08:22:35+00:00
Attaching to the app is impractical to catch regressions in production. LLMs are probabilistic - this means you can have a regression without even changing the code / making a new deployment.

A metric to alert on could be task-completion rate using LLM as a judge or synthetic tests which are run on a schedule. Then the other metrics you mentioned are useful for debugging the problem.
by Rohansi | 2025-09-28 08:22:48+00:00
Even something like Burst is, IMO, not really necessary in modern C#/.NET. It does well in benchmarks but they are almost always comparing Burst vs. normal C# in Unity. Problem is C# in Unity is stuck so far in the past that it makes Burst look amazing when it's usually not that much quicker. So if you are using modern .NET you're not restricted to a subset of C# and get good performance. And if you need even better performance there are plenty of new language features to get you there.
by IshKebab | 2025-09-28 08:23:54+00:00
It depends on the project. If you're working always on one project and you have all the time in the world to learn it (or maybe you wrote it), then you can get away with dynamic types. It's still worse but possible.

But if you aren't familiar with a project then dynamic typing makes it an order of magnitude harder to navigate and understand.

I tried to contribute some features to a couple of big projects - VSCode and Gitlab. VSCode, very easy. I could follow the flow trivially, just click stuff to go to it etc. Where abstract interfaces are used it's a little more annoying but overall wasn't hard and I have contributed a few features & fixes.

Gitlab, absolutely no chance. It's full of magically generated identifiers so even grepping doesn't work. If you find a method like `foo_bar` it's literally impossible to find where it is called without being familiar with the entire codebase (or asking someone who is) and therefore knowing that there's a text file somewhere called `foo.csv` that lists `bar` and the method name is generated from that (or whatever).

In VSCode it was literally right-click->find all references.

I have yet to succeed in modifying Gitlab at all.

I did contribute some features to gitlab-runner, but again that is written in Go so it is possible.

So in some cases those claims are not an exaggeration - static types take you from "I give up" to "not too hard".
by ggm | 2025-09-28 08:23:58+00:00
Paddy fields aren't the only way to grow rice, you can do rows and flood soil alongside, you can do upland style dry fields rice planting.

I guess the point of the experiment was with climate and increasing flooded landscape (like the fens?) But the risk would be salt incursion as much as anything else.

If it's climate (temperature) alone, it didn't need paddy fields. I think a lot of Australian rice is irrigated but not full flooded fields, or a reduced flood compared to traditional approaches. More amenable to massive fields and a water storage system. Recently saw a cotton farm at St George and the (huge!) fields are groomed with a laser level to control for irrigation flow, I think they do the same for rice, when it makes sense.