MurphyA/hacker-news huggingface dataset:
by IshKebab | 2025-11-05 14:51:33+00:00
Overall this looks very interesting - I always thought more could have been done with RPython, but there was never any documentation for it. I do have some nits though:

> The following silly example happily passes mypy

In fairness that's because Mypy is shit. Pyright catches this mistake.

> As such, we need to treat Python type checkers more like linters than actual theorem provers

Again I think this is true of Mypy but Pyright is much closer to a sound type checker.

> redshifting

This is just constant propagation isn't it? C compilers have been doing this for decades. I don't think we need a silly new term for it. Let's not cause another "tree shaking" situation.

> So far, this is not different than usual constant folding, with the difference that it's guaranteed to happen. What makes it more powerful is the ability to mark some functions as @blue.

That's not different. It's just constant folding with C++'s `consteval`. And @blue is an absolutely abysmal name.

It would be much clearer if @blue were changed to @consteval or @comptime (either's good I think), and you just call it "compile time evaluation" or "constant propagation" instead of "redshifting".
by CupricTea | 2025-11-05 14:52:25+00:00
You are missing the point. You gave the AI a system prompt to make it act a certain way. The AI took your prompt as instructions to perform a role as an actor. You took its fictional outputs as reality when it was treating your inputs as hypothetical for writing exercise.

This is the equivalent of you rushing up onstage during a play to stop the deaths at the end of Shakespeare's Caesar.
The Drift Principle: why systems get worse even when they're "working"
by realitydrift | 2025-11-05 14:52:37+00:00
I keep noticing a pattern across social platforms, news cycles, UX design, and now AI assistants. At some point the system starts doing exactly what it was built to do, but the experience gets worse. The Drift Principle is my attempt to describe that moment:

When a system optimizes faster than it can preserve context, fidelity to reality starts to slip.

Examples are everywhere. Social feeds tighten around whatever drives engagement, and the range of content shrinks until everything feels like a remix of itself. Customer support flows become friendlier but less helpful because the metric rewards tone over resolution. Helpful AI assistants become smoother and more cautious while quietly dropping specificity. Even individual users fall into it, once you learn what works, your online behavior slowly converges toward the safest version of yourself.

Nothing catastrophic happens. The system still functions. But the texture that made it feel real gradually thins out. You get efficiency without depth, volume without variety. That gap between what the system optimizes for and what humans actually experience is where the drift shows up.

Curious how others here think about this pattern, or whether you’ve seen better language for describing it across domains.
by jack_tripper | 2025-11-05 14:52:38+00:00
>Dr Bloom spoke about how your overall mood during college is a good predictor for how happy you'll be as a person throughout your life.

Welp, I guess I'm dead then.

>around 25, making personality changes MUCH more difficult

Maybe it's just me but my personality keeps changing every year or so, based on the positive and negative experiences and challenges from living abroad alone, having to always adapt to new stuff to stay mentally, financially and socially afloat.

I assume it's different if you spend your whole life in the same place you grew up in with the same people doing the same things. Maybe the brain checks out from the repetition.

>avoidant behaviors that limit my social ability

Move aboard to another country where you don't speak the language.
by sidewndr46 | 2025-11-05 14:52:39+00:00
Almost certainly it is. Especially if done in writing. But it's pretty easy to do in practice. First you do it verbally, by suggesting the system rarely makes mistakes. It's the role of the employee to double check the system's work, not to second guess it obviously. Secondly just layoff or transfer anyone that doesn't side with the algorithm most of the time.
by sunshiney0992 | 2025-11-05 14:53:44+00:00
We’re launching SVG Spark, a fast and private SVG converter that runs entirely in your browser. Drag and drop SVGs and instantly export crisp PNGs, JPGs, GIFs, or WEBPs. No uploads, no waiting—your files never leave your machine. Completely free.

Why we built it

Most converters upload your files to a server—slow and privacy‑unfriendly Designers, marketers, and developers need quick, reliable raster exports We wanted a simpler, safer, faster way to handle SVGs What makes it different

Client‑side privacy: all processing happens in your browser Multi‑format output: PNG, JPG, GIF, WEBP in seconds AI assist: create or refine SVGs, then convert to high‑quality images Frictionless and free: drag‑and‑drop workflow, no signup Who it’s for

Designers and marketers who need crisp exports fast Developers and teams that care about privacy and security Anyone working with SVGs day to day We’d love your feedback

Export controls you want next (size presets, DPI, background/alpha, batch)? SVG edge cases we should optimize for? Share a sample! How should the AI features evolve? Try it now: https://svgtopng.app/ Thanks for checking it out—your feedback will shape what we build next. If you have questions,you can emailto:0992sunshine@gmail.com
by cbondurant | 2025-11-05 14:54:00+00:00
There are in fact two sided floppies! IIRC they behave a lot like the two sides of a cassette tape, the floppy reader only reads from one side at a time.

A fun fact in that regard: the game Karateka (an actual game for the Apple II) had an easter egg, where the team realized that their game entirely fit in the capacity of one side of a floppy, so they put a second copy of the game on the other side, but set up so that it would render upside-down.

I'd not be surprised if the inclusion of that detail in this post was directly inspired by Karateka.
by JohnFen | 2025-11-05 14:54:07+00:00
Indeed. I still haven't heard a coherent and accepted definition of what "AGI" actually means, so I consider it to be basically a nonsense marketing word with an intentionally vague definition.

"When I use a word," Humpty Dumpty said in rather a scornful tone, "it means just what I choose it to mean — neither more nor less."

"The question is," said Alice, "whether you can make words mean so many different things."

"The question is," said Humpty Dumpty, "which is to be master — that’s all."
by TulioKBR | 2025-11-05 14:54:09+00:00
Eu estarei disponibilizando códigos gerados entre hoje e amanhã. Você abriu 1 componente de 192 para dizer que é amador ? Sério mesmo ? Chega a ser bizarro. Seu commit demoraria o que ? 5minutos? GROQ API grátis, gastos ? 0. Testes ? Sua conclusão ou a minha conclusão. O repositório está aí, o projeto está aí. Você claramente me provou um fator que eu já esperava. Brasil é Brasil não importa aonde esteja sempre terá um brasileiro incapaz de acreditar ou entender o que outro brasileiro pode ou não fazer mesmo com provas.

Você pode me mostrar alguma plataforma que crie o que o meu sistema cria ? Backend, frontend, banco de dados, security, testes ?

O que custaria a você testar? Mas logo logo terá disponível códigos gerados.

Edit : O Sistema foi lançado e disponibilizado a v1 a menos de 8 dias atrás, toda as datas são informadas.
by toast_x | 2025-11-05 14:54:44+00:00
i thought this was super cool and informative thank you so much for writing it.

i work a lot in python and tried to build a runtime type checker for it that basically acted as automatic assertions on all stated types at function boundaries, and it worked really well to bring all TypeErrors in my code to the surface on first run.

but, my knowledge is woefully short on compilers and languages. this definitely gave me a great frame of understanding, so thanks again for writing it
by sinisamikulic | 2025-11-05 14:55:05+00:00
Senior frontend-focused engineer who has helped startups launch and scale SaaS & FinTech products, including onsite in San Francisco and Berlin.

Available for part-time or fractional roles (open to full-time for the right long-term project).

Happy to jump on a call and see if I can help!

---

Location: Zagreb, Croatia (Europe)

Remote: Yes (US or EU time zone)

Willing to relocate: No

Technologies: JavaScript, TypeScript, React, Next.js, Node.js, TailwindCSS, GraphQL/REST API, Turbopack/Vite, Ruby on Rails, Docker, AWS, web3

Website: https://smikulic.com

LinkedIn: https://www.linkedin.com/in/sinisamikulic

Email: sinisa@codewell.studio
by jmye | 2025-11-05 14:55:23+00:00
I am proposing that, rather than putting your family's life at risk because you're bothered that your wirelessly connected device doesn't connect to your car particularly well, you prioritize your family's life an pull over to fix it. You're making this a product discussion for some bizarre reason, and it feels like you just want to scream at me about how bad the connectivity options are. I haven't, at all, disagreed with that.

Again, I have simply and clearly suggested that OP prioritize his family over his device. Anything else you've chosen to read into that is you wanting to be angry and refusing to read anything written as a result. Please take a deep breath.
Show HN: I built an AI SuperConnector for founders and VCs
by yednap868 | 2025-11-05 14:55:29+00:00
Hey everyone,

I built Vance, an AI SuperConnector that makes warm introductions between founders and investors (and eventually anyone who needs the right connection).

You just tell Vance what you’re looking for - e.g. “I’m raising for my seed round” or “Looking for a co-founder in AI” and he finds the right person from your extended network to introduce you to.

Right now, we’re experimenting with curated networks like IITs, IIMs, and founder communities to help Vance build context and trust.

I’d love feedback from this community -

1. Is this something you’d use? 2. How do you think about privacy/trust in AI led intros? 3. Any thoughts on building strong network density early on?

Would really appreciate any suggestions or brutally honest feedback

Here’s the link if you want to try it: https://vance.so
by svat | 2025-11-05 14:55:55+00:00
It's been a few years since I edited Wikipedia seriously, but the criterion for inclusion on Wikipedia is/was “verifiability, not truth” (https://en.wikipedia.org/wiki/Wikipedia:Verifiability,_not_t...) – what matters is not whether something is true, but whether it has been published in a reliable source (https://en.wikipedia.org/wiki/Wikipedia:Reliable_sources). Accordingly, Wikipedia tries to be based on secondary sources (rather than primary and tertiary ones). The relevant section (https://en.wikipedia.org/wiki/Wikipedia:No_original_research...) says, among other things:

> Primary sources that have been reputably published may be used in Wikipedia, but only with care

and I imagine a Wikipedia edit summary does not count as a reliable source. (For one thing, despite it being very plausible that the Wikipedia user Scarlsen who signed himself as Stephen E Carlsen is indeed that person—I believe it completely!—it cannot be guaranteed that it wasn't an impostor, for example.)
by Arainach | 2025-11-05 14:56:02+00:00
>None? Nobody puts airports inside city centers and metro areas don’t just have dense urban housing.

https://en.wikipedia.org/wiki/Midway_International_Airport

It's hard to project growth. Things build right up to the limit of the airport for convenient access, then the area grows and the airport needs to grow - and what do you do? Seattle-Tacoma is critically undersized for the traffic it gets and has been struggling with the fact that there's physically nowhere to expand to.
by simonw | 2025-11-05 14:56:07+00:00
This isn't the first: https://simonwillison.net/2025/Aug/8/pearlmania500/ and https://simonwillison.net/2024/Jul/29/dealing-with-your-ai-o...

Also this fun diversion into Occlupanids: https://simonwillison.net/2024/Dec/8/holotypic-occlupanid-re...

A lot of people complain that the internet isn't as weird and funny as it used to be. The weird and funny stuff is all on TikTok!
by cityofdelusion | 2025-11-05 14:56:21+00:00
I feel like the commissary these days is really far behind private grocers. Yeah, 15 or 25 years ago they were awesome, but now it just resembles a poorly stocked (and much smaller) Walmart. Regional grocers have gotten really good in my lifetime. Used to go to the commissary regularly to save money and have a good selection, but those days are just long past. Same deal with base liquor stores, they are merely "OK", but again your regional private option is just so much nicer in the 2020s.
by realitydrift | 2025-11-05 14:56:39+00:00
The usage data looks like a classic case of the drift principle. When a model gets heavily optimized for alignment, polish, and safety, you gain consistency but lose some fidelity to the actual task. Newer models think longer, act less, and smooth over edges that used to be useful for real work. Older models aren’t smarter, they’re just sitting earlier on the drift curve, before over compression starts eroding decisiveness. So the specialization we’re seeing may just be developers picking the version where fidelity holds up best, not the one with the highest benchmark score.
by seec | 2025-11-05 14:56:59+00:00
Isn't the whole "raison d'être" of Apple to be able to do stuff that other computer company completely fail ?

The surface make a poor tablet but that's mostly because the hardware isn't suitable for it anyway (because they lack the potential Apple Silicon has). It would be quite pointless for Microsoft to focus on tablet style software when the hardware wouldn't be able to make advantage of it and anyway, the touch layer they have on top is largely sufficient for most task you would want to do in tablet mode (especially since it is sold with a stylus and focus on that interaction method).

Android would make a poor desktop OS as is, but Google is merging ChromeOS with it and there is Samsung Dex that is quite competent already. With the increased competitiveness of Qualcomm chips I think they'll attain a quite decent middle ground at some point.

You say it would be a master of none device but isn't it what the iPad Pro already is ? Quite overkill for a content consumption tablet and too limited to be a full laptop replacement. This is particularly true for the 13 inch model, most use the 11 inch, which is kinda pointless for the price. Better to buy a cheaper iPad Air and a good enough laptop for the price asked.

But really the hardware isn't the problem, it's all about the software that Apple willingly gimp, they could very well make a dual mode device with legacy support for "classic" Mac Apps and a way to suspend to swap when you go into full tablet mode. Most of the app in the ecosystem already use the same underlying data and files format, it's all about differentiated UIs in the end. There is no real problem problem, only lack of will, because of greed as you mention.

Apple spent billions on an overpriced VR device, for which they will never be really competitive because one of its primary use case (gaming), largely require open development model that they will never allow because of their greed.

If Apple would figure out the software solution there would be no reason to buy both a Mac and an iPad for most common use case, and that's really the only reason for their lack of interest.

I think that's good because if the competition manage to figure out the hardware, they'll give them a run for their money.
by dangus | 2025-11-05 14:57:15+00:00
You have to back up from that question. “How to be present in a video call” is already an answered question.

The “when you’re using the headset” part is the issue. Why are we using the headset? What are the benefits? Why am I making these tradeoffs like messing up my hair, putting a heavy device on my head, messing up my makeup, etc.

This is like saying “The Segway had advanced self-leveling to solve the problem of how to balance when you’re on an upright two wheel device”.

But why are you on an upright two wheel device? Why not just add a third wheel? Why not ride a bicycle? Why not ride a scooter?

The solution is really cool and technologically advanced but it doesn’t actually solve anything besides an artificially introduced problem.
by 80hd | 2025-11-05 14:57:20+00:00
There's nothing wrong with being unhappy, IMO - you can still channel those emotions into something meaningful.

But if you do want to be happy, you can find stories, if you look hard and long enough, of "outliers". People who, against all odds, defied "statistics" and broke out of whatever expectations society and "facts" projected onto them.

I tried "everything" until age ~27 when I finally found one dial (very specific elimination diet) that made the rest of my body act mostly normally. Other changes were easier to make from that point onwards, altho there's a lot of damage to undo still. Diet is just one factor, for others it could be completely different.

My point is - I thought I would never be healthy. This stuff runs in my family too. But I just kept trying things. There's no other option.

You are a unique human being and soul who has something valuable to contribute to this world. Even if that's being unhappy.

Hope that doesn't sound condescending, it's something I tell myself too.
by 317070 | 2025-11-05 14:58:02+00:00
Sure, almost all parents want the best for their children. But not every child has a parent that can or wants to provide the best for them.

You are framing the issue as a right you have for society to provide for your children when you are dead. I am framing the issue as a right everyone has for society to provide for them, irregardless of who their parents were when those parents were still alive.
by swiftcoder | 2025-11-05 14:59:03+00:00
> It's simple math. A 32" 4K monitor is about 130 PPI. Retina displays (where you could reasonably say the pixels are not noticeable, and the text is sharp enough to not strain the eyes) start at 210 PPI.

It's also incorrectly applied math. You need to take into account the viewing distance - the 210 PPI figure often quoted is for smartphone displays (at the distance one typically holds a smartphone).

For a 32" monitor, if your eyeballs are 36" away from the monitor's surface, you are well beyond the limit of normal visual acuity (and the monitor still fills a massive 42 degrees of your field of view).
by wiether | 2025-11-05 14:59:03+00:00
And yet, most of those success stories about ditching the cloud are from people that were not using services with hard vendor lock-ins.

Reading author's article:

> For me, that meant:

> RDS for the PostgreSQL database (my biggest monthly cost, in fact)

> EC2 for the web server (my 2nd biggest monthly cost)

> Elasticache for Redis

https://rameerez.com/how-i-exited-the-cloud/
by alwahi | 2025-11-05 14:59:48+00:00
you must understand that your country is basically a uniparty that allows vigorous debate in a very zone of ideas (to paraphrase Chomsky), e.g Biden allowed the genocide to continue for as long as he was in office. Your country is basically subservient to Capital and the Israeli lobby.

The lesson to draw from Gaza is that if you become inconvenient to "the people in power" tomorrow, you would meet the exact same fate.
by jamal-kumar | 2025-11-05 15:00:00+00:00
Oh it was really stupid actually:

Blankenship was hired by Steve Jackson Games in 1989.[3] He authored the cyberpunk role-playing sourcebook GURPS Cyberpunk, the manuscript of which was seized in a 1990 raid of Steve Jackson Games headquarters by the U.S. Secret Service.[4][5] The raid resulted in the subsequent legal case Steve Jackson Games, Inc. v. United States Secret Service.[6]

https://en.wikipedia.org/wiki/Loyd_Blankenship

https://en.wikipedia.org/wiki/Steve_Jackson_Games,_Inc._v._U...
by sequoia | 2025-11-05 15:00:23+00:00
Wow interesting!

> The purpose of this workflow is to encourage the agent to identify and test small, incremental improvements. Claude would otherwise attempt to fix everything at once, only to be confounded by the drop in match rate, which had too many possible causes to diagnose effectively. Similarly, each attempt is made in a new file so that we can easily recover good matches. We want to avoid situations where an agent achieves a good match but subsequently edits the file and degrades its quality. The trail of attempts is also a useful reference for the agent.

This is a great tip. Using llms in the ide, I stage changes frequently to be able to rewind to a good state due to this “doing well then going off the rails” behaviour.
by tclancy | 2025-11-05 15:00:27+00:00
I know it makes me an old and I am biased because one of the systems in my career I am most proud of I designed around XSLT transformations, but this is some real bullshit and a clear case why a private company should not be the de facto arbiter of web standards. Have a legacy system that depends on XSLT in the browser? Sucks to be you, one of our PMs decided the cost-benefit just wasn't there so we scrapped it. Take comfort in the fact our team's velocity bumped up for a few weeks.

And yes I am sour about the fact as an American I have to hope the EU does something about this because I know full-well it's not happening here in The Land of the Free.
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
by jermaustin1 | 2025-11-05 15:01:07+00:00
I had a hard time figuring out CAD software like Fusion, OnShape, etc., and decided to go about making my own CAD modeling software that I can "program" my models similar to how I think about them in my head.

I used Cursor to write like 95+% of this, giving it my YAML examples and making it implement the actual code to make those work.

Currently 100% self-hosted, and it is just a static HTML/CSS/JS, so it might just work without running npm at all.

Very few features working currently, basically just modeling a few primitive solids, and boolean operations.
by rluther5 | 2025-11-05 15:01:11+00:00
I get the pitch, but this feels like yet another attempt to automate something that fundamentally only works because it’s human.

Warm intros aren't just about “matching nodes on a graph.” They’re about credibility and skin in the game. When an actual person introduces you, they’re implicitly staking their reputation. An AI “superconnector” can’t do that — at least not in a way investors or founders will trust when the stakes are real.

Also, the trend of turning personal networks into monetizable data graphs is getting pretty dystopian. We keep saying “privacy matters” while happily piping personal+contextual trust data into the next startup. I’m sure the intentions are good, but this is the kind of tool that looks harmless until it isn’t.

HN crowd will hate me for this, but if your startup only works when you get early density from elite gated networks (IIT/IIM/YC/etc.), the “ democratizing access to opportunity” narrative rings a little hollow.

Not saying this can’t become useful — but I’d want to see:

Crystal-clear privacy commitments Evidence that investors actually trust AI-mediated intros Proof it works beyond curated privilege clusters

Right now it feels closer to automating the illusion of warm intros than the real thing.
by HEmanZ | 2025-11-05 15:01:38+00:00
If it’s true then this is a propensity and not a rule.

My mood in college was suicidal. My mood by my 30s was better than most people I’ve ever met (sans hiccup from a year of no sleep with a newborn).

Looking back my horrible mood in college was probably caused by isolation, no sleep, high pressure course load, and too much alcohol. And I’ve noticed my mood drops dramatically when I get it in my head that I need to be more successful, at any point in my life.