MurphyA/hacker-news huggingface dataset:
by aureianimus | 2025-10-25 05:30:25+00:00
All the good resources are listed here: https://lean-lang.org/learn/

I recommend the natural number game (also mentioned above) for a casual introduction to the mathematics side, just to get a feeling.

If you are serious about learning lean, I recommend Functional Programming in Lean for learning it as a programming language and Theorem Proving in Lean for learning it as a proof assistant
by rkomorn | 2025-10-25 05:31:30+00:00
I learned about this recently, myself, and was surprised and ended up looking into it.

I read that the anesthesiologist is the person responsible for the patient during the surgery.

Apparently their role is:

- Provide continual medical assessment of the patient

- Monitor and control the patient’s vital life functions, including heart rate and rhythm, breathing, blood pressure, body temperature and body fluid balance

- Control the patient’s pain and level of consciousness to make conditions ideal for a safe and successful surgery

The gist I got from the other things I've read is that the anesthesiologist also has the most go/no-go responsibility before and during surgery.

Source: https://www.medschool.umaryland.edu/anesthesiology/patient-i...

Edit: I recommend reading more about the anesthesiologist's role. I found it interesting even as an entirely casual observer.
by alexpetros | 2025-10-25 05:31:33+00:00
> I worked for a company that was all hateoas. In the formal sense, explicitly structured around the concept, not the sense that html has both data and actions via links, it worked, it was a real product, but it was slow and terrible to develop and debug.

The web is also a real product, one that's (when not bloated with adtech) capable of being fast and easy to develop on. That other people have tried to do HATEOAS and failed to make it nice is part of why it's so useful to acknowledge as valid the one implementation that has wildly succeeded.
by deaux | 2025-10-25 05:31:57+00:00
In large parts of the world, the iOS and Android revenue share are roughly 50/50 with the higher $/user of iOS and the higher market share of Android cancelling each other out. And that means everyone makes hybrid apps unless they're in a niche where that's impossible, which is rare. Only if they become very successful or raise massive funding (for that country), then they might switch to two native apps.
by lrvick | 2025-10-25 05:33:50+00:00
> The reality is that you will be unlikely to compete with people who use these tools effectively.

If you looked me or my work up, I think you would likely feel embarrassed by this statement. I have a number of world firsts under my belt that AI would have been unable to meaningfully help with.

It is also unlikely I would have every developed the skill to do any of that aside from doing everything the hard way.
by 7839284023 | 2025-10-25 05:34:39+00:00
I recently bought a thermal ESC/POS printer for 25 Euros on Aliexpress but I saw the sames ones for 30 Euro on Amazon.

I connected it to my linux server and without any drivers I can print with e.g.: `echo "Hello World!" >> /dev/usb/lp0`.

It also supports bar/QR codes.
by jdlshore | 2025-10-25 05:37:33+00:00
VP of Eng here. If we take your statements at face value, your manager isn’t doing his job. Toxic employees are death to companies and it’s management’s job to get rid of them. (After attempting to address the issue. But my experience is that toxics are gonna toxic. Don’t coddle them.)

If you’re willing to lightly scorch some bridges, talk to your skip-level manager. If that doesn’t work, or you don’t want to, your best option is to go work for a decent manager, either at the same company or another one. Life’s too short, and you’re not going to be able to fix the toxic employee.

In other words, get someone who can help, or get out. Take your friends with you.
by viccis | 2025-10-25 05:37:38+00:00
I think it depends on the complexity of the knowledge to be created. I agree with you broadly, but the danger of using your boxing analogy is that for game systems that can be sufficiently understood, AI has actually invented new strategies. TD-Gammon introduced new advances in the strategy of playing backgammon because its very strong understanding of early gameplay meant that it found some opening moves that humans didn't realize were as strong as they were.

I would argue that the only truly new things generative AI has introduced are mostly just byproducts of how the systems are built. The "AI style" of visual models, the ChatGPT authorial voice, etc., are all "new", but they are still just the result of regurgitating human created data and the novelty is an artifact of the model's competence or lack thereof.

