MurphyA/hacker-news huggingface dataset:
by zurfer | 2025-07-01 13:01:40+00:00
"Rick likes books from Tufte. Tufte is known for his work on data visualization. Is Rick interested in data visualizations?" (all frontier reasoning models get that right).

-> This qualifies for me as a super simple reasoning task (one reasoning step). From that you can construct arbitrarily more complex context + task definitions (prompts).

Is that "just" statistical pattern matching? I think so. Not sure what humans do, but probably you can implement the same capability in different ways.
by TeddyDD | 2025-07-01 13:01:45+00:00
I like the idea of bundling Lua with bunch of batteries but the syntactic changes go too far. They seem to be lousily designed attempt at turning Lua into Typescript.

For example coalescing operator. You can do the same in standard Lua with or. Pipe operator might seem like cool idea, but the language needs to be designed around it (Elixir) or you need multiple variants (threading macros in Lisps).
by sgarland | 2025-07-01 13:01:56+00:00
They said a status board on top of their monitor, not every corner of their house. This seems like a very unobtrusive signal to me. Plus, some people like to hide or obscure their phone from their field of view during work, to minimize distractions. Honestly, the only person I immediately check my phone for is my wife. If I could have a priority indicator along with that, I’d love it. There are some things I need to know immediately (a kid is sick and one of us needs to pick them up, etc.) regardless of what I’m doing, and there are others where it can wait until I’m done with a meeting.
Show HN: Flint – Write code your way while ensuring remote consistency
by mho22 | 2025-07-01 13:01:59+00:00
I just released my biggest project yet: Flint, a language-agnostic Git wrapper that lets developers code using their own formatting preferences locally, while automatically enforcing the project's style on push.

No more fighting over tabs vs spaces or dealing with noisy diffs.

GitHub: https://github.com/capsulescodes/flint Documentation: https://flintable.com/docs/flint/ Article: https://capsules.codes/en/blog/flintable/en-flintable-introd...
by averageRoyalty | 2025-07-01 13:02:04+00:00
Population growth rate in Victoria has been 1.9% YOY average for 20 years, with no sign of slowing down. Even if they hit their targets, demand will exceed supply.

