MurphyA/hacker-news huggingface dataset:
by antocuni | 2025-11-05 13:26:28+00:00
hello, spy author here.

> Why do blue functions disappear when redshifting? If you red shift blue then it goes down in frequency so you might get green or red. Perhaps my physics brain is just over thinking it!

yes I think you are overthinking :). It's not meant to be accurate physics of course.

The usage of colors to distinguish comptime vs runtim code comes from PyPy: in that context, we used "green" and "red", and initial versions of SPy used the same convention.

Then someone pointed out that green/red is not colorblind friendly and so I changed it to blue.

Having actual colors for the two phases is VERY useful for visualization: e.g. we already have a "spy --colorize" command which shows you which parts are blue and which are red.

As for "redshifting": the AST "before" has a mixture of blue and red colors, while the AST "after" has only red nodes, thus the final AST is "more red" than the first one, that's why I chose that name.
by fancyfredbot | 2025-11-05 13:26:53+00:00
This is transparent nonsense. People are very very happy to introduce errors into excel spreadsheets without any help from AI.

Financial statements are correct because of auditors who check the numbers.

If you have a good audit process then errors get detected even if AI helped introduce them. If you aren't doing a good audit then I suspect nobody cares whether your financial statement is correct (anyone who did would insist on an audit).
by viridian | 2025-11-05 13:27:07+00:00
I fail to see how that conclusion is even possible. He's not advocating for anything, he's just taking the opportunity to dunk on Israel.

His actual cloaked argument, insofar as it exists, is that Israel does not uphold these standards you value. You clearly disagree, and of course the sarcasm is unproductive, but he's not advocating barbarity (but levying an accusation of it).
by hypeatei | 2025-11-05 13:27:24+00:00
Is Apple really going to keep playing this game of gatekeeping until legislation forces them not to? I really don't understand how you could remain so stubborn as a company that a system of complex rules across regions is preferable to just making it open and getting with the times.

I've considered an iPhone due to the recent Google announcement w.r.t. code signing but it's still too walled off for me. They need to open up access to third party stores and third party browser engines.

EDIT: yes I understand that we live in a capitalist system that is maximizing profit. My argument is that long term they're going to lose this battle seeing as the EU and Japan have already forced them to play ball. There are two options: remain stagnant and collect app store rent as long as possible or learn to be competitive in this new environment.
by 8fingerlouie | 2025-11-05 13:27:32+00:00
But if your one source of truth is a single huge database, maybe on a mainframe, as is often the case with finance, and eventual consistency is a huge no go, the mainframe can become a limit regardless when you're being "hammered" by 3+ million users all wanting to check their account balance.

Yes, you can solve the problem with sharding and other tricks, but for many banks, the mainframe is still their main data storage, and it has 60+ years of legacy code on it that is not easily or quickly migrated to modern architecture.
by rsynnott | 2025-11-05 13:28:53+00:00
I mean, no-one sensible would _ever_ take _any_ chip manufacturer's claim about performance seriously without independent verification; it is very much, at the best of times, a space where people tend to be, ah, _optimistic_ about unreleased stuff.

I can't think of any chip-manufacturer who _hasn't_ made claims about their chips which turned out to be grossly exaggerated or outright false when exposed to independent analysis.
by Kerrick | 2025-11-05 13:29:31+00:00
My personal preference is 24" nominal for 4K (a 23.8" 4K display has 185ppi), running at @2x (1080p equivalent), because I keep my monitors a bit further back on my desk than others do. I run a triple Dell P2415Q setup. It was great when I started, but as more websites assume 1080 CSS pixels of width means I want tablet mode, its utility has decayed. Because of that I've gone from 3 vertical to 1 horizontal flanked by 2 vertical. These aren't made anymore, and for years nobody else was making monitors at this density. It seems they've become popular again since COVID, and ViewSonic even released the VP2488-4K this year, complete with Thunderbolt 4 and DCI-P3. Asus's offering at this size & resolution is the PA24US.