There has not been, at least to my knowledge, a truly novel style of art, music, poetry, etc. created by an AI. All human advancements in those areas build mostly off of previous peoples' work, but there's enough of a spark of human intellect that they can still make unique advancements. All of these advancements are contingent rather than inevitable, so I'm not asking that an LLM, trained on nothing but visual art from the Medieval times and before, could recreate Impressionism. But I don't think it would make anything the progresses past or diverges from Medieval and pre-Medieval art styles. I don't think an LLM with no examples of or references to anything written before 1700 would ever produce poetry that looked like Ezra Pound's writing, though it just might make its own Finnegan's Wake if the temperature parameter were turned out high enough.

And how could it? It works because there's enough written data that questions and context around the questions are generally close enough to previously seen data that the minor change in the question will be matched by a commensurate change in the correct response from the ones in the data. That's all a posteriori!
by somat | 2025-10-25 05:38:57+00:00
I don't really know, I am currently farting around with blender trying to see, but that is far from rigorous. and going poorly. but let me explain my thought process.

Note the egg shape in the article. specifically the widest band around the equator. now imagine one passing straight down through the other. one edge ring would pass through the shadow if it has a slight rotation offset but it is blocked by the next edge ring up, which could also fit but requires a different offset, so if you could change that rotational offset while it is passing through would it fit?
by C6JEsQeQa5fCjE | 2025-10-25 05:39:17+00:00
> [...] then what work is this phrase even doing? Why does anyone even say it?

Most people are far more emotional than logical (possibly as a consequence of a lack of basic education in logic). They are not precise with their language, and they are not logically consistent in their words and actions. A lot of them (most?) tend to say things that make them feel good, or that they aspire towards, not things that are actually true. It's not even a conscious choice to lie, they're too used to being like that, and there isn't enough peer pressure to change since most people are like that, too.

A technical person on the spectrum should consider most people inherently "bugged" and treat all their outputs as unreliable.
by cassettelabs | 2025-10-25 05:40:10+00:00
Congrats on the launch, that looks really cool!

I had an idea to build a restricted zones for a phone. For example, I can't take my phone to bed, so I wanted to create a esp32 based project that beeps when the phone is too close to some areas. I made it based on BLE, but iphone masks MAC addresses, so it was impossible to track particular devices. No I realize, I could actually do it with WIFI signal straight. How I didn't think about it. Will try again today :D
by tsimionescu | 2025-10-25 05:40:31+00:00
The Web is not only true HATEOAS, it is in fact the motivating example for HATEOAS. Roy Fielding's paper that introduced the concept is exactly about the web, REST and HATEOAS are the architecture patterns that he introduces primarily to guide the design of HTTP for the WWW.

The concept of a HATEOAS API is also very simple: the API is defined by a communication protocol, 1 endpoint, and a series of well-defined media types. For a website, the protocol is HTTP, that 1 endpoint is /index.html, and the media types are text/html, application/javascript, image/jpeg, application/json and all of the others.

The purpose of this system is to allow the creation of clients and servers completely independently of each other, and to allow the protocols to evolve independently in subsets of clients and servers without losing interoperability. This is perfectly achieved on the web, to an almost incredible degree. There has never been, at least not in the last decades, a big where, say, Firefox can't correctly display pages severed by Microsoft IIS: every browser really works with every web server, and no browser or server dev even feels a great need to explicitly test against the others.
by bsder | 2025-10-25 05:42:18+00:00
Even as someone who doesn't mind writing in C, I would absolutely flag that function as way, way, way, way too terse for no good reason.

The code gets ridiculously easier to read if you write src[0] and src[1] instead of (*src) and (*(src+1)). And, as a bonus, the precedence problem disappears.

I really don't understand people why write C code like the original code. It's just asking for a bug.
by strbean | 2025-10-25 05:42:28+00:00
Well, you have to sanitize for the transport medium, otherwise you can't sanitize at all afterwards. But if I'm sending user content in JSON and I didn't sanitize it for insertion into HTML, what man in the middle is going to be compromised? Furthermore, how can I possibly protect an unknown intermediary without knowing what it is going to do with it?

