MurphyA/hacker-news huggingface dataset:
by kypro | 2025-07-14 02:49:54+00:00
It could be true, the primary issue here is that it's the wrong metric. I mean you could write 100% of your code with AI if you were basically telling it exactly what to write...

If we assume it isn't a lie, then given current AI capabilities we should assume that AI isn't being used in a maximally efficient way.

However, developer efficiency isn't the only metric a company like Anthropic would care about, after all they're trying to build the best coding assistant with Claude Code. So for them understanding the failure cases, and the prompting need to recover from those failures is likely more important than just lines of code their developers are producing per hour.

So my guess (assuming the claim is true) is that Anthropic are forcing their employees to use Claude Code to write as much code as possible to collect data on how to improve it.
by abrookewood | 2025-07-14 02:51:04+00:00
I agree with you that I would learn more - without any doubt. But there is no way that the second part (the achievement) stacks up. Over the weekend, I deployed a .Net Core API application, developed on Ubuntu and deployed on Windows Server Core, that includes a detailed test suite, full swagger documentation and which works exactly as I had hoped. Up to that point, I had never touched .Net Core, nor Windows Server Core. There is literally no way I would have been able to do that without the assistance of AI agents. Maybe you could, but I couldn't.
by 999900000999 | 2025-07-14 02:51:59+00:00
>Earlier this year, Indonesia’s Attorney General announced an investigation into why authorities chose Chromebooks as client devices when a pilot of the machines pointed out they’re not useful without reliable internet connections – a situation that’s common across Indonesia.

If the laptops are already brought you can always install Linux and get a real system out of it.

You have to hand it to Google though, they invented a market Microsoft should of been able to lock down.
by energy123 | 2025-07-14 02:52:22+00:00
> this is a better solution

Public housing is very good, but I want to encourage a mindset shift. There are many plausible housing policies, and they are not in competition with each other. We should have public housing and we should follow the neoliberal abundance agenda and we should implement a LVT and we should do many other things. None of these policies somehow makes it difficult to implement the others. There's no tension. If anything they work in harmony. A LVT can be used to fund public housing, and neoliberal deregulations will also assist in making public housing cheaper for the taxpayer in terms of land use efficiency. If we care about housing, we need to get over these factional battles that only serve the landowning class.
by mdaniel | 2025-07-14 02:52:55+00:00
I would argue intellisense is far closer to a select statement than "ai" anything. What could come after myString.s is <<select method_name from all_methods where type_name = 'String' and method_name like '%s%'>> where some IDEs prefer <<like 's%'>> and others the <<contains>> style

IJ does some truly stellar introspection to offer sane defaults in the current completion context, such as offering only variables of the correct type for parameters but I think of that as discipline and not AI. Plus, IJ never once made up an API that didn't exist
by defrost | 2025-07-14 02:53:54+00:00
There's evidence, large investigations, and arrests aplenty already.

Justice Department Announces Coordinated, Nationwide Actions to Combat North Korean Remote Information Technology Workers’ Illicit Revenue Generation Schemes (justice.gov)

https://www.justice.gov/opa/pr/justice-department-announces-...

(12 days ago) https://news.ycombinator.com/item?id=44431853

Law Enforcement Actions Across 16 States Result in Charges, Arrest, and Seizures of 29 Financial Accounts, 21 Fraudulent Websites, and Approximately 200 Computers

..

Today, the United States Attorney’s Office for the District of Massachusetts and the National Security Division announced the arrest of U.S. national Zhenxing “Danny” Wang of New Jersey pursuant to a five-count indictment. The indictment describes a multi-year fraud scheme by Wang and his co-conspirators to obtain remote IT work with U.S. companies that generated more than $5 million in revenue.
by ath92 | 2025-07-14 02:55:26+00:00
Couldn’t the browser garbage collect the promises (and their callbacks) that have been rejected or resolved? I.e. effectively “shift” the promises at the start of the queue that have been dealt with and will never be relevant again?

At least this stackoverflow answer suggests the handlers are GC’ed: https://stackoverflow.com/questions/79448475/are-promise-han...
by ashton314 | 2025-07-14 02:55:29+00:00
> The value of a note is directly proportional to the number of times it is visited.

