MurphyA/hacker-news huggingface dataset:
by qwertox | 2025-07-12 06:31:01+00:00
This confuses me a bit

dct = {'a': [1, 2, 3]} {'a': [1, *rest]} = dct print(rest) # [2, 3]

Does this mean that i can use?

dct = {'a': [1, 2, 3]} {'b': [4, *rest]} = dct print(rest) # [2, 3]

and more explicit

dct = {'a': [1, 2, 3]} {'_': [_, *rest]} = dct print(rest) # [2, 3]
by tsimionescu | 2025-07-12 06:31:26+00:00
From what I've seen, they are very much in a game developer mindset: you want to make a finished product for a specific use, you want that product to be very well received for your users, and you want it to run really fast on their hardware. When you're done with it, your next product will likely be 80% new code, so long term maintainabity is not a major concern.

And stability is important, but not critical - and the main way they want to achieve it is that errors should be very obvious so that they can be caught easily in manual testing. So C++ style UB is not great, since you may not always catch it, but crashing on reading a null pointer is great, since you'll easily see it during testing. Also, performance concerns trump correctness - paying a performance cost to get some safety (e.g. using array bounds access enforcement) is lazy design, why would you write out of bounds accesses in the first place?
by jowea | 2025-07-12 06:31:51+00:00
I don't think a human dev can divine a method signature and effects in the general case either. Sure the add() function probably takes 2 numbers, but maybe it takes a list? Or a two-tuple? How would we or the LLM know without having the documentation? And yeah sure the LLM can look at the documentation while being used instead of it being part of the training dataset, but that's strictly inferior for practical uses, no?

I'm not sure if we're thinking of the same field of AI development. I think I'm talking about the super-autocomplete with integrated copy of all of digitalized human knowledge, while you're talking about trying to do (proto-)AGI. Is that it?
by notpushkin | 2025-07-12 06:33:23+00:00
Zed is fantastic. Just dipping my toes in agentic AI, but I was able to fix a failing test I spent maybe 15 minutes trying to untangle in a couple minutes with Zed. (It did proceed to break other tests in that file though, but I quickly reverted that.)

It is also BYOA or you can buy a subscription from Zed themselves and help them out. I currently use it with my free Copilot+ subscription (GitHub hands it out to pretty much any free/open source dev).
by selfhoster11 | 2025-07-12 06:34:07+00:00
Good. Vanishingly small is still more than zero. Over time, running such models will become easier too, as people slowly upgrade to better hardware. It's not like there aren't options for the compute-constrained either. There are lots of Chinese models in the 3-32B range, and Gemma 3 is particularly good too.

I will also point out that having three API-based providers deploying an impractically-large open-weights model beats the pants of having just one. Back in the day, this was called second-sourcing IIRC. With proprietary models, you're at the mercy of one corporation and their Kafkaesque ToS enforcement.
by hobofan | 2025-07-12 06:34:34+00:00
What surprises me is just how much they've missed the mark.

I'm not an extreme user of Cursor. It has become an essential part of my workflow, but I also probably on the lower/medium section of users. I know that a lot of my friends were spending $XXX amounts/month on extra usage with them, while I've never gone beyond 50% included premium credits usage.

After their changes I'm getting hit with throttling multiple times a day, which likely means that the same thing happens to almost every Cursor user. So that means one or more of:

- They are jacking up the prices, to squeeze out more profit, so it looks good in the VC game

- They had to jack up the prices, so that they aren't running at a loss anymore (that would be a bad indicator regarding profitability for the whole field)

- They are really incompetent about simulating/estimating the impact of their pricing decisions, which also isn't a good future indicator for their customers
Show HN: XUtil – 40+ fast, privacy-friendly developer tools (no ads, no fluff)
by RohitPModani | 2025-07-12 06:34:52+00:00
I built xutil.in, a growing collection of simple, fast, and ad-free developer utilities—all bundled into a single site. It started as a weekend project when I got tired of juggling multiple tools from random websites with slow UIs or annoying popups.

Currently includes tools like:

JSON/XML/YAML converters

JWT decoder

Hash generators (SHA-256, etc.)

Base64/ROT13 encoders

QR code generator

Timezone converter

LeetSpeak & Pig Latin translators