Maybe it is going to try to copy a value into a 20 char buffer, I don't know!
by wakawaka28 | 2025-10-25 05:45:06+00:00
Not really: 1 Samuel 15 starts like this:

"Samuel said to Saul, “I am the one the Lord sent to anoint you king over his people Israel; so listen now to the message from the Lord. 2 This is what the Lord Almighty says: ‘I will punish the Amalekites for what they did to Israel when they waylaid them as they came up from Egypt. 3 Now go, attack the Amalekites and totally destroy[a] all that belongs to them. Do not spare them; put to death men and women, children and infants, cattle and sheep, camels and donkeys.’”"

Later on it says that he was not happy with the outcome because they didn't kill all the livestock and people... Of course this is a work of mythology, but the message clearly isn't that the Israelites should go and loot from these people.
by SamPatt | 2025-10-25 05:45:06+00:00
100% agree

I've used Linux as my daily driver for well over a decade now, but there were quite a few times where I almost gave up.

I knew I could always fix any problem if I was willing to devote the time, but that isn't a trivial investment!

Now with these AI tools, they can diagnose, explain, and fix issues in minutes. My system is more customized than ever before, and I'm not afraid to try out new tools.

True for more than just Linux too. It's a godsend for homelab stuff.
by safety1st | 2025-10-25 05:45:52+00:00
Is that a weakness of the tool's organizational model?

I don't want to be part of a community around my cloud storage. I want it to work and I want to think about it as little as possible.

I use Syncthing and it does a pretty great job at this, no one ever insisted I need to join a Syncthing community, yet it keeps on working.

I don't pay a dime for Syncthing but I'm vaguely aware that they're linked to a company called Kastelo which provides enterprise support for Syncthing deployments. Probably a lot of Syncthing development is paid for that way.

Incidentally I founded an open source consulting company that's totally unrelated to cloud storage. We have enterprise as well as smaller contracts. We develop some addons in-house and the bigger enterprise contracts tend to subsidize most of the work that goes into them. We haven't asked anyone to be part of a community and I don't think we need to.

Communities are nice, but if you want your software to last I think a good business model and a good marketing strategy are a better bet. Bonus, you can quit your day job.
by Foobar8568 | 2025-10-25 05:48:06+00:00
https://learn.microsoft.com/en-us/sql/t-sql/statements/bulk-...

That's one way, another was BCP.

But yeah if you are using python and loading row by row, or a large amount into a large table that has a clustered index, chances are that it'll be dead slow but that's expected.
by h4ch1 | 2025-10-25 05:48:11+00:00
Been using Microsoft Edit [0] for a good while on my Mac (the homebrew formula got merged recently [1])

No syntax highlighting, but I love it for taking notes and maintaining my .plan files. The simple TUI interface is oddly calming

[0] https://github.com/microsoft/edit

[1] https://github.com/Homebrew/homebrew-core/pull/225837
by bolangi | 2025-10-25 05:49:25+00:00
Without actually reading the book, it appears the author asserts that a large component of human intelligence can be reproduced by AI, and perhaps the chaotic interactions that underpin human intelligence, also allow nonliving systems such as AI farms to express intelligent behavior.

What he would like people to believe is that AI is real intelligence, for some value of real.

Even without AI, computers can be programmed for a purpose, and appear to exhibit intelligence. And mechanical systems, such as the governor of a lawnmower engine, seem able to seek a goal they are set for.

What AI models have in common with human and animal learning is having a history which forms the basis for a response. For humans, our sensory motor history, with its emotional associations, is an embodied context out of which creative responses derive.

There is no attempt to recreate such learning in AI. And by missing out on embodied existence, AI can hardly be claimed as being on the same order as human or animal intelligence.

To understand the origin of human intelligence, a good starting point would be, Ester Thelen's book[0], "A Dynamic Systems Approach to the Development of Cognition and Action" (also MIT Press, btw.)