That’s an easy thing to measure, but that doesn’t make it a good measure.

A note is valuable when it aids your thinking, problem solving, recall, etc. How many times you visit it is irrelevant. Some of my most valuable notes were ones I visited once or twice. Some were valuable because I just wrote it down; that was enough to aid my memory or thinking.

Proxy metrics are more harmful than the worst data-hoarding habits. See: JIRA
by anonnon | 2025-07-14 02:55:54+00:00
> heart procedures

Do you have AFib, by any chance? Congratulations on your streak, regardless.

EDIT: in another comment, you mentioned:

> I needed a cardiac ablation a couple of years ago

So I guess that's a yes? Was that when you were averaging 5.3 miles daily that one year? For those unaware, there's a well-established link between excessive endurance exercise and AFib.
by dietr1ch | 2025-07-14 02:56:07+00:00
If it's so important, then my take is that the government should step in and make sure it happens and in some orderly way.

Cost cutting in my town for profits that go away just drains the local's pockets. If you want free market rules to apply, then profits going out of the town/city should be taxed harder to promote local businesses and community.
by 90s_dev | 2025-07-14 03:00:45+00:00
I came across this trick a few months ago when I was dealing with what seemed to be a race condition from a chrome-only API, and I just felt so clever! I don't remember though whether the race condition actually was one or not though, and I eventually had to rip that entire class out of my codebase. But it's such a good feeling to know I came up with a solution that clever all by myself.
by IgorPartola | 2025-07-14 03:01:51+00:00
You know this makes a ton of sense and why his writing is so compelling. We experience the “vibe” of a world, not the technical details. And I am saying this as someone who came into Sci-Fi from Heinlein who to a fault focused on the technical. I think the moment you get into the mathematics of anything it starts feeling more mundane. But perceiving a different reality by how it feels is what we do as children and that’s why it’s such a magical feeling.

One of my pastimes is finding more plot holes in Harry Potter and one of the canonical ones is why do they deliver mail by owl? They have the ability to instantly teleport using several different methods. They have telepathy. Why owls? But owls are just really cool as mail carriers and no other reason is needed. I am sure to a wizard, reading those novels would range from boring to infuriating but if you aren’t a wizard, the setting is compelling (even if the plot and the author are not).
by esperent | 2025-07-14 03:02:30+00:00
Performative environmentalism, standard operating procedure for every big company. Shift the blame onto the consumer, make them feel guilty because they set their screen timeout to to more than 5 minutes. Gamification is a great tool for making people feel pressured and guilty but with plausible deniability for the company.

Meanwhile, build database centers at incredible scale to run AI and force it into those same consumers in every way possible, but never tell them how much power that wastes.
by jack00781 | 2025-07-14 03:02:45+00:00
Dear Developers and Creators,

Unlock the limitless possibilities of AI creation! CQTAI (cqtai.com) is now officially live, providing efficient and reliable AI generation API services for your projects, turning creative ideas into reality.

Core Services GPT-4o Image Generation API - ¥0.06/call High-quality image generation with rapid response

VEO3 Video Generation API - ¥4/call Cutting-edge video generation technology, professional quality

Pika Video Generation API - ¥0.64/call Flexible video creation, cost-effective solution

Pixverse Video Creation API - ¥0.4/call Creative video production, easy to use

Why Choose CQTAI? Stable & Reliable: 99.9% service availability guarantee

Transparent Pricing: Pay-per-use with no hidden fees

Developer-Friendly: Complete documentation, quick integration

Technical Support: Professional team with timely response

Get Started Now Visit cqtai.com to experience the new way of AI creation and begin your intelligent creative journey!

Contact Us WeChat: cqtaicom

Telegram: cqtaicom

Website: cqtai.com

Looking forward to partnering with you to create the future of AI applications!

CQTAI Team
by Kapura | 2025-07-14 03:03:14+00:00
I am not sure what point you're trying to make here; none of the games you mentioned contain the famous "arrow to the knee" line.

Dwarf Fortress, in fact, shows just how much is possible by committing to deep systemic synthesis. Without souped-up chatbots Dwarf Fortress creates emergent stories about cats who tread in beer and cause the downfall of a fortress, or allow players to define their own objectives and solutions, like flooding a valley full of murderous elephants with lava.