...and more than 25 others

Everything works client-side. No login required. No tracking. No dark patterns.

Would love feedback, feature suggestions, or tool requests. This is my attempt at a “Swiss Army knife” for devs and students who just want stuff to work.

Thanks!
by TeMPOraL | 2025-07-12 06:35:01+00:00
Fortunately LLMs are stateless thus not affected by passage of time - your context stays exactly as it was while the tool maintaining it is running.

(Prompt caches are another thing; leaving it for the night and resuming the next day will cost you a little extra on resume, if you're using models via API pay-as-you-go billing.)
by tsimionescu | 2025-07-12 06:37:16+00:00
The company I work for used to be organized like this a decade or so ago, and people who were around back then still tell horror stories that we all laugh about. Things like bug targets not being met leading to extreme bug ping-pong ("you didn't specify the phase of the moon when this crash on clicking Run reproduced, Needs Information", "this GUI control is misaligned, here are 5 bugs, one for each button that is not where it should be", endless hostile discussions on the severity of bugs and so on).

Sofwtare development and quality assurance should be tightly integrated and should work together on ensuring a good product. Passing builds over a wall of documentation is a recipe for disasters, not good quality software.
by jruohonen | 2025-07-12 06:37:40+00:00
She has some good points about writing and LLMs, including:

"Why does this matter? In my view, it matters because writing is thinking. If we are not doing our own writing, we are not doing our own thinking. The structure of your work is not an optional extra, but an articulation of your argument – your assessment of how the ideas you have come up with logically fit together."

Refs.:

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

https://news.ycombinator.com/item?id=44274525
by defrost | 2025-07-12 06:38:30+00:00
See Also:

Psilocybin treatment extends cellular lifespan, improves survival of aged mice (nature.com)

43 points | 1 day ago | 10 comments https://news.ycombinator.com/item?id=44527358

Psilocybin for major depression granted Breakthrough Therapy by FDA (newatlas.com)

1240 points | 6 years ago | 471 comments https://news.ycombinator.com/item?id=21638290

What happens when clergy take psilocybin (nautil.us)

353 points | 25 days ago | 566 comments https://news.ycombinator.com/item?id=44293610
by imiric | 2025-07-12 06:38:50+00:00
That's not always the case.

AI is often used to pump out sites and apps that scam users, SEO spam, etc. So there is definitely a revenue stream that makes scammers and grifters excited for AI. These tools have increased the scope and reach of their scams, and provide a huge boost to their productivity.

That's partly why I'm curious about OP's work. Nobody who's using these tools while following best software engineering practices would claim that they're making them that much more productive. Reviewing the generated code and fixing issues counteracts whatever time is saved by generating code. But if they're vibe coding and don't even look at the code...
by aabhay | 2025-07-12 06:39:21+00:00
Very standard yep. Sales folks are sort of trained /indoctrinated into telling white lies like that in order to get in the door. There are loads of examples of using fake momentum to close deals. If its a senior person it’s “My CEO asked me to personally reach out to you” or a fake email from the CEO forwarded by the rep. If one person at the company uses it, it’s “we’re negotiating a company wide license” or “we already have a group license with extra seats” or “one of your teammates sent us a list of priority teammates” yada yada.
by strbean | 2025-07-12 06:41:07+00:00
Sure, but

A) that's an argument against a 100% LVT, not against LVT. Some people (communists) also advocate very seriously for what is effectively a 100% income tax. That doesn't provide a good argument against income tax in general.

B) a 100% LVT would theoretically be equal to the rental value of the property each year. You as the owner would still be seeing your net worth increase. It's not like you're paying the entire value of the land as a tax each year. Such a scheme would essentially just undo all real property ownership.
by Starman_Jones | 2025-07-12 06:41:20+00:00
As a rebuttal, I offer a hacker koan: In the days when Sussman was a novice, Minsky once came to him as he sat hacking at the PDP-6.

“What are you doing?”, asked Minsky.

“I am training a randomly wired neural net to play Tic-Tac-Toe” Sussman replied.

“Why is the net wired randomly?”, asked Minsky.

“I do not want it to have any preconceptions of how to play”, Sussman said.

Minsky then shut his eyes.

