MurphyA/hacker-news huggingface dataset:
by shagie | 2025-11-12 16:20:16+00:00
https://www.npr.org/sections/money/2015/05/20/406484294/an-n...

... The rules for the race: Both contenders waited for Denny's, the diner company, to come out with an earnings report. Once that was released, the stopwatch started. Both wrote a short radio story and get graded on speed and style.

https://www.wired.com/story/wordsmith-robot-journalist-downl... https://archive.ph/gSdmb

And this has been going on for a while... https://en.wikipedia.org/wiki/Automated_journalism

StatSheet, an online platform covering college basketball, runs entirely on an automated program. In 2006, Thomson Reuters announced their switch to automation to generate financial news stories on its online news platform. Reuters used a tool called Tracer. An algorithm called Quakebot published a story about a 2014 California earthquake on The Los Angeles Times website within three minutes after the shaking had stopped.

Sports and financial are the two easiest to do since they both work from well structured numeric statistics.
by dangus | 2025-11-12 16:20:51+00:00
Lots of scams gain attention. Sorry, I’m not convinced.

You can go sell your product to Russia, some Middle Eastern countries, and maybe even China.

If you want to do business with the West you literally need to defect and get political asylum.

It’s weird (and scammy) that in this entire thread you seem to be in denial of this reality.
by aatd86 | 2025-11-12 16:20:52+00:00
I will let Maxatar responds if he wants to but I will note that his response makes much more sense to me than yours as someone who uses traditional programming language and used to do a little math a couple decades ago.

With yours, it seems that we could even equate string to int.

How can a subtype of the integer type, defined extensionally, be equal to Unit? That really doesn't make any sense to me.

> it is consistent to add `ℕ = ℤ` as an axiom Do you have a link to this? I am unaware of this. Not saying you're wrong but I would like to explore this. Seems very strange to me.

As he explained, an isomorphism does not mean equality for all I know. cf. Cantor. How would anything typecheck otherwise? In denotational semantics, this is not how it works. You could look into semantic subtyping with set theoretic types for instance.

type Nine int = {9} defines a subtype of int called Nine that refers to the value 9. All variables declared of that type are initialized as containing int(9). They are equal to Nine. If you erased everything and replaced by Unit {} it would not work. This is a whole other type/value.

How would one be able to implement runtime reflection then?

I do understand that his response to you was a bit abrupt. Not sure he was factually wrong about the technical side though. Your knee-jerk response makes sense even if it is too bad it risks making the conversation less interesting.

Usually types are defined intensionally, e.g. by name. Not by listing a set of members (extensional encoding) in their set-theoretic semantic. So maybe you have not encountered such treatment in the languages you are used to?

edit: the only way I can understand your answer is if you are only considering the Universe of types as a standalone from the Universe of values. In that universe, we only deal with types and types structured as composites in what you are familiar of perhaps? Maybe then it is just that this Universe as formalized is insufficiently constrained/ underspecified/ over-abstracted?

It shouldn't be too difficult to define specific extensional types on top, of which singleton types would not have their extensional definitions erased.
by bryanlarsen | 2025-11-12 16:21:04+00:00
Many countries eliminated their pennies without chaos or unfair burdens on shopkeepers. In Canada, the process was widely popular after the fact even though newspaper articles prior to the elimination intimated it wouldn't be due to their "both sides" style of reporting.

It's indicative of the current US administration that they managed to screw this up despite many examples world wide of how to do it properly.
by mapt | 2025-11-12 16:21:21+00:00
I feel like we got locked into the aerodynamic & airframe structural limitations of a particular CVN format with the USS Enterprise and are doing some wacky things, like not navalizing the F-22 or the C-130 or the B-21, because we can't dream any larger without assuming that such a ship would cost infinity dollars. South Korea, Japan, and China build larger container, tanker, and bulk ships all the time for ~1% of the price of a supercarrier; It's not that adding tens of thousands of tons of steel is going to break the bank, it's that a carrier group encompasses most functions of the military. The larger a ship gets the easier it is to move quickly through the wind, and the slower effective landing approaches are. The longer the catapult, the lower the necessary acceleration. CATOBAR takeoff and landing that works a little more like normal runway takeoff and landing means more of the USAF R&D ends up being projectable power.