My original point is that papering over important affordances with AI slop may actually work against the goals of the game. If they were good and fun, there is no reason a company like Microsoft couldn't have added the technology to Starfield.
by MBCook | 2025-07-14 03:04:38+00:00
As I said in another comment, there may be situations I’m not thinking of where this would be beneficial. For example buying up extremely dilapidated properties and flipping them for much more money after fixing them up.

So I guess I’m a little cautious about just making it flat out illegal. I don’t know enough about the market to know if that would really be a problem.

So I suggested a tax high enough to make it extremely undesirable to do. I figure the net effect will be to stop it.
by 3rdDeviation | 2025-07-14 03:06:02+00:00
You could go the other direction -increasing the borrowing cost of purchasing a home for investment to ensure that borrowers with less capital can still afford homes in the same market.

As a hypothetical, you could tax their purchase at the same rate at which they're borrowing and use the funds to back loan guarantees for new/lower income purchasers.

The point is to impair the ROI for multi-home purchasers without limiting upside in the market.
by ar207 | 2025-07-14 03:06:20+00:00
Location: Calgary, Canada Remote: yes Willing to relocate: EU Technologies: QA Engineer with DevOps Focus | AWS Cloud | Linux | Python | QA Automation | System Monitoring Résumé/CV: https://www.linkedin.com/in/oleksii-r-5396314/ Email: alexey.rokhmanov@gmail.com
by grg0 | 2025-07-14 03:07:43+00:00
It's neither. al is the lower 8 bits of ax (ah the higher 8 bits). ax is the lower 16 bits of eax. eax the lower 32 bits of rax.

Here's the AMD manual: https://docs.amd.com/v/u/en-US/40332-PUB_4.08
by bz_bz_bz | 2025-07-14 03:08:44+00:00
I once dined at a Michelin starred restaurant that ended the meal with a surprise for us that made me feel that they must have had listening devices in the establishment (it was based on a comment made when no server was around). In the moment, I was very impressed (and figured maybe it was a common thing in eastern bloc countries lol), but I could definitely see how others would find it creepy.

Edit: removed Bear comment as I misread the article.
by NetRunnerSu | 2025-07-14 03:08:52+00:00
I use LLM to do the final rendering. It is mainly to unify the language style and ensure smooth semantics. After working with models for a long time, my own language expression skills have been affected and become somewhat fragmented. Use it to make sure that what I say is more human-like than a string of prompts.

Regardless of the text, formulas and codes are the final proof. Stay tuned for more explorations from us.

https://github.com/orgs/dmf-archive/repositories
by micah94 | 2025-07-14 03:10:32+00:00
I think like they said, it's people. The JWST has "17 different modes" (yeah, I wish I knew what that meant exactly), but it sounds complicated. For all our tech, the bottom line is it requires humans to calibrate this thing and keep it that way (or one of 17 different ways) depending on the science that needs done.
by cdf | 2025-07-14 03:11:11+00:00
The unspoken part is the human mind is a big part in health, and treatments that does nothing medically but fools the human mind can work wonders too. There is a lot we do not understand yet, just as blood letting was conventional medicine a few hundred years ago, and it isnt even entirely wrong since we still use leeches and some treatment, I think we have much to gain if we are not hasty in dismissing alternative approaches.

That said, I fully agree homeopathy and chiropractherapy are full of bullshit and potentially dangerous. TCM, as practiced in a certified scholarly environment in Asia, expects the practitioner to have a considerable basic knowledge in modern medicine too, and is humble enough to acknowledge TCM cannot solve everything. A good TCM practitioner will refer you to a GP when they know modern medicine is more effective.
by BeauNer | 2025-07-14 03:11:21+00:00
Tesla was founded in 2003 by Martin Eberhard and Marc Tarpenning. Elon Musk joined in 2004 as an investor, then became chairman. After a lawsuit in 2009, he was legally granted the title of co-founder, which shifted public perception.

Most people now believe Musk started the company, despite clear documentation showing otherwise. This post breaks down the timeline and how the narrative changed: https://nerds.xyz/2025/07/elon-musk-did-not-found-tesla