“Why do you close your eyes?”, Sussman asked his teacher.

“So that the room will be empty.”

At that moment, Sussman was enlightened.
by ExoticPearTree | 2025-07-12 06:41:22+00:00
They look nice, but they can be turned on the C17 (and probably other military airplanes).

Commercial airplanes have safeguards against in-flight thrust reverser deployment. That is why they only work in tandem with the ground sensing systems - like the airplane must firmly believe both main landing gears to be physically on the ground for both reversers to be operational.
by A1kmm | 2025-07-12 06:42:52+00:00
It depends what the proof system is being used for. There are applications of ZKC that this would absolutely break.

It isn't on the exact same proving scheme broken in this research, but consider https://risczero.com/blog/zkpoex, which is about proving that you have an exploit (a program) that puts a protocol into into an unexpected state, without revealing the exploit. Imagine you had a specially crafted program that allows you to prove you have an exploit, but actually none exists, and it is just that you're computing the same hash in your program that is used in the Fiat-Shamir heuristic, and violating the assumptions of the random oracle model.
by mekpro | 2025-07-12 06:42:58+00:00
you can easily reach 50$ per day. by force switching model to opus /model opus it will continue to use opus eventhough there is a warning about approaching limit.

i found opus is significantly more capable in coding than sonnet, especcially for the task that is poorly defined, thinking mode can fulfill alot of missing detail and you just need to edit a little before let it code.
Attended Windsurf's Build Night 18 hours before founders joined Google DeepMind
by schwentkerr | 2025-07-12 06:43:14+00:00
Thursday evening: Windsurf hosted their first community build night in SF. 200 developers, live demos of Wave 10 (Planning Mode, browser integration), MCP plugin architecture, real projects built in hours.

Friday afternoon: OpenAI acquisition canceled, CEO Varun Mohan and co-founder Douglas Chen join Google DeepMind for agentic coding initiatives. The timing is remarkable. We witnessed what may have been the final public appearance of Windsurf's founding team as an independent company, completely unaware of what was coming.

The technical demos were impressive - DOM-aware browser integration, AI agents with standardized tool access via MCP, enterprise admin controls. The community energy was genuine.

Article w/ details: https://www.linkedin.com/pulse/night-day-silicon-valley-windsurfs-final-build-before-schwentker-s2dfc

Curious about HN's take on:

* The competitive dynamics - Google vs OpenAI talent acquisition

* What this means for the AI development tools space

* Whether the remaining team can maintain momentum

The pace of change in this industry continues to be extraordinary.
by tromp | 2025-07-12 06:43:21+00:00
> In the Callas Normal Form, the factors are integers p = 2^{n-1} and q = 2^{m+1}, where n ≤ m, and p and q are ideally prime, but don’t have to be.

The paper's formatting clearly went wrong here, as it should have read p = 2^n - 1 and q = 2^m + 1.

The "Proposed Quantum Factorisation Evaluation Criteria" are excellent, but for measuring progress, the required minimum factor size of 64 bits is too large. A good milestone would be a quantum circuit that can factor the product of any pair of 5-bit primes {17,19,23,29,31}.
by dlcarrier | 2025-07-12 06:44:04+00:00
Thanks for addressing this. The amount of boost added on to of bloat from most corporate software developers really does make life more difficult, for everyone.

In my experience, most individual programers have a reasonable relationship fast development and technical debt.

It's management structures that incentivize middle management to enforce fast releases cadences, with no care over the quality of the releases, that have really failed us.

I'd love to see some advice on how to deal with quantity-over-quality management styles.
by princevegeta89 | 2025-07-12 06:44:16+00:00
I replaced. My opinion: Cursor sucks as an IDE. Cursor may have a average to above average quality in IDE assistance - but the IDE seems to get in the way. It's entire performance is based on the real-time performance and latency from their servers and sometimes it is way too slow. The TAB autocomplete that was working for you in the last 30 minutes suddenly doesn't work randomly, or just experiences severe delays that it stops making sense.

Besides that, the IDE seems poorly designed - some navigation options are confusing and it makes way too many intrusive changes (ex: automatically finishing strings).