Another great option is 22" nominal (a 21.5" 4K display has 204ppi), also running at @2x. This is better if you keep the monitor closer to the keyboard side of your desk, or if your desk is not very deep. These are hard to find, and even when you do they're likely to be a portable monitor. Asus has a page for a PQ22UC but I can't tell if it is no longer available, or no longer sold in the US.
by tliltocatl | 2025-11-05 13:29:34+00:00
> simple fraud which always has and always will be illegal

Wikipedia says homeopathy market was 2.7B in 2007 and I'm too lazy to find new data. AFAIK there has not been issued a single fraud sentence against the manufacturers. That's with a half-functioning FDA that actually made some moves to stop this. Now how bad would it be with no regulation at all? Because, again, there is no doubt that homeopathy has overwhelmingly higher profit margin compared to actual drugs.
by aguacero7 | 2025-11-05 13:29:44+00:00
After developing rkik, I realized there wasn't a standalone NTS library available, only full implementations embedded in larger projects.

I needed a simple, reusable library for secure time synchronization, so I started exploring options. I tested several approaches, trying to extract NTS functionality from various implementations, but ran into issues with each one. Some were too tightly coupled to their parent projects, others had incomplete APIs, and many weren't designed to be used as libraries at all. After considerable trial and error, I finally found ntpd-rs from the Pendulum Project, which had solid, well-structured code that could be adapted into a standalone library.

What is NTS? Network Time Security (NTS) is a security extension for NTP (Network Time Protocol) defined in RFC 8915. While NTP has been the backbone of internet time synchronization for decades, it was designed in an era before widespread security threats.

NTS adds three critical security features: - Authentication: Cryptographic verification that time data comes from the expected server - Encryption: Protection of time synchronization traffic from eavesdropping - Replay attack resistance: Each query uses unique authentication cookies

The protocol works in two phases: an initial TLS-based key exchange (NTS-KE), followed by authenticated UDP-based NTP queries using the negotiated keys and cookies. Why rkik-nts? rkik-nts provides a simple, ergonomic API for Rust applications that need secure time synchronization without implementing the full NTS protocol themselves.

Looking for Feedback and Contributors This is a new library and I will be actively maintaining it. I'd love to hear: - Use cases you have for NTS in your projects - API improvements or missing features - Bug reports and performance feedback - Contributions welcome—whether it's code, documentation, or examples

If you're working on time-sensitive applications, embedded systems, or anything requiring secure time synchronization, give it a try and let me know how it works for you. Acknowledgments Huge thanks to the Pendulum Project and Tweede golf for ntpd-rs, which made this library possible. Their memory-safe NTP implementation provided the solid foundation I needed. The library is available on crates.io as rkik-nts and on GitHub at https://github.com/aguacero7/rkik-nts
by rahulcere | 2025-11-05 13:29:49+00:00
CEF AI | AI Innovator & Principal Software Engineer | Full Time | San Francisco (hybrid, remote-first) | AI Innovator: $100k–$200k + equity | Principal SWE: $80k–$150k + equity | AI Innovator: https://linkly.link/2KOOz | Principal SWE: https://linkly.link/2KOP6

CEF AI builds an AI-first data automation platform for secure, decentralized orchestration of agents that compute directly on encrypted data streams. We’re shipping original systems (not wrappers), with multiple tuned models (CV, NLP, LLMs) and a next-gen multi-agent data infrastructure. Small team, high ownership, low bureaucracy.

What you’ll do

AI Innovator: Prototype and ship production AI features fast; extend our multi-agent orchestration; design private/sovereign data pipelines and dynamic indexing; collaborate tightly with founders to turn research into product.

Principal SWE: Own core platform architecture; design and scale distributed backends/APIs; build great DX (SDKs/CLI); lead reviews/mentorship; drive 0→1 projects with strong reliability and observability.

You might be a fit if you have

A track record taking systems from concept to scale and to revenue.

Deep backend/systems skill (Go/Rust/Kotlin or similar); strong CI/CD/testing discipline.

Experience with distributed, real-time data infra; privacy/security minded.