Would love to hear how others view the difference between legal co-founder status and historical fact, especially in tech startup culture.
by woodruffw | 2025-07-14 03:12:04+00:00
This is effectively a special calling convention: Zig expects you to pass in a "token" object that communicates a kind of effect (I/O in this case). No token, no effect (modulo a soundness hole).

This is not a new pattern, and I think it's a pretty good one (and is arguably more ergonomic and general than syntax-level effects). But it's quintessential function coloring.
by __turbobrew__ | 2025-07-14 03:12:31+00:00
When you exercise try to stay in heartrate zone 2/3. This may mean walking up a hill as many people cannot start running and keep their heart rate down. Many who try to run get discouraged as they go too hard and blow up their heartrate which makes for a unpleasant experience.

Over time the speed and duration you can run will get better but your heart rate will stay the same.

I would recommend trail running as it is much more dynamic and you are less likely to get overuse injuries like people who run on concrete for many miles get stress fractures. Bonus points you get out in nature.
by MBCook | 2025-07-14 03:12:32+00:00
I agree with you. But let’s just say the comment you’re replying to is correct. They’ll pass it on to their renters.

Ok. Good.

That’s why we have to make it high enough. If you put a 10% tax on them they’ll just raise rents 10% (or more). I agree.

If you put a 75% tax on them, they’ll have to charge so much money that they’ll have a very hard time getting renters at all. Pretty soon that property is useless to an investor, but can be sold to a normal person and work just fine.

—

My suggestion was actually designed for just buying houses in hopes of reselling them. Buying them for rentals had not occurred to me, but I do know that’s a very common thing. It should have.

If the tax is high enough that you can’t make the business case work out, they won’t do it. And since it doesn’t apply to home owners on a primary residence that house is still perfectly good for anyone who would like to live there.
by keeda | 2025-07-14 03:12:33+00:00
> There are far too many problem domains that are beyond the capability of humans to solve to call human intelligence general intelligence.

I'm curious about this. Is that simply not a limitation of our current knowledgebase? That is, as we figure out more about reality, we will eventually conquer those domains as well.

Or do you mean there are domains that are provably beyond the structural capability of our brains? For instance, abstract things like higher-dimensional geometry or number theory which is hard for people to visualize "natively" in their brains. Yet people regularly solve problems in those types of fields. Sure, we rely on tools like computers or pen and paper, but we do solve those problems.

Similarly, take your point about pancreas: sure, our brains cannot do the things it does, that is simply due to lack of the requisite "actuators" connecting our brains to the organ, an artifact of our evolution. But we do understand a lot of the biological mechanisms involved in its operation, enough to treat related problems, again through "tools" like medication and surgery. As we learn more about how they work, that increasingly becomes a problem domain our brains are "capable of solving."

As such, I don't see how these examples show that the brain is not "generally intelligent", unless you exclude tool use, which to me seems like incorrectly conflating cognition and action.
by esperent | 2025-07-14 03:12:36+00:00
> Anyone who wants to start a new food delivery app is still free to do so, as long as they can find funding.

This argument is meaningless because you can always make it. There's a quasi-monopoly? Yeah but you're still allowed to make a new company so it's not really a problem is it? You'll fail, unless you're backed by even more powerful venture capital, but I don't care about that because I get to keep making the argument that it's a free market.

The reality is that the only way you can compete in this market is to already be a billion dollar company, or have the backing of one. That's not a free market by any reasonable definition.

What it is, is a clear case of technofeudalism.
by lmm | 2025-07-14 03:12:45+00:00
> "Monopoly" used to mean a single company controlling a market. Now folks are now hollering "monopoly" about five different companies competing and collectively capturing 90% of a market?

Five companies controlling 90% of the market is more than enough to form a cartel or spontaneously self-organise in ways that have the same effect even without explicitly coordinating. (I once read an economics paper that I wish I could find now that said this would happen when the top 4 companies in an industry controlled more than 60% of the market)
by bravesoul2 | 2025-07-14 03:13:10+00:00
All technology had blind spots. I think Rust might be async IO DX but that's based on what I read.