I've since gone back to VS Code - with Cline (with OpenRouter and super cheap Qwen Coder models, Windsurf FREE, Claude Code with $20 per month) and I get great mileage from all of them.
by raesene9 | 2025-07-12 06:45:10+00:00
My guess is that it's your second scenario there (avoid running at a loss). In the start-up game scale/growth is the most important thing and profits really aren't that important. you want to show to later stage VCs that your idea has traction and there's a large addressable market.

Whilst profits aren't important you also can't burn all your current capital, so if the burn rate gets too high you have to put up prices, which seems likely to be what Cursor is doing.
by radley | 2025-07-12 06:47:42+00:00
> Apple won't upgrade the storage for you aftermarket

Not only that, they won't repair devices with third-party hardware. If my Mini has an issue, I'll have to remove the new SSD and reinstall the OEM one before I drop it off. I experienced this when tried to get my 2012 MacBook Pro fixed (wet keyboard).

They did the replacement, but I learned how to do it myself, including replacing the keyboard again, another SSD upgrade, and eventually a battery upgrade.
by in_cahoots | 2025-07-12 06:47:59+00:00
Cognitive dissonance is a thing, yes. Would you also be surprised to know that some Americans smoke and don't use seatbelts?

Not every immigrant is a twenty something working on a Masters degree or working in the tech industry. Most of the Bengalis I know, especially in the NYC area, are here by sheer luck and determination moreso than formal education. The older ones have survived famine, cyclones, and literal genocide. At that point, trying to convince someone that their favorite spices or sweets that they grew up with for 40+ years may be harmful is pretty difficult.

If anything, getting to know the immigrant community has been enlightening in pointing out my own biases. It's easy to point the finger at someone else because they're a fish out of water. But put me in a different culture (or really just let time pass with the attendant changes in culture and technology) and the same thing would be true for me.
by 0_-_0 | 2025-07-12 06:48:15+00:00
Maybe as the PIC was guarding the lower end of the throttle he rested the rest of his hand on the panel cover below the throttle and, while pushing forward on the throttle, let the side of his hand slide down right onto the switches, the likeliness of which would have been exacerbated by a rough runway or a large bump. It's unlikely the left and right part of his hand would have contacted the cutoff switches at the same time, hence the delay between the two switches being actuated. Of course this relies on the safety locks not working properly, which is something that hand been reported.
by wcoenen | 2025-07-12 06:48:25+00:00
It is not just one grid operator (though some may be worse than others). Electricity demand in the US has been flat for the last 20 years[1] because all growth has been offset by efficiency gains. The same is true in Europe, e.g. Germany[2].

As a result, grid operators and lawmakers in the west have collectively forgotten how to deal with rapid growth of electricity demand.

[1] https://www.eia.gov/energyexplained/electricity/use-of-elect...

[2] https://www.statista.com/statistics/383650/consumption-of-el...
by creamyhorror | 2025-07-12 06:48:56+00:00
Interesting that higher rice content in beer "revealed buttery, vanilla and creamy notes" and "was correlated with increased levels of larger alcohol molecules, like 3-methyl-1-butanol, which contribute positively to mouthfeel without raising the alcohol content above the legal nonalcoholic beer threshold." Do those larger alcohol compounds have known downsides similar to ethanol (e.g. carcinogenicity)? I'd sure like lower-alcohol beers that pose less health risk.

Most mainstream Japanese lager is made partially from rice (in these lagers, over 1/3rd of the grain used is rice), so the flavor difference is probably already familiar to many people.
by popalchemist | 2025-07-12 06:49:10+00:00
The reason for my comment about the historicity of Los Angeles was to establish that it has its roots in an indigenous and multi-cultural understanding of its people. Quite the contrast to the way things went down with the colonies.

Whereas the random bits of historical information you are bringing up do not speak to a lasting or pervasive reality. LA is a "sanctuary city" and that is the reason it is currently being targeted by the fascists with the federal troop occupation.

Anyway you are making bad faith and low effort arguments. If you dislike the place, just admit it.

As for whether LA is magical - "Magical" is literally one of the most common words used to describe LA and SoCal in general, as in, it is part of the zeitgeist that LA is "La La Land" (meaning for better or worse, the place where creatives pursue their dreams and/or delusions).

Every detail of your comments fall apart upon close inspection.