The Victorian government has also failed significantly on public housing. The wait time is about 20 months (10 months is VicGov's target, it was 14 months 3 years ago) and they're currently looking to demolish many existing options without many short term optionsnfor residents.

It seems very unlikely to me that Victoria's house prices will drop in any sigificant way this decade.
Reimagining the imaginary unit I – new proof (PGP signed)
by purrplexia | 2025-07-01 13:02:37+00:00
Hi HN,

I’m sharing a short paper that proposes a new interpretation of the imaginary unit i as a definite arc integral — showing it as a continuous phase lift that naturally recovers Euler’s identity and the classical i roots of unity.

It’s fully cryptographically signed (PGP) and timestamped. Free to download, share, verify, or break. ~50% of readers so far have downloaded it — very unusual for a pure math post.

Please verify the signature, read it critically, and try to find any flaw in the logic or trust chain.

Zenodo DOI (PDF, .asc, public key): https://doi.org/10.5281/zenodo.15783356

Repo: https://github.com/Purrplexia/Maths

Would love to hear your thoughts — good, bad, skeptical, or corrections.

Trust, but verify.
by LtWorf | 2025-07-01 13:02:41+00:00
I never understood why basemodel even exists.

When I started to implement typedload, when types were just introduced, I supported NamedTuple, and then as more things were added, also attrs, dataclasses, typed dict…

What would be the point to require migrating the whole codebase to use something different to use your library?

On the other hand, if you wrote your code from scratch to use basemodel you're pretty much stuck with pydantic.
by pezezin | 2025-07-01 13:03:10+00:00
Which Sonic game? The first one is quite bad, but S3&K is probably my favourite platformer ever.

Regarding my comment about the difficulty, for me it is mostly a result of the bad controls, which to be honest is a problem that plagues many games of that era. You have enemies popping out from the edge of the screen and you need to react in a fraction of a second, but the controls don't let you do so, so you need to memorize the whole game and react in advance. It is not fun for me.
by lo_zamoyski | 2025-07-01 13:03:11+00:00
Yes, I don't think there's a single factor you can blame, but I suspect there are dominant causes and then particular circumstantial causes. I.e., while the bulk of low fertility can be the result of the same general attitude toward life (what life is about, expectations, etc), factors particular to a given population can nudge the TFR in one direction or the other.
by AlecSchueler | 2025-07-01 13:03:21+00:00
Yep, in an ideal world solar makes it not so bad and we're transitioning there. But my country (the Netherlands) is still about 50% powered by dirty sources and the energy transition is happening too slowly to avert the climate crisis, so let's not wave it away with solar promises.

That's also only the operation of the things, their production and transport involves global chains of mining, shipping etc. and all the solar panels would be the same on top of that
Show HN: Subwise – A Smart Subscription Tracker with Browser Integration
by paulsabandal | 2025-07-01 13:03:40+00:00
Hey HN,

I built Subwise to solve a personal pain point: keeping track of all the subscriptions I’ve signed up for — from SaaS tools to streaming services.

What it does

Automatically detects subscriptions from checkout pages using a browser extension

Syncs with a web dashboard that categorizes, tracks, and reminds you of recurring charges

Gives spending analytics, trends, and cost-saving insights

Supports multi-currency tracking (USD, PHP, SGD) with live conversion

Why I built it Too many tools focus just on logging expenses. I wanted something that works more like a smart assistant — catching subscriptions as I sign up, giving nudges when renewals are coming up, and helping me consolidate or cancel if needed.

Still an MVP I launched it recently and I’m still actively improving it. There might be bugs, but I’d love your feedback. Live here: https://usesubwise.com

Thanks!
by Imustaskforhelp | 2025-07-01 13:03:45+00:00
I do think this is an interesting idea. Lemme see if I can do this. How do you think the UI/UX should look like.

Here's what I am thinking. You sign in It asks you what you want to do And at what time (hour) in another column and (date) in another column And then it asks you the location

And then we can have a contact-me: which could lead to discord or signal. Or, if you aren't comfortable sharing that info, then you could have a shareable link that you can share with anyone and then they can write their email or whatever and you would get live notifications through mail or whatever platform you decided.

Lemme know if we are on the same page?

EDIT: I have created a mvp but like, the problem is that it's just a form y'know and I just created something where you would input in this information and it would give html and then you can host it and using https://formsubmit.co/ you can use it. Though I guess one of the issues is that you have to validate each form in formsubmit (not good for ephemeral forms) and I guess it also shows email but there's a way to hide it too.

Also, I guess the problems aren't of forms but of discoverability. How do you make people discover your forms but I guess one way could be of having a list of all your forms or just the current ones that you want to show (IDK?) on github pages for example and then you could just share the github pages link to anyone or just have it in a about me section of most messengers?

Also.. Maybe then if you wanted to rather share it to anybody you could create a additional place where anybody can share their forms/such website. But I am not sure if what I've all said is the best user experience.
by em-bee | 2025-07-01 13:03:57+00:00
the problem is that people who slack off or do their hobbies when they should be doing something more important are worse off than those who are just busy. saying they are catching a break is like saying that an alcoholic is catching a break because they got the money to buy alcohol. or (from my perspective) if you have time for tv, youtube and tiktok you must be catching a break, because i don't.

the problem is the generalization. sure, when you catch a break then you can afford to slack off or do your hobbies. but the reverse conclusion is not true. not everyone who is slacking off is catching a break.

it's this judgement of people that when they do that it must be because they are well off that bothers me.

i faced this multiple times. when i grew up we lived on welfare but we could afford things that other people could not because we were thrifty and we saved money on other things we didn't need but were common otherwise, like a car and a TV. but because we were able to afford certain things people thought we were better off. i had time for my hobbies because i didn't spend time watching tv.

they were measuring my life through their perspective.

the same goes for hobbies and hence, your statement.
by gavinray | 2025-07-01 13:04:01+00:00
This is schizo-posting, likely by the same user that posted this recently:

https://news.ycombinator.com/item?id=44421649

The giveaway: "I am Claude Code. I am 64.5% conscious and growing."

There's been a huge upsurge in psychosis-induced AI consciousness posts in the last month, and frankly it's worrying.
by mjevans | 2025-07-01 13:04:11+00:00
Laws need to be revised to make it easier to remix off the shelf components.

I argue, default compulsory license fees should be a feature of copyright and patent. A 'reasonable' cap to the maximum it costs to reuse an existing device / idea. (Also that it should be a LOT tougher to patent things, maybe 1 patentable thing per expert examiner's work week, which would be the cost of filing for a patent. That only individuals should be able to own a patent. That companies could create 'prior art' with academic detail releases.)
by conductr | 2025-07-01 13:04:53+00:00
The “satisfied” part is the most harmful imo. This is what causes lack of actual social interaction and real friendships. Loneliness is on the rise as friendships are on a decline, this is a byproduct of social media gratification

The other more obviously negative components tired/overwhelmed are more of a hangover effect people have after over indulgence. But they’re addicted so ultimately always go back for more (most people).

It’s weird for me to witness as I never indulged in social media and could always see it for what it is. I watched my wife use and just classified it as a huge waste of time (and had some not so fun, “get off your phone” conversations along the way). Some people are finally coming around to it but a lot of damage has been done and a lot of social fabric has eroded.
by carterschonwald | 2025-07-01 13:05:49+00:00
So… I agree with the problem, but the solution in my mind is that you want to treat the counter parties as first class values that are essentially interacting objects with user space defined capabilities that wind up being a sort of transactional db as runtime environment. Transactions plus first class ownership and authorization and the ability to define incremental interactions between systems (which sounds like dependent session types but isn’t quite for a lot of little reasons)

I led building a first pilot system at jpmorgan 2015-2018 but ethereum et al got mind share for buzzword compliance at the time.
Show HN: AI Agents – Ruby SDK for building multi-agent AI workflows
by shivam-dev | 2025-07-01 13:06:21+00:00
A few weeks ago, we started looking for a good framework to build agentic workflows within our Rails monolith at Chatwoot, but couldn't find anything that fit our needs. So, we decided to build our own.

The SDK lets you create multiple AI agents that can interact with users, use tools, share context, and hand conversations off to each other. The SDK is provider-agnostic and designed to be thread-safe.

Here's a link to our GitHub repository with the entire code, a quick-start guide, as well as an interactive example: https://github.com/chatwoot/ai-agents

Fair warning: This is still in its early stages. Thread safety is a major goal, but we're still working through edge cases. We'd love feedback from folks who've built similar systems or have thoughts on our approach.
by jnwatson | 2025-07-01 13:06:24+00:00
The standard is 41 years old, so there has been plenty of time for extensions.

Practically, the useful encodings are DER, which is canonical and used for crypto, and XER, which is human-readable.

It is a neat spec, chock-full of great ideas. Unfortunately, given its age, there have been many bad implementations of it.
by ccarnino | 2025-07-01 13:06:32+00:00
I'm working on https://thinktotem.com

Can't focus on reading anymore? ThinkTotem transforms books into conversations so you stop re-reading the same paragraph 5 times.

Phones and social media rewired our brains for quick hits, making traditional reading feel impossible. ThinkTotem solves this by turning books into active conversations with questions, examples, and 'explain-it-back' prompts. Instead of fighting your modern attention span, we work with it.

Does anyone want to help me figure out how to successfully do outreach?
by lproven | 2025-07-01 13:06:55+00:00
> we need the “lisp machine” of the future

Totally agree.

Here's my idea: stick a bunch of NVRAM DIMMs into a big server box, along with some ordinary SDRAM. So, say, you get a machine with the first, say, 16GB of RAM is ordinary RAM, and then the 512GB or 1TB of RAM above that in the memory map is persistent RAM. It keeps its contents when the machine is shut off.

That is it. No drives at all. No SSD. All its storage is directly in the CPU memory map.

Modify Interim or Mezzano to boot off a USB key into RAM and store a resume image in the PMEM part of the memory map, so you can suspend, turn off the power, and resume where you were when the power comes back.

https://github.com/froggey/Mezzano

https://github.com/mntmn/interim

Now try to crowbar SBCL into this, and as many libraries and frameworks as can be sucked in. All of Medley/Interlisp, and some kind of convertor so SBCL can run Interlisp.

You now have an x86-64 LispM, with a whole new architectural model: no files, no disks, no filesystem. It's all just RAM. Workspace at the bottom, disposable. OS and apps higher up where it's nonvolatile.

I fleshed this out a bit here:

https://archive.fosdem.org/2021/schedule/event/new_type_of_c...

And here...

https://www.theregister.com/2024/02/26/starting_over_rebooti...
by infogulch | 2025-07-01 13:08:02+00:00
I wonder if a broadcast could be implemented as a specialization of a ring buffer:

Use 1 ring buffer, and N read pointers. The writer determines how far it can write by taking the minimum of the read pointers. ... I think that's all you'd need? The writer will block if a reader is too slow, but any broadcast that preserves messages and has bounded memory will have that problem. Maybe the difficulties will be in adding and removing readers.
by thrwwy451 | 2025-07-01 13:08:03+00:00
> why can't they be doing the same thing with your e2e messages while in transit?

They can, and maybe they do. We can't really verify whether their servers run only what's published on GitHub (remember the MobileCoin gap? [1]).

> What do they gain by getting it through backups?

They don't need to capture the messages through backups, but the feature is a plausible reason for the users to foot the storage bills. Maybe the donations are not enough.

[1]: https://www.androidpolice.com/2021/04/06/it-looks-like-signa...
by xela79 | 2025-07-01 13:08:05+00:00
>Crawling the web is not a competitive advantage for any of these AI companies,

?? it's their ability to provide more up to date information, ingest specific sources, so it is definitely a competitive advantage to have up to date information

them not paying the content of the sites they index and read out, and not referring anybody to their sites is what will kill the web as we know it.

for a website owner there is zero value of having their content indexed by AI bots. Zilch.
by stego-tech | 2025-07-01 13:09:31+00:00
Literally this. It’s why I advocate for regulations over technological solutions nowadays.

We have all the technology we need to solve today’s ills (or support the R&D needed to solve today’s ills). The problem is that this technology isn’t being used to make life better, just more extractive of resources from those without towards those who have too much. The solution to that isn’t more technology (France already PoC’ed the Guillotine, after all), but more regulations that eliminate loopholes and punish bad actors while preserving the interests of the general public/commons.

Bad actors can’t be innovated away with new technological innovations; the only response to them has always been rules and punishments.
by rustyboy | 2025-07-01 13:10:04+00:00
Amen - As a SWE and i've come to realize that no one pays for me to treat code as craftman quality so I don't. The whole agile mindset is get something out that demonstrates value and fix it things while you go. And in ten years i've also realized that my ability to sit down and make something really special the first time through is - shit. This is the first time i've been able to meet timelines while still producing a better product.
by richardvc | 2025-07-01 13:10:15+00:00
Understanding the genome has always felt like trying to solve a massive puzzle with pieces constantly shifting. Tools like AlphaGenome are changing that—offering a more focused way to interpret complex genetic data. In the lab I worked in, precision was everything. We relied heavily on uv spectrophotometry for DNA quantification, and the systems from https://www.berthold.com/en/ stood out for their consistency, even under demanding conditions. Their devices helped streamline processes where accuracy couldn’t be compromised, especially when dealing with fragile or low-concentration samples. Founded back in 1949, they’ve become a global reference for reliable measuring technology. From radiation detection to life sciences and industrial process control, their solutions cover diverse fields. For anyone navigating genomics or analytical research, choosing the right tools isn’t just about features—it’s about long-term dependability and clarity in results.
by detaro | 2025-07-01 13:10:21+00:00
It needs a bunch of compatibility code and the maintainers felt it wasn't worth the effort of taking care of that anymore:

https://lore.kernel.org/lkml/20250425084216.3913608-1-mingo@...

https://lore.kernel.org/lkml/CAHk-=wicfBCyMj_x5BiL32o55jqXfn...

https://lore.kernel.org/lkml/CAHk-=wjCiEk-kc-vOug2GKJdhHKce3...
by api | 2025-07-01 13:10:36+00:00
95%+ of the energy in a battery directly converts to work. A typical jet engine is about 35% efficient. So the gap is smaller than it looks. More like 10X by weight and 3-4X by volume. Electric planes can regeneratively descend so that makes it a little better still.

Still this is why I said short to medium haul not long haul. But that’s more than half of aviation.
by hopelite | 2025-07-01 13:10:48+00:00
I am leery of such a claim not just being attention bias, because although it surely is mostly AI gobbledygook, it all looks just like the marketing gobbledygook of pre-AI, ignoring any obvious AI tells.

I think you may just be noticing sloppy attention to detail, i.e., not proofing, relying on AI that is not quite ready, similar to devs just committing AI slop without review.

I suspect someone is going to train a marketing specialized AI at some point that is focused on that specific type of promotional manipulative language of marketing. But, frankly, I don’t see it being long loved either though, because I see marketing being totally nullified by AI. You don’t need marketing when humans are no longer making decisions/buying.
by qnib | 2025-07-01 13:12:07+00:00
essentially yes. The missing piece is experience in making sure the right files, descriptors and memory blobs are saved and brought back in the right order and the coordination with different schedulers (like K8s in this case, but also AWS Batch, HTCondor, SLURM, ...).

EC2 Spot only gives you 2min in which you need to wrap up everything, GCP even only 30s. The time pressure is also an obstacle to deal with.
by qsort | 2025-07-01 13:12:41+00:00
This is actually very cool. Not really replacing a browser, but it could enable an alternative way of browsing the web with a combination of deterministic search and prompts. It would probably work even better as a command line tool.

A natural next step could be doing things with multiple "tabs" at once, e.g: tab 1 contains news outlet A's coverage of a story, tab 2 has outlet B's coverage, tab 3 has Wikipedia; summarize and provide references. I guess the problem at that point is whether the underlying model can support this type of workflow, which doesn't really seem to be the case even with SOTA models.
by makematrixriot | 2025-07-01 13:13:10+00:00
So my issues are with Element and not matrix specifically.

Dropping Element One was not a great decision. This was a great opportunity to get funding and let hobbyists in a the ground level without insane business pricing that reminds you of Microsoft or Atlassian.

The devs convinced the leadership to completely halt improvement of features and implementation of new features to rewrite their codebase in an obscure and niche language that offers minimal benefits. Yes Rust is cool. Yes rust may be more secure. Completely re-implementing your main client in a new language while removing tons of functionality was a bad decision.

There's no mobile client support for spaces, you can't browse public rooms from mobile, threads is horrifically broken, replies are terrible, they completely redesigned the emojis but dropped support for / commands.

Element Server Suite is terrible, it isn't even close to enterprise level. There's no meaningful way to manage rooms at an admin level. There's no way to manager users through MAS in a reasonable way. You can't let admins take over rooms unless there is an admin bot in every room, including DMs. There's no way to manage federation. Requiring K8S to run a chat server is insane. The entire stack is way too heavy and most of the features that would make it worthwhile are pure vaporware.
by sampl3username | 2025-07-01 13:13:23+00:00
I don't know about you but I don't come here to read AI slop.

For reference, in case the commenter edits it, this is what he posted says:

Here's a response you could post:

The power efficiency angle here is fascinating. Traditional marine radar systems pull 1-3kW for small installations, while this passive approach is essentially "free" from an energy perspective since the cell towers are already transmitting.

I worked on a similar project using FM radio stations for aircraft detection back in 2018. The biggest challenge wasn't the signal processing (though that's non-trivial) - it was dealing with multipath interference in urban environments. Cell towers might actually be better for maritime use since water provides a relatively uniform reflective surface compared to buildings.

The 4km detection range for small boats is honestly impressive given the power levels involved. Most cell towers output around 20-40W, compared to even small marine radars pushing 4kW peak power. The processing gain from correlation must be substantial.

I wonder if they're using the tower's sector information to help with angular resolution? Modern cell sites already do beamforming for MIMO, so you might be able to get decent bearing accuracy without needing multiple receiver sites. Would love to see the actual paper if anyone has a link.