I'd probably rather build some things (most things) in JS than Rust. It has GC and let's me focus more on the business problem. But id even more prefer Go Java or C#. But I'm a microservice monkey so ymmv.
by wunused | 2025-07-14 03:13:27+00:00
In a 64 bit register, e.g., RAX, AL refers to the lowest 8 bits [0-7] and AH refers to the next 8 bits [8-15].

Together, AX refers to bits [0-15]. EAX refers to [0-31].

It's counterintuitive (or at least, inconsistent) that we have a name for bits [8-15] but not for [16-31] or [32-63]. My fuzzy understanding is that this came about from legacy decisions.

This page has a helpful visualization at the top: https://www.cs.uaf.edu/2017/fall/cs301/lecture/09_11_registe...
by toddmorey | 2025-07-14 03:14:17+00:00
The Warp terminal[1] is excellent for this type of thing. In agent mode, you just describe what you want to have happen and it generates the proper command(s) (that you can approve before running).

I use it a lot to convert videos and turn a folder of tiff files into pngs at 1/2 size, etc. It's great at generating FFMEG commands and chaining the right tools together.

[1] https://www.warp.dev
by EvgeniyZh | 2025-07-14 03:14:21+00:00
But that's the intended outcome, isn't it? The proposal is to increase supply of housing for sale by decreasing of supply of housing to rent.

The cost of investment increases, so to keep the profits investors increase the rent, less people can afford it so the demand for rent decreases and investors sell houses. The supply of housing increases (I agree this is quite convoluted way to increase housing supply) and prices drop. Top cohort of renters can now afford to buy a house, and the bottom cohort is... fucked?
by aspenmayer | 2025-07-14 03:14:27+00:00
That’s a great point, thanks for drawing attention to it.

https://old.reddit.com/r/zizek/comments/12ythaq/where_does_z...

Especially the YouTube link where Zizek speaks to this point:

https://www.youtube.com/watch?v=7XSe69vAqns

Zizek is a pragmatist in his leftism. If pulling the lever results in future where people can have a role in their government, it sucks that we find ourselves in a trolley problem, but that’s reality. Most leftists don’t even have a seat at the table or the ear of one who does, so I don’t find him responsible for having a leftist agenda when advising folks with the willingness and capacity to pull the lever. Even the ones pulling the lever didn’t themselves drop the bombs. The diffusion of responsibility absolves the soldier who sees no moral quandary, but not the philosopher who does? If anything, Zizek is honest about his reasoning, and focusing on outcomes. You can blame him for arguing for any outcome that resulted in violence or loss of life or limb, and I think he wouldn’t reject that being laid at his feet. However, he wasn’t the one slouching towards Bethlehem. He’s perhaps complicit like Lando Calrissian was, but Lando fought for the rebels all the same.
by vinhatson | 2025-07-14 03:15:42+00:00
After experimenting with AI for a while, it’s clear that AI cannot replace humans. AI mod- els are built vertically, meaning they optimize based on mathematical formulas (specifi- cally derivatives) to find the most resource-efficient solution, rather than horizontally as initially thought. Instead of covering all possible combinations of scenarios for n elements, AI plays a game of filling in the blanks using derivative-based formulas to find the most optimal, semantically coherent answer. This applies not only to everyday tasks but also to scientific contexts. As a result, humans gain experience through trial and error, while AI does not.
by rramadass | 2025-07-14 03:16:18+00:00
PLT is an interdisciplinary field and as such needs a study of various logical/mathematical/language areas. Even wikipedia is pretty bad at explaining what it is - https://en.wikipedia.org/wiki/Programming_language_theory.

The research community has failed the "ordinary" interested programmer wanting to learn PLT by not producing an overview/top-down book which brings together the various strands of needed knowledge into a coherent whole. Pierce/Harper/etc's books are simply overwhelming for a beginner without the requisite background knowledge.

PLT approaches the idea of Computation from a formal system (i.e. language) pov and that is what needs to be communicated with the needed logical/mathematical knowledge inline. I have found the following useful in my study of PLT;

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach by Ken Slonneger and Barry Kurtz - https://homepage.divms.uiowa.edu/~slonnegr/ and https://homepage.divms.uiowa.edu/~slonnegr/plf/Book/

Understanding Formal Methods by Jean-Francois Monin.