You are not making valid arguments. You are hating. Admit it.

You are a hater.
by adrianmalacoda | 2025-07-12 06:49:33+00:00
The non-JS challenge[0] mentioned in the blog post is one based on HTTP meta refresh. The (hypothetical) WebAssembly challenge is proposed as an improvement on the existing JS proof-of-work challenge[1].

0: https://anubis.techaro.lol/docs/admin/configuration/challeng...

1: https://anubis.techaro.lol/docs/admin/configuration/challeng...
by davydm | 2025-07-12 06:50:01+00:00
Color me unsurprised. It should be common knowledge that they hallucinate and are not suitable for fields requiring accuracy. This is unlikely to change until we drop the llm and work on real agi, like Carmack is doing. Neural nets may not be the problem, but certainly this model-stuffing, combined with the mechanism it works by (token prediction, not understanding) doesn't work in any field requiring accuracy.
by octo888 | 2025-07-12 06:54:12+00:00
WalterBright is not totally unfamiliar with the aviation world...:

> Bright is the son of the United States Air Force pilot Charles D. Bright

> Bright graduated from Caltech in 1979 with a Bachelor of Science in Mechanical Engineering and a minor in Aeronautical Engineering

> He worked for Boeing for 3 years on the development of the 757 stabilizer trim system
by gkbrk | 2025-07-12 06:54:51+00:00
Once they need to stop your spending, the following has to happen

- VMs deleted, along with all the files on them

- S3 buckets emptied

- DNS queries no longer getting answered

- Databases dropped, backups deleted

This is not just something disruptive that can be fixed by spending money again. Even if you stop customer traffic, all these resources are still used and cost money.

For a professional account this is insane. And even for a student account this would be a very bad day. I'd hate for this to happen as a student, because I had a bunch of important stuff there when I was a student.
by sim7c00 | 2025-07-12 06:56:29+00:00
you either need whitelisting, which ppl dont want because they need to send tweets and sync gdrive on their corpo laptops ;')...

so i guess that leaves u with modeling normal user behavior to spot anomalies without the actual packet data being an indicator.

then the bots could piggyback on regular coms still, but it'd definitely raise the bar...
by 0_-_0 | 2025-07-12 06:56:50+00:00
According to AI, Airbus places these switches on the overhead panel, so that alone would make it harder to inadvertently move them. Apparently, Airbus "protections do not extend to mechanical or FADEC‑controlled systems like the engine‑fuel shutoff valves. If you deliberately pull and flip the ENG MASTER lever to OFF, the FADEC will immediately close the LP and HP fuel valves and the engine will flame out. If you then return the lever to RUN (and you meet relight conditions), it will automatically relight."
by overfeed | 2025-07-12 06:57:33+00:00
> If all it takes to gain access to a thing is knowing the identifier of that thing, you've blown it in a huge way.

Defense in depth is a thing, so even if you make a mistake in one place, and the attacker gets complete access - as what happened with the McApplicaton here - they won't be able to download your entire db within minutes. Even with zero authentication, non-guessable identifiers will slow down the exfiltration by several factors from dozens/hundreds of records per second to one record per $MANY_DAYS, with lots of 404s for the defenders to look at.

> That means you'll probably leak them, expose them, or other folks will collect them (often incidentally via things like system logs)

The additional friction of acquiring the UUIDs from a different channel is beneficial to defenders, compared to decrementing or incrementing IDs, which is trivial to do, and doesn't need RCE. It's the difference between "All users' data was exfiltrated" and "Only a couple/handful of accounts were affected", and this can make or break the breached company.
by adrian_b | 2025-07-12 06:58:27+00:00
I agree that few have been affected, but this has demonstrated gross incompetence of Apple, unless it had been an intentional backdoor, which would be even worse.

The fact that Apple keeps secret many technical details of their CPUs, like the existence of those hardware test registers, does not improve the security of their devices, but it weakens the security considerably.

Because of the Apple secrecy policy, the existence of the backdoor has been known and exploited by very few, but the same secrecy has enabled those few to spy on any interesting target for several years, without being discovered.

Had the test registers been documented, someone would have noticed quickly that they are accessible when they should not be, and the vulnerabilities would have been patched by Apple a few years earlier.