According to Thelen, there is no privileged component with prior knowledge of the end state of an infant's development, no genetic program that their life is executing. Instead, there is a process of trial and error that develops the associations between senses and muscular manipulation that organize complex actions like reaching.

If anything, it is caregivers in the family system that knowledge of an end result resides: if something isn't going right with the baby, if she not able to breastfeed within a few days of birth (a learned behavior) or not able to roll over by themselves at 9 months, they will be ones to seek help.

In my opinion, it is in the caring arts, investing time in our children's development and education, that advances us as a civilization, although there is now a separate track, the advances in computers and technology, that often serves as a proxy for improving our culture and humanity, easier to measure, easier to allocate funds, than for the squishy human culture of attentive parenting, teaching and caregiving.

[0] https://www.amazon.com/Approach-Development-Cognition-Cognit...
by tsimionescu | 2025-10-25 05:50:26+00:00
I think you are confusing the browser with the web page. You probably think that the Javascript code executed by your browser is part of the "client" in the REST architecture - which is simply not what we're talking about. When analyzing the WWW, the REST API interface is the interface between the web browser and the web server, i.e. the interface between, say, Safari and Apache. The web browser accesses a single endpoint on the server with no prior knowledge of what that endpoint represents, downloads a file from the server, analyzes the Content-Type, and can show the user what the server intends to show based on that Content-Type. The fact that one of these content types is a language for running server-controlled code doesn't influence this one bit.

The only thing that would have made the web not conform to HATEOAS were if browsers had to have code that's specific to, say, google.com, or maybe to Apache servers. The only example of anything like this on the modern web is the special log in integrations that Microsoft and Google added for their own web properties - that is indeed a break of the HATEOAS paradigm.
by ChrisArchitect | 2025-10-25 05:50:41+00:00
Some more pics and things: https://about.nike.com/en/newsroom/releases/nike-project-amp... (https://news.ycombinator.com/item?id=45683287)

Related:

Nike's plans to put the swoosh back into its sales

https://www.theguardian.com/sport/2025/oct/23/just-redo-it-i...
by glxxyz | 2025-10-25 05:50:43+00:00
Yes the figures are my approximate bills so include net metering revenues.

You're right about the 8 year negative IRR for the heatpump, although I'm being very conservative about propane costs, it's likely much shorter. I was pretty conservative about the solar savings too, I generally go for the worst case in these estimates.

Your overall NPV calculation seems a bit off. It's ~21 years to zero NPV at 8% discount rate, spending $80 up front to save $8/year. Factoring in the 10 year interest free government solar loan makes it more like 14 years. My working:

=nper(8%, -8, 80) 20.9 =nper(8%, -8, pv(8%, 10, -4)+40) 14.3

The solar system is fun to tinker with and should pay off 'eventually', it's not a no brainer of a decision like the heatpump though.
by bruce511 | 2025-10-25 05:52:34+00:00
I urge you to consider how this will be financially supported before you begin.

You imply you'll burn through your savings for a couple years, then worry about financial support.

This is a huge red flag for me, and would strongly lead me away from using this project. Because it tells me this is a short-term effort which will die in a couple years.

MassTransit is going commercial because the offering has value, which (some) people are prepared to pay for. The people who aren't prepared to pay them are also not prepared to pay you.

Now, if you want to spend your savings and 2 years of your life making [name-redacted] 8.1 then go for it. But make no mistake, in 2 years you'll be back on the market looking for a job.

Coding is the easy part. Getting funded is the hard part. Do the hard part first, and you'll do the easy part for decades.

By all means build a community, but figure out how that community will fund your time. If the can't, or won't, then you're really not offering anything of value.

Good luck.
by tsimionescu | 2025-10-25 05:53:47+00:00
I really don't get what you're confused about. Yes, the existence of the API is good and useful. What Valve should do, if they really cared about stopping CS or TF2 gambling, is to limit access to this API for the gambling sites. The API should ONLY be accessible to individual players. That means IP restrictions, client agent sniffing, bot behavior analysis, etc - not trivial, and not foolproof, but also not exactly rocket science.
by fibonachos | 2025-10-25 05:54:39+00:00
This has been saving me a lot of time as well in a decade old code base. I can paste a stack trace and provide additional relevant context, then ask the LLM to do a first pass debug.