It would cost an insane amount of money.... but... It already does cost an insane amount of money, and then we have to run three separate military aviation programs for different regimes.
by simonw | 2025-11-12 16:21:31+00:00
> Because if hosting videos were easy, YouTube wouldn’t be the only game in town.

Is self-hosting video still difficult, today in 2025?

My intuition is that there are less formats to worry about today, and serving video from static hosting that supports HTTP range headers may be enough for most devices to work.

What are the remaining hard problems? Maybe mechanisms to negotiate lower resolution for slower connections?

UPDATE: Looks like this offers some answers to my questions: https://help.micro.blog/t/micro-blog-studio/4081

The hardest bit appears to be HLS - HTTP Live Streaming - the thing where a video gets divided up into lots of little .ts segment files and served via a m3u8 playlist.
by Sanzig | 2025-11-12 16:22:50+00:00
I agree, if anything spending money on high technology risk is Silicon Valley going back to its roots.

Nobody had a way to do silicon transistor manufacturing at scale until the traitorous eight flipped Shockley the bird and took a $1.4M seed investment from Sherman Fairchild.

Big bets on uncertain technology is what tech is supposed to be about.
by dspillett | 2025-11-12 16:23:02+00:00
> What environment are you using that: - Has access to Youtube - Can run Python code - Can’t run JS code