Hands-on AI product chops (CV, NLP, LLMs/agents) and bias to build/iterate quickly.

Clear communication, product intuition, and comfort working directly with founders.

Apply via the role links above.
by sandos | 2025-11-05 13:29:54+00:00
Aawww, this looks so nice!

I really would want a more clever solution for our heating: district heating that goes int our "legacy" high-temperature old radiators, and also a secondary system with under floor heating but with a limited temperature. The problem is the "secondary" system is much bigger and heats most of the house, but is more or less unable to change its temperature since its always "capped" at the max since its driven from a high-temperature system, the shunt can not lower the temperature, also its a dumb one. So we have bang-bang thermostats everywhere for the floors which works, but is not at all optimal.
by elihu | 2025-11-05 13:29:58+00:00
Another form of tech industry Gaza atrocity denialism and gaslighting is satellite maps of Gaza.

Bing maps seems to be entirely pre-war as far as I can tell. In a way, that's kind of useful, as it can serve as a reference for what Gaza used to look like in A/B comparisons.

Google maps on the other hand has had at least some updates. Southern Gaza appears basically unscathed, but the Northern part shows some wide swathes where there's very little left but dust and rubble. I think Google did that update a couple months ago. Before that it was kind of hard to find any serious damage at all. (Jabalia refugee camp has shown as a ruin before that update.)

To some extent it's understandable that neither company wants to be updating all of their satellite images all the time. Still, the war has been going on for years and this is a place that a huge number of people really want to know what's going on. Updating slowly (Google) or not at all (Microsoft) at this point seem like deliberate policies, and I'd imagine they're probably highly contentious within those companies.
by AkshatM | 2025-11-05 13:30:37+00:00
I find the contrast between two narratives around technology use so fascinating:

1. We advocate automation because people like Brenda are error-prone and machines are perfect.

2. We disavow AI because people like Brenda are perfect and the machine is error-prone.

These aren't contradictions because we only advocate for automation in limited contexts: when the task is understandable, the execution is reliable, the process is observable, and the endeavour tedious. The complexity of the task isn't a factor - it's complex to generate correct machine code, but we trust compilers to do it all the time.

In a nutshell, we seem to be fine with automation if we can have a mental model of what it does and how it does it in a way that saves humans effort.

So, then - why don't people embrace AI with thinking mode as an acceptable form of automation? Can't the C-suite in this case follow its thought process and step in when it messes up?

I think people still find AI repugnant in that case. There's still a sense of "I don't know why you did this and it scares me", despite the debuggability, and it comes from the autonomy without guardrails. People want to be able to stop bad things before they happen, but with AI you often only seem to do so after the fact.

Narrow AI, AI with guardrails, AI with multiple safety redundancies - these don't elicit the same reaction. They seem to be valid, acceptable forms of automation. Perhaps that's what the ecosystem will eventually tend to, hopefully.
by UncleMeat | 2025-11-05 13:31:12+00:00
Other people have mentioned mass surveillance and other ways that Obama expanded the law enforcement power of the federal government, but I'll add another thing.

Based on Rahm Emanuel's advice, the Obama administration did not focus political capital on the federal judiciary. Not only did Obama fail to get RBG to retire when she could be confidently replaced by a liberal, he didn't take judicial placements in the lower courts as seriously as he should have. The courts are substantial part of how we got here.

Yes, Obama was not a king. But there was stuff he absolutely could have done, especially during his first two years when he had the trifecta, that he didn't take seriously.
by teroshan | 2025-11-05 13:32:05+00:00
I'm still finishing my first read, but I really recommend Cory Doctorow's latest book [1] "Enshittification:Why Everything Suddenly Got Worse and What To Do About It" which covers the subject of tech monopolies and much more.

Reading it I learned about the term "monopsony" which is "a market in which goods or services are offered by several sellers but there is only one buyer" which is usually conflated with monopoly.

[1] https://www.versobooks.com/products/3341-enshittification
by Esophagus4 | 2025-11-05 13:32:40+00:00
Fair - I was creating a straw man mostly to make a point. The people I’m thinking aren’t running SQL queries or scripts, they’re merely collection points for data.