From that I usually get a list of file+lines to manually review, along with some initial leads to chase.

Another use case is when fixing performance issues. I can feature flag my fix and ask the model to confirm the new code path will produce the same result for a given set of inputs. We also have test coverage for this kind of thing, but the LLM can do a once-over and point out some flaws before I ever run those tests.

I haven’t gotten to the point where it writes much code for me beyond the auto-complete, which has been a modest boost in efficiency.
by awkwardpotato | 2025-10-25 05:54:44+00:00
Carmack also used to have some really insightful articles on AltDevBlog. I recently read his one on functional programming and thought it was very well thought out.

This site had nice re-uploads for the some of the articles. You can maybe google around and find more

[0] http://sevangelatos.com/tag/john-carmack/
by bingbing123 | 2025-10-25 05:55:11+00:00
I’ve been experimenting with AI agents for automation, research, operations, and workflows. One problem I keep running into is that “skills” are scattered everywhere. Everyone is reinventing the wheel, and useful prompt patterns are often locked inside private docs, screenshots, or Discord threads.

So I built https://claudeskills.cc — a simple, open, searchable place to: • publish agent skills / task capabilities • discover how others design skills for Claude/OpenAI-based agents • reuse or remix skill instructions • learn from real examples rather than theory • enable community-driven evolution
by mbleigh | 2025-10-25 05:55:13+00:00
Totally agree, the web itself is absolutely HATEOAS, but there was a type of person in the 2000s era who insisted that APIs were not truly RESTful if they weren't also hypermedia APIs, but the only real benefit of those APIs was to enable overly generic API clients that were usually strictly worse than even clumsily tailored custom clients.

The missing piece was having machines that could handle enough ambiguity to "understand" the structure of the API without it needing to be generic to the point of uselessness.
by fluoridation | 2025-10-25 05:55:48+00:00
>Saying "Dell could make a higher-quality laptop for the same price" is exactly my point

You understood the exact opposite from what I said. Dell couldn't make a much better laptop for the same price, the same way Apple couldn't make the same laptops for much cheaper.

>Price is an extrinsic property.

No, it's not extrinsic. That was my point. Do you think materials and R&D are free for manufacturers and OS developers? The price is not merely correlated, it's a direct consequence of the build quality. You can't sell a product for less money than it cost to make it. Higher quality -> higher cost -> higher price.

>By contrast, whether you paid $50 million or $500 for the laptop doesn’t change its display quality, weight, or battery life.

In what world could you pay either $500 or $50M for two products which are otherwise equivalent? How do you think the latter one could be viable? Are you serious? Do you actually think cost and price are literally independent variables?
by chrismorgan | 2025-10-25 05:57:49+00:00
I do know all that, but it still doesn’t really seem enough to qualify them as the most important person. Sure, they have the biggest power of veto, but without the surgeon, there is no surgery at all.

Remove the anæsthetist, and procedure forbids you from continuing. Remove the surgeon, and it’s impossible to continue. … Or remove the patient. I guess the patient is the most important person there after all! (Actually, that does a pretty good job of showing how the entire notion of “most important” may not make sense.)
by b112 | 2025-10-25 05:58:01+00:00
Just a side note here...

Google knows precisely who you are, if you have a cell phone and give them the number. Telcos boast about this, and sell that data for a price.

The only way to avoid this, is to buy a sim card anonymously, phone anonymously, and only pay cash to top up the minutes. The second you pay with a card for minutes, the telco links that and your ID is known.

And of course, if you use Google services on your phone, no way is your ID concealed for long.

This effort cancels out as soon as you give your mobile number to pretty much anyone. Most people have contacts stored at Google, so friends add your number with name, and Google again knows.

Google doesn't care about raw ID much, it cares about networks of people. Who you know, and who has who as contacts says a lot.

Anyhow. Point is, never give your phone number to anyone or you are never anonymous.