They didn't say “can't run JS code”, but that from that location the solver could not be downloaded currently. It could be that it is an IPv6-only environment (IIRC youtube supports IPv6 but github does not), or just that all external sites must be assessed before whitelisted (I'm not sure why youtube would be but not github, but it is certainly possible).
by nis0s | 2025-11-12 16:23:12+00:00
There’s tacit admission of defeat in this, it’s basically saying America doesn’t have the political power necessary to offset globalization and its forces. China and India have already taken over as predominant global powers, then.

Easier to see this in numbers https://www.visualcapitalist.com/mapped-every-countrys-gdp-g...

The only reason American isn’t in the red is because most of the worlds large caps are based here.
by svelle | 2025-11-12 16:23:23+00:00
Here in Germany meat alternatives/substitutes have definitely reached a level of popularity that goes beyond a fad. The leading commercial producer of deli-meats has started producing vegetarian and vegan alternative products that now make up more than 60% of their annual revenue and they even dropped some of their original meat based products in favor of the plant-based alternatives.

It might not be the burger that's going to be replaced but sliced meats and other meat based products might be.
by drivers99 | 2025-11-12 16:23:29+00:00
You can if you script the request yourself, or you could have a front end that lets you cut out those paragraphs from the conversation. I only say that because yesterday I followed this guide: https://fly.io/blog/everyone-write-an-agent/ except I had to figure out how to do it with Gemini API instead. The context is always just (essentially) a list of strings (or "parts" anyway, doesn't have to be strings) that you pass back to the model so you can make the context whatever you like. It shouldn't be too hard to make a frontend that lets you edit the context, and fairly easy to mock up if you just put the request in a script that you add to.
by AlienRobot | 2025-11-12 16:23:30+00:00
1. That sounds useful.

2. That sounds useful.

3. That sounds useful.

4. That sounds useful.

5. That sounds useful.

Are these supposed to be examples of things that shouldn't be found out about? This has to be the worst pro-privacy argument I've ever seen on the internet. "Privacy is good because they will find out about our crimes"
by armchairhacker | 2025-11-12 16:23:42+00:00
A specific issue with video data is that it’s much denser: the same concept in video takes up more bytes than in text or image. Therefore hosting is more expensive, so less people host and the ones that do (e.g. YouTube) expect revenue. Furthermore, because videos are dense, people want to download them streaming, which means hosts must not just have storage but reliable bandwidth.

Even then, there are a few competitors to YouTube like Nebula, PeerTube, and Odysee. But Nebula requires a subscription and PeerTube and Odysee have worse quality, because good video hosting and streaming is expensive.
by MrHeather | 2025-11-12 16:24:23+00:00
>But with 20 million customers a year, and 17% of them paying with cash, the policy will eventually cost Kwik Trip a couple of million dollars a year, McHugh said.

If we figure two-fifths of cash transactions need to be rounded up and the store is losing an average of 1.5 cents each time, their expected losses would be around $2,000, yeah?
by NullHypothesist | 2025-11-12 16:24:26+00:00
This is a huge sign of confidence that they think they can do this safely and at scale... Freeways might appear "easy" on the surface, but there are all sorts of long tail edge-cases that make them insanely tricky to do confidently without a driver. This will unlock a lot for them with all of the smaller US cities (where highways are essential) they've announced plans for over the next year or so.
by hermitcrab | 2025-11-12 16:24:29+00:00
My BP pressure has slowly creeped up over the years to 155/95 range, despite being quite fit with no real lifestyle issues. Was told to monitor it. Did a reading a few weeks ago: 190 over something. Not good. Went to A&E where they confirmed the reading with their cuff. Sat there for several hours. BP kept climbing until it reached something like 235 over something (probably partly due from a feedback effect of knowing my BP was high). Felt fine, apart from the anxiety related to the BP reading. Did a few tests, but no-one seems to know why it spiked. They gave me some meds and it slowly dropped. They let me go when it dropped below 180. Now taking a calcium channel blocker and it is very slowly trending down. Now about 160 over 100.
by ramses0 | 2025-11-12 16:26:04+00:00
I keep wishing for "regex for prolog", ie: being able to (in an arbitrary language) express some functional bits in "prolog-ish", and then be able to ask/query against it.

let prologBlob = new ProLog() prologBlob.add( "a => b" ).add( "b => c" ) prologBlob.query( "a == c?" ) == True

(not exactly that, but hopefully you get the gist)

There's so much stuff regarding constraints, access control, relationship queries that could be expressed "simply" in prolog and being able to extract out those interior buts for further use in your more traditional programming language would be really helpful! (...at least in my imagination ;-)
by waynecochran | 2025-11-12 16:26:08+00:00
I remember writing a Prolog(ish) interpreter in Common Lisp in an 90's AI course in grad school for Theorem proving (which is essentially what Prolog is doing under the hood). Really foundational to my understanding of how declarative programming works. In an ideal world I would still be programming in Lisp and using Prolog tools.
by wildzzz | 2025-11-12 16:26:11+00:00
In an indirect way, yes, some of the profit LM makes on the F-35 contracts does flow to internal R&D projects that may ultimately contribute to a black program. But actual black programs are funded by Congress. Even the most secretive, unacknowledged special access programs still have someone on the intelligence or defense committees giving the thumbs up to allocate money towards some department or agency's black budget. There would simply be no need to illegally launder money through another program unless LM was intent on using that money for criminal activities.

I'm sure it's been done elsewhere, look at Iran-Contra, but it just wouldn't be done for something like a defense contractor building planes. It would be completely unnecessary and likely illegal.
by PaulHoule | 2025-11-12 16:26:18+00:00
God, I had a manager who was the worst manager I ever had who was the last one to stay at Transmeta to turn off the lights. Between working there and working at DEC he could boast that he'd supervised both Dave Cutler and Linus Torvalds.

One time I had to unravel a race condition and he seemed pissed that it took a few days and when I tried to explain the complexity he told me his name was on a patent for a system that would let several VAXes share a single disk and didn't need a lecture.
by lief79 | 2025-11-12 16:26:18+00:00
I recall a coworker being excited several years ago about catching someone lying about their linux experience before their interview. If what they said was true, they'd have to have been working on it during it's first year.

He was then excited after the interview because the individual had been working at transmeta with Linus, and his resume was accurate. He didn't end up working with us, but I wasn't privy to any additional information.
by ajb | 2025-11-12 16:26:20+00:00
Yeah

You can also "own it". I had a damaged area in the bathroom, I knew I'd never get paint to match exactly, but couldn't be bothered to repaint entirely. So I made a few random triangles with masking tape, one covering the spot, and painted inside them. Looks deliberate. Also got away with only buying a paint sampler...
by johnisgood | 2025-11-12 16:27:30+00:00
> doctors immediately switched to assuming I was the one to talk to.

Exactly! They do that. If a father takes the kid, they will ask for his number, not the mother's, in my experience. If both the mother and father goes with the kid, well, there are cues they pick up on. In my case my father typically was always in the background while my mother was the one doing the talking, meaning they ask for her number, not my dad's. So, all in all, whoever does the most talking, for example. And if my dad wanted to be the one called, my mom would have told them his number, or my dad would have. I do not see an issue here really.
by shadowgovt | 2025-11-12 16:27:31+00:00
You didn't say it directly; your definition suggests it as a logical inference.

> The law required you not to discriminate on the basis of sex etc.

> I am the one saying that this is inherently fair

So if most men start on a playing field where they are wealthier and most women on one where they are poorer, a level playing field will tend to maintain that level of inequality, will it not? And by your definition that would e fair.

In fact, there'd be an interesting observable consequence of this scenario: were it truly level, one could begin to observe population-level phenomena like "women are just poorer; that's innate to them" and be correct in observation but with an error in causality; it's not so much "innate" as "initial conditions coupled with a lack of mobility."

If it were initial conditions and a lack of mobility... An un-level playing field would encourage more mobility, would it not? And if you made it un-level in the right way, perhaps you could start to zero out those initial-conditions effects?
by dboon | 2025-11-12 16:27:38+00:00
It’s surprising to hear this get chalked up to “it’s the way our TUI library works”, while e.g. opencode is going to the lowest level and writing their own TUI backend. I get that we can’t expect everyone to reinvent the wheel, but it feels symptomatic of something that folks are willing to chalk up their issues as just being an unfortunate and unavoidable symptom of a library they use rather than seeming that unacceptable and going to the lowest level.

CC is one of the best and most innovative pieces of software of the last decade. Anthropic has so much money. No judgment, just curious, do you have someone who’s an expert on terminal rendering on the team? If not, why? If so, why choose a buggy / poorly designed TUI library — or why not fix it upstream?
by Atlas667 | 2025-11-12 16:27:53+00:00
I'm not talking about a small capitalist with a nice house and a nice car.

I'm talking about the super rich.

Thr super rich have to be the government to be super rich and the little capitalists just ride the wakes made by the big guys.

These ideologies you mention are just political stances made by the rich in order to promote their measures amongst the poor.

Objectivism was made by Ayn Rand and it was promoted so much because it defended capitalism. They disseminate these ideas in order to promote their stances.

Libertarianism and ancapism are inconsistent because it pretends that large capitalists wouldnt immediately organize themselves into another large state power. A state is necessary to not have all out war between the powerful.

Ask any political science major and they dont take these ideas at face value because these ideologies cant exist as such.

They are more like life style politics than real political frameworks.

I suspect the reason they are even espoused is because they represent an immediate weakening of government regulation that can increase profits. The capitalists want people to think it can exist so they can have more power.

But a true libertarian or ancap reality is a pipe dream. Its true purpose is to create less oversight and thus more profits. Your average Joe, like you or me, has about 0 benefit from this.
by btilly | 2025-11-12 16:28:46+00:00
That's kind of the bet they made, but misses a key point.

Their fundamental idea was that by having simpler CPUs, they could iterate on Moore's law more quickly. And eventually they would win on performance. Not just on a few speculative edge cases, but overall. The dynamic compilation was needed to be able to run existing software on it.

The first iterations, of course, would be slower. And so their initial market, needed to afford those software generations, would be use cases for low power. Because the complexity of a CISC chip made that a weak point for Intel.

They ran into a number of problems.

The first is that the team building that dynamic compilation layer was more familiar with the demands of Linux than Windows, with the result that the compilation worked better for Linux than Windows.

The second problem was that the "simple iterates faster" also turns out to be true for ARM chips. And the most profitable segments of that low power market turned out to be willing to rewrite their software for that use case.

And the third problem is that Intel proved to be able to address their architectural shortcomings by throwing enough engineers at the problem to iterate faster.

If Transmeta had won its bet, they would have completely dominated. But they didn't.

It is worth noting that Apple pursued a somewhat similar idea with Rosetta. Both in changing to Intel, and later changing to ARM64. With the crucial difference that they also controlled the operating system. Meaning that instead of constantly dynamically compiling, they could rely on the operating system to decide what needs to be compiled, when, and call it correctly. And they also better understood what to optimize for.
by notepad0x90 | 2025-11-12 16:29:11+00:00
I don't think that's fair, i was mostly respond to your first sentence and:

> The inaccessibility of healthcare in the US is a serious problem but this is not a solution or alternative to it right now and may never become one.

My response was clearly not your words, but my understanding of your conclusion.

The few suicides that are reported pale in comparison to suicides caused by loneliness. An argument can also be made that they just haven't trained/found the right companion model yet.
Show HN: Early access to Google's Nanobanana – most advanced image model
by yestwind | 2025-11-12 16:29:36+00:00
Built https://nanobanana2pro.com ahead of Google's mid-November Nanobanana2 launch. What's special about Nanobanana: • From Google Research (not public yet) • Multi-reference support (10 images) • Sub-3 second generation • Next-gen coherence Try free: https://nanobanana2pro.com/nanobanana (no signup for first try) We're in Google's early access program. Nanobanana2 integration goes live day one of public release. Stack: Next.js 15, PostgreSQL, Cloudflare R2 Questions?
by abathur | 2025-11-12 16:29:36+00:00
I'll cop to not reading the whole list before commenting, but I skimmed this and didn't really notice anything about speed or performance.

When using tools that can emit 0 to millions of lines of output, performance seems like table-stakes for a professional tool.

I'm happy to see people experiment with the form, but to be fit for purpose I suspect the features a shell or terminal can support should work backwards from benchmarks and human testing to understand how much headroom they have on the kind of hardware they'd like to support and which features fit inside it.
by fellowniusmonk | 2025-11-12 16:29:38+00:00
Moral truths are a lesser form of truth. There are truths that bind god itself in every possible universe (modally.)

There are grounded, binding falses/truths from which man cannot escape, things so wrong that to call them "value" wrongs is to try and reduce the universal wrongness of the action.

Actions that are wrong for everyone, even God, god or gods, for all time, in all possible universes.

Value wrongs are different than other kinds of wrongs, we make them for ourselves, they can also be true without a god, there is a lot written on this topic.

But man doesn't need god for absolute truths that govern their lives and weighs their actions to exist, doesn't need god for eschatological consequences, etc.
by ryeguy_24 | 2025-11-12 16:29:40+00:00
The way I think of it (might be wrong) but basically a model that has similar sensors to humans (eyes, ears) and has action-oriented outputs with some objective function (a goal to optimize against). I think autopilot is the closest to world models in that they have eyes, they have ability to interact with the world (go different directions) and see the response.
by PaulHoule | 2025-11-12 16:29:53+00:00
I think it is a problem with those people, they have a lot of groupthink and if you think something else (e.g. AI doesn't become a god when the number of neurons N → ∞) you wouldn't feel psychologically safe. So you get this stuff.

I think I got to green belt in the Villari system long ago, I still have a Gi with a black belt for cosplay. I am not going to tell you I have any authority as a martial arts instructor but when my son got interested in

https://en.wikipedia.org/wiki/Three-section_staff

I studied up on forms that use that vs the Spear and we trained in that; any conventional martial arts school would make you spend at least a year practicing punches and kicks before doing a weapons form but he just didn't have the patience. Could I teach a beginner the basics of punches and kicks, sure. I'll do it for my friends and family but I'm not going to hang a shingle as a martial arts instructor.