So one good BI developer who knows Tableau and Salesforce and Excel and SQL can replace those pure collection points with a better process, but they can also generate insight into the data because they have some business understanding from being close to the teams, which is what my hypothetical Brenda can’t do.

In my example, Brenda would be asking sales leaders to enter in their data instead of going into Salesforce herself because she doesn’t know that tool / side of the company well enough.

I was making the point that, contrary to the article, the Brendas I know aren’t touched by the Excel angels, they’re just maintaining spreadsheets that we probably shouldn’t have anyway.
by flenserboy | 2025-11-05 13:33:31+00:00
1. there is no longer a market for certain sorts of software, whether due to market dominance (Word), or the likely market size being too small to bother with.

2. FOSS has dropped into Code Reuse Mode*, & getting out of that is going to require motivated individuals to build their own, entirely new versions. LibreOffice is Good Enough for most users, so why go to all the effort of starting from ground level when a fork & reskin will do?

one would hope that FOSS would lead to having cool, alternate approaches to particular use problems (as in the old days, when there were myriad word processors on the market — XyWrite, WordPerfect, WriteNow, Word, etc., etc.), but Good Enough means that attention can be put on more interesting problems. what we're left with is a mediocre mass of applications.

*which is why nearly every alternate OS ends up feeling like Linux with missing programs & weird commands, so why not just use Linux? we're going to be stuck in a rut for a long time to come.
by maccard | 2025-11-05 13:33:58+00:00
Everywhere I’ve ever worked has had that mission critical box.

At one of my jobs we had a server rack with UPS, etc, all the usual business. On the floor next to it was a dell desktop with a piece of paper on it that said “do not turn off”. It had our source control server in it, and the power button didn’t work. We did eventually move it to something more sensible but we had that for a long time
by Havoc | 2025-11-05 13:34:00+00:00
That mirrors my experience as well. LLMs get instantly confused in real world scenarios in Excel and confidently hallucinate millions in errors

If you look at the demos for these it’s always something that is clean and abundantly available in training data. Like an income statement. Or a textbook example DCF. Or my personal fav „here is some data show me insights“. Real world excel use looks nothing like that.

I’m getting some utility out of them for some corporate tasks but zilch in excel space.
by rckt | 2025-11-05 13:34:14+00:00
They all will try to gatekeep as much as they can. Google's move made this pretty obvious. They don't need free market and open platform. This is something for some nerdy enthusiasts. Funny that all the new device that are being released lately, like Sidephone or Light Phone; they all do the same thing. And not only they lock you into their OSes, but they even restrict the software that you are allowed to use.
by rootnod3 | 2025-11-05 13:34:41+00:00
And where then is your backup? In the same cloud? The one that just tried to rip your data sovereignity away from you?

The average person still uses the same password for EVERYTHING, despite say iOS and Android making it easy as pie to just go "generate passwords for me". Telling an average person to have a 3-2-1 backup AND run stuff in the cloud that they will 100% lose the password for is not a battle I see to be won in the near future.
Show HN: Llamada – minimalist toolkit to define functions with prompts
by blaesus | 2025-11-05 13:35:05+00:00
While building an LLM-based application, I got frustrated with OpenAI / Claude / LangSmith Agent SDK with their numerous and ambiguous new concepts (agents / tools / skills / guardrail etc.).

So instead I built this little library which helps myself to model LLM-based behaviours with good old functions, branches, and loops.

Currently this only works for TypeScript but I intend to expand to at least Rust and Python which I also use.
by busyant | 2025-11-05 13:35:12+00:00
> Not only did Obama fail to get RBG to retire when she could be confidently replaced by a liberal, he didn't take judicial placements in the lower courts as seriously as he should have. The courts are substantial part of how we got here.

I imagine there was a lot of complacency based on the (erroneous) assumption that Hillary Clinton would be his successor.
by srean | 2025-11-05 13:35:48+00:00
I am by no means a Cython fanboy but I think you are exaggerating the syntactic differences and readability differences.

Apart from type annotation they are very minor, well worth the speed benefits and type-error benefits. Given that we are discussing it in the context of SPy, SPy is not fully compatible with Python either, which is quite understandable and in my opinion a Good trade-off.

The benchmarking features are great, interactivity with C libraries is great.

One annoyance I have with Cython though is debuggability. But it's an annoyance, not a show-stopper.

Have used in production without problems.
by rhetocj23 | 2025-11-05 13:35:57+00:00
This is because put simply, at the core, humans are dumb. We are only intelligent to the extent we acquire knowledge and formalise it to understand the world and make rational decisions to ensure one is better off.

GIven that the majority do not possess this trait, the outcome is nothing but inevitable. The mistake Jobs made was assuming that what he thought about the world should ring true for everyone.
by oytis | 2025-11-05 13:36:07+00:00
> So, then - why don't people embrace AI with thinking mode as an acceptable form of automation?

"Thinking" mode is not thinking, it's generating additional text that looks like someone talking to themselves. It is as devoid of intention and prone to hallucinations as the rest of LLM's output.

> Can't the C-suite in this case follow its thought process and step in when it messes up?

That sounds like manual work you'd want to delegate, not automation.
by NeutralCrane | 2025-11-05 13:36:31+00:00
I guess my confusion is that there already are ways to query this data with DuckDB or something like that. So is the magic here that it’s Postgres? What makes being able to query something in Postgres special? And when we say it’s now queryable by Postgres, does this mean that it takes that data and stores it in your PG db? Or it remains in S3 and this is a translation layer for querying with PG?
by mothballed | 2025-11-05 13:36:42+00:00
Stores exist there. They have some foodstuffs even. They have bars on all the window and your money is handed through a rotating tray under a bulletproof glass with tiny holes in it so you can talk to the cashier (who also has a shotgun resting under their cash register).

That is because that is the viable model in those areas to actually run a store without having your staff egregiously injured/assaulted and not have everything not nailed down stolen.

This ends up getting reflected also in higher prices of foods in those areas, to reflect the cost and lower supply of those willing to take those measures. So people will call it a 'food desert' -- not because you can't get food there (though it mostly sucks and is shelf stable stuff) but because nothing there resembling a walk-around middle-class grocery store exists.

Failing to take those measures, or taking the measures and not raising prices enough to cover the costs, will likely end up in the state losing money, that is, they will be forced to seize the capital of private citizens to fund the state's commercial offerings.
by latexr | 2025-11-05 13:36:51+00:00
> Is Apple really going to keep playing this game of gatekeeping until legislation forces them not to?

By this point it seems pretty clear that they will, at least while Tim Cook is in charge. Other higher ups, specifically Phil Schiller, knew this was a bad idea but were overruled.

https://www.macrumors.com/2025/02/25/apples-phil-schiller-co...
by ksec | 2025-11-05 13:37:24+00:00
This is again showing with distance for TV viewing, we can see difference above 4K but barely touches 8K. Hence that is why I have been saying for close to 10 years now we should have settle on 6K with HDR as default.

It seems after the failure of 3D and 8K the industry doesn't seems to care about anything anymore.
by bjourne | 2025-11-05 13:37:25+00:00
Does having your personal website even matter when the agents of censorship can just request that search engines delist your urls? Or pay for tons of ads so that your site's ranking drops to the second or third page for whatever keywords it happens to match on. And if they still get sizeable traffic, they can just ask your hosting provider to cancel your account. No need to burn the books when you can just remove them.
by Someone | 2025-11-05 13:37:30+00:00
> There appears to be an undercurrent of this sort underway where the soaring popularity of RISC-V in markets such as China is politically ripe for some incumbent ISAs to turn US government opinion against RISC-V, from a general uptake PoV or from the PoV of introducing laborious procedural delays in the uptake.

> Turning the ISA into an ISO standard helps curb such attempts.

Why do you think that would help? I fail to see how that would help.