MurphyA/hacker-news huggingface dataset:
by xorcist | 2025-07-07 22:19:52+00:00
> I make equipment for high energy physics machines

> I have yet to figure out a way to tell people what my business is in a way that is even slightly accessible.

You ... just did? In a remarkable short, concise, and very accessible way. I can ask as many follow up questions as I want and we might even have an engaging conversation. Sounds interesting!
by Workaccount2 | 2025-07-07 22:20:43+00:00
This is a good project with a nice clean UI and of course the nice lack of ads that calculator sites love to paint everywhere.

That being said, I do a lot of maths at my day job (and side job) and have found that now that I can ask my phone (gemini) math problems directly in an unsimplified form, its totally made online calculators irrelevant.

"Hey google, calculate the power loss of a 20 ohm resistor if it is R1 of an RC circuit with a 1u cap, an input frequency of 25kHz, and a rms voltage of 1.2V. Then make me an applet that shows the power loss with a slider for the input voltage from 1V to 12V, and a frequency slider for 25kHz to 250kHz."

I really cannot emphasize how helpful this is, and basically removed the need to seek out online calculators for common electronics calculations (which can now be folded into single custom calculations), which replaced the need to manually write out and solve the equations.
by aseipp | 2025-07-07 22:20:55+00:00
It does not look like it due to its largest target audience (hardcore math nerds writing proofs), but Lean 4 is actually a meta-programming language, like Racket -- it is one single unified language for programming, meta programming, and theorem proving, on top of a small core. The implementation of Lean is almost entirely written in Lean, including components like LSP servers, the compiler itself, many efficient data structures, etc. It is a key use case to write real world programs, because the implementation itself is such a program.

In the long past, Lean 3 had this idea that you could use one language both for writing proofs, and writing proof automation -- programs that manipulate proofs and automatically do things. Like in the article itself, the 'grind' thing-a-mabob is proof automation. (Roqc has two separate languages for proofs and proof automation.) But there was a problem: Lean started as a theorem prover and the implementation tried to move towards "executing programs" and it didn't work very well and was slow. The prototype compiler from Lean 3 to C++ ran out of steam before Lean 3 got canned.

Lean 4 instead went and did things the other way around: it started as a programming language that was executable. The Lean 4 compiler was self-hosted during development for a long-time, way before anyone ported any big math proofs to it from Lean 3. Why did they do this? Because the key insight is that if you want to write programs that manipulate proofs (AKA programs), the best thing to have at hand is have a robust general programming language -- like Lisp or Racket. And so Lean is macro based, too, and like Racket it allows you to have families of languages and towers of macros that expand as deep as you want. Meta programs that write programs that write programs, etc...

So in Lean you write Lean programs that can manipulate Lean ASTs, and you write "reader macros" that allow you to use domain specific syntax right inside the source file for any kind of math or programming-language DSL you want. And all those macros and meta-programs are compiled and executed efficiently just like you'd expect. Finally, there is a total fragment of the language that you can actually write proofs over and reason about. And there is a big library called "mathlib" with lots of macros for writing math and math proofs in this language-framgent-we-can-reason-and-prove-things-with.

Lean 4 is very close in spirit to the Lisp idea, but modified for math proving and generalized programming. It's very unique and powerful.
by jumploops | 2025-07-07 22:21:06+00:00
> I cannot begin putting a probability on "will this human generate this sequence".

Welcome to the world of advertising!

Jokes aside, and while I don't necessarily believe transformers/GPUs are the path to AGI, we technically already have a working "general intelligence" that can survive on just an apple a day.

Putting that non-artificial general intelligence up on a pedestal is ironically the cause of "world wars and murderous ideologies" that the author is so quick to defer to.

In some sense, humans are just error-prone meat machines, whose inputs/outputs can be confined to a specific space/time bounding box. Yes, our evolutionary past has created a wonderful internal RNG and made our memory system surprisingly fickle, but this doesn't mean we're gods, even if we manage to live long enough to evolve into AGI.

Maybe we can humble ourselves, realize that we're not too different from the other mammals/animals on this planet, and use our excess resources to increase the fault tolerance (N=1) of all life from Earth (and come to the realization that any AGI we create, is actually human in origin).
by kstrauser | 2025-07-07 22:21:31+00:00
I don't like that the loan calculator caps out at 50%, because the people most likely to want and need a simplified web interface are the ones most at risk of taking out batshit crazy loans (e.g. https://www.bigpictureloans.com/loan-rates).

For instance, check out this amortization table for one of those predatory lenders: https://www.calculator.net/amortization-calculator.html?cloa...

I'm capable of finding a working amortization calculator or banging it out on my HP-42s. You're capable of doing the math. The kind of people who can't do the math themselves are the ones who most need to see those numbers in front of their own eyes.
by fakedang | 2025-07-07 22:23:13+00:00
Scale and exposure. That's my hypothesis.

Nobody wants to commit as much to Indian markets because it's relatively primitive compared to more lucrative markets such as the US, China, etc. Jane Street was an outlier in that they took a bold bet on executing this manipulation strategy. Hence they readily dumped in billions, with an assured annual 1B profit. Because there are not many players to dig in and track their moves, they went largely unnoticed by other players.
by glouwbug | 2025-07-07 22:23:53+00:00
My approach has always been to consult 3 different models to get my understanding on the right path and then do the rest myself. Are we really just doing blind copy pastes? As an example, I recently was able to prototype several different one dimensional computational fluid dynamic GLSL shaders. Claude outputted everything with vec3s, and so the flux math matched what you’d see in the theory. It’s rapid iteration and a declutterred search engine for me with an interactive inline comment section, though I do understand some would disagree that statement, especially since it’s lacking any sort of formal verification. I counter with the old adage that anyone can be a dog on the internet
by Tadpole9181 | 2025-07-07 22:24:36+00:00
They're faster to type largely because your keyboard is English. Other languages (French, German, etc) have diacritics right there. Even Japanese isn't that much harder to type once you actually learn it (and, on fact, is quite pleasant on a smartphone even at beginner level).

On the topic of similar word sounds, this is a big thing that hangs up English speakers on romantic languages. Their vowels are sloppy and contextual, so when they're given explicit symbols that say "use this vowel", they struggle to pick that vowel out. That "symbol to sound" wiring isn't up in the noggin'. A Spanish person learning English will see the Spanish equivalent and go "duh". But an English speaker needs those "like in bird" tables.

Luckily, we have a huge phonemic index (because of all the stealing), so we're actually at an advantage from many languages once that hurdle is crossed. Spare tonality.
by carlosjobim | 2025-07-07 22:24:52+00:00
An LLM will say that you sell your competitors products or that your farm sells freshly harvested strawberries in the middle of winter. There are no limits to what kind of lies an LLM will invent, and a business owner would be a fool to feel responsible for anything an LLM has told people about their business or products.

The best LLMs available right in this moment will lie without remorse about bus schedules and airplane departure times. How in the world are businesses supposed to take responsibility for that?

Likewise if I have a neighbour who is a notorious liar tell me I can find a piece of equipment in a certain hardware store, should I be mad at the store owner when I don't find it there, or should I maybe be mad at my neighbour – the notorious liar?
by humblebeekeeper | 2025-07-07 22:25:30+00:00
> First, it just reads that way. It's the default style if you ask ChatGPT to write a couple of paragraphs that explain why lightfastness is important.

It doesn't read that way to me, and I've read lots of ChatGPT text. We've come to opposite conclusions, I'm curious what qualities you are identifying/keying off of?
by UncleOxidant | 2025-07-07 22:25:31+00:00
It's not just distorting discussions it's leading people to put a lot of faith in what LLMs are telling them. Was just on a zoom an hour ago where a guy working on a startup asked ChatGPT about his idea and then emailed us the result for discussion in the meeting. ChatGPT basically just told him what he wanted to hear - essentially that his idea was great and it would be successful ("if you implement it correctly" was doing a lot of work). It was a glowing endorsement of the idea that made the guy think that he must have a million dollar idea. I had to be "that guy" who said that maybe ChatGPT was telling him what he wanted to hear based on the way the question was formulated - tried to be very diplomatic about it and maybe I was a bit too diplomatic because it didn't shake his faith in what ChatGPT had told him.
by Joker_vD | 2025-07-07 22:25:31+00:00
> There's no point in a carriage return without a newline.

Progress bars. And TUIs in general, CR without LF is still quite handy for them. But even for paper teletypes, it has marginal use of correcting typos: print spaces over the correct text, overtype the corrections on top of mis-typed letters.

> When ASCII came about, it wasn't really about text files. Computers didn't talk to each other back then.

By the time it was finished being standardized, they did. One of the earliest RFCs, RFC 20 talks, among other things, about using ASCII in "HOST-HOST primary connections". Actually, reading the descriptions of the "format effectors" in that RFC is quite illuminating, it explicitly mentions "display devices", that is, "glass" terminals. And it also talks about the possibility of using LF as NL but notices that it requires exact matching of the semantics in both sender and receiver. But even without networks, exchanging data on magnetic/paper tapes, punch cards etc. between the computers was already a well established thing. After all, they did not invented and standardized ASCII simply because they had nothing better to do with their time!

Don't get me wrong, I too think that having a single-character new line delimiter/line terminator for use in text files is better than using a two-character sequence cobbled together. But many disagreed, and all of the RFC-documented protocols up until very recently use CRLF as line separators, so this convention obviously used to have a rather large support. Now, whether LF-to-CRLF translation, and line discipline in general, belongs in the kernel is a different question; I personally think it should've been lifted out of there and not conflated with serial port management but alas, it is what it is.
by michaelneale | 2025-07-07 22:26:49+00:00
Have been using morph for a while (I am one of the authors of goose) and was surprised when introduced at the boost it gave me (much less iteration with the main expensive LLM, and I can even make the editing process simpler to take a load off the agent). Used it with claude 3.5, 3.7, 4 and currently with a o3/openai and anthropic/claude4 + morphllm combo today.
by pcthrowaway | 2025-07-07 22:27:27+00:00
There is no problem with it, but I assume there are many people who will look upon you favourably if they think you do a highly skilled job. While many of us may not care to impress those people, there are certainly those who do (possibly people with similar attitudes who care more about validation from people who think like them)

A somewhat ungenerous characterization of the attitude may be something like the Rocket Scientist vs Brain Surgeon sketch - https://www.youtube.com/watch?v=THNPmhBl-8I

But we should also acknowledge that there's an entire culture built around valuing people and their time relative to one's perception of their "importance", that this culture can influence one's earning potential and acquisition of material possessions, and that many people do care about things like "seeming important" or moving upwards in this hierarchy as a result.
by obirunda | 2025-07-07 22:29:14+00:00
How is this ironic? I asked you about your process and you haven't responded once, only platitudes and hyperbole about it and now you claim I'm making assumptions? I'd love to see your proompting.

Again. You were the one that actually claimed to be using English as the programming language, and have been vehemently defending this position.

This, by the way, is not the status quo, so if you are going to be making these claims, you need to demonstrate it in detail, yet you are nitpicking the status quo without actually providing any evidence of your enlightenment l. Meanwhile you expect me or anyone you interact with (probably LLMs exclusively at this point) to take your word for it. The answer to that is, respectfully no.

Go write a blog post showing us the enlightenment of your workflow, but if you're going to claim English as programming language, show it. Otherwise shut it.
N8n AI Workflows – 3,400 Workflows and an LLM Prototype
by sayedev | 2025-07-07 22:29:57+00:00
I've been working on Ultimate n8n AI Workflows, an open-source library with over 3,000 AI-powered workflows for n8n, covering use cases like chatbots, data extraction, and automated pipelines. It’s designed to make automation accessible and scalable for developers and businesses alike.

I’m also experimenting with a private LLM prototype that generates n8n workflows from text prompts, using the library as its knowledge base. It’s still early—currently tackling JSON output issues and node logic—but the goal is to simplify workflow creation with AI.

Repo: https://github.com/oxbshw/ultimate-n8n-ai-workflows I’d love feedback, workflow ideas, or contributions to make this even better! What automation tasks would you want AI to handle in n8n?
by dathinab | 2025-07-07 22:30:24+00:00
they where already big when they systematically broke this laws

breaking this laws is what lifted them from big, to supper marked dominant to a point where they have monopoly like power

that is _never_ good for everyone, or even good for the majority long term

what is good for everyone (but a few rich people and sometimes the US government) is proper fair competition. It drives down prices and allows people to vote with their money, a it is a corner stone of the American dream it pushes innovation and makes sure a country isn't left behind. Monopoly like companies on the other hand tend to have exactly the other effect, higher prices (long term), corruption, stagnating innovation, and a completely shattered American sound pretty bad for the majority of Americans.
by Workaccount2 | 2025-07-07 22:31:28+00:00
It doesn't really tell you much, and frankly my audience is mostly non-tech people. And no doubt some people really are curious and keep asking questions, but most people you can kinda see their head uncomfortably spin.

I also obfuscated it a bit by giving the most general name just for privacy reasons since not many people do it. But rest assured it is a "Retro Encabulator" type machine, and as you add details it just becomes more and more alien.

This is not at all what I do, but its similar esoteric-ness to "I make differential gear sets for calibrating ion trap interferometry systems". A collection of words where every one of them the average person struggles to place.
by jagged-chisel | 2025-07-07 22:31:30+00:00
Been using LLMs to code a bit lately. It's decent with boilerplate. It's pretty good at working out patterns[1]. It does like to ping pong on some edits though - edit this way, no back that way, no this way again. I did have one build an entire iOS app, it made changes to the UI exactly as I described, and it populated sample data for all the different bits and bobs. But it did an abysmal job at organizing the bits and bobs. Need running time for each of the audio files in a list? Guess we need to add a dictionary mapping the audio file ID to length! (For the super juniors out there: this piece of data should be attached to whatever represents the individual audio file, typically a class or struct named 'AudioFile'.)

It really likes to cogitate on code from several versions ago. And it often insists repeatedly on edits unrelated to the current task.

I feel like I'm spending more time educating the LLM. If I can resist the urge to lean on the LLM beyond its capabilities, I think I can be productive with it. If I'm going to stop teaching the thing, the least it can do is monitor my changes and not try to make suggestions from the first draft of code from five days ago, alas ...

1 - e.g. a 500-line text file representing values that will be converted to enums, with varying adherence to some naming scheme - I start typing, and after correcting the first two, it suggests the next few. I accept its suggestions until it makes a mistake because the data changed, start manual edits again ... I repeated this process for about 30 lines and it successfully learned how I wanted the remainder of the file edited.
by lelanthran | 2025-07-07 22:32:58+00:00
> A plane is not a fly and does not stay aloft like a fly, yet we describe what it does as flying despite the fact that it does not flap its wings.

Flying doesn't mean flapping, and the word has a long history of being used to describe inanimate objects moving through the air.

"A rock flies through the window, shattering it and spilling shards everywhere" - see?

OTOH, we have never used to word "swim" in the same way - "The rock hit the surface and swam to the bottom" is wrong!
by drewbeck | 2025-07-07 22:35:04+00:00
As a designer, having the ability to lock certain pages from editing or component updates would get us really far imo. As it stands creating a canonical version requires versioning related components or breaking the component link to prevent inadvertent changes to the design. This could work per-frame as well – if it's 'ready for dev' then it is uneditable and doesn't receive component updates.
by devilbunny | 2025-07-07 22:35:59+00:00
If it's followed by a vowel, it's likely a Germanic word: yule, your, young, yellow (and you probably know the word, since our core vocabulary is still mostly Germanic). If it's at the end or between consonants, like syllabary or ontogeny, probably Greek.

You might also just happen to know a smattering (or even a lot) of Greek and Latin.
by daemonk | 2025-07-07 22:36:39+00:00
It might not be the mainstream on HN, but most popular polls I've seen show similar trends of a lesser proportion of people wanting to live longer, citing the same societal collapse concerns. In any case, whether something is espoused by the majority or the minority doesn't really add much weight.

I don't think there is an "anti-aging agenda". Not everything needs to be seen through the lens of an ideological movement. But I do think that there is an unhealthy persistent cynicism underneath the current popular culture. This cynicism makes people not want to be optimistic/idealistic in fear of being wrong or looking naive. I am not suggesting we should all tint our lenses rose colored, but I do think allowing people to expand their optimistic ceiling is warranted; especially when it is so easy to imagine a dystopic future currently.

Nonetheless, I thoroughly enjoyed your sardonic reply.
by sergejf | 2025-07-07 22:36:49+00:00
The Orchard of Flavours experimented successfully with the Miyawaki method in their botanical garden located in Algarve, Portugal, with a Koppen climate classified as temperate but with hot and dry summer periods, see https://www.orchardofflavours.com/miyawaki-experiment-1-wild.... They grow plenty of tropical trees like feijoa, guava, papaya, etc.
by ricardobeat | 2025-07-07 22:37:43+00:00
That’s not the point - it’s been at least a decade since “web designer” means doing graphic/interaction design, and not coding in HTML and CSS.

What they are saying is that, in the same way a car designer cannot do a great job without having decent knowledge of aerodynamics and the physics involved, good design for the web requires some understanding of the underlying technologies.
by kragen | 2025-07-07 22:38:12+00:00
Often I've started with some example code that invokes part of the API, but not all of it. Or in C I can give it the .h file, maybe without comments.

Sometimes I can just say, "How do I use the <made-up name> API in Python to do <task>?" Unfortunately the safeguards against hallucinations in more recent models can make this more difficult, because it's more likely to tell me it's never heard of it. You can usually coax it into suspension of disbelief, but I think the results aren't as good.
by dathinab | 2025-07-07 22:38:17+00:00
Yeah, but like another post said it killed a lot of other income streams.

And Spotify is a bad example as it ran into another psudo monopoly with very unreasonable/unhealthy power (the few large music labels holding rights to the majority of main stream music).

They pretty much forced very bad terms onto Spotify which is to some degree why Spotify is pushing podcasts, as they can't be long term profitable with Music (raising prices doesn't help if the issue is a percent cut which rises too :/ )
by jacob2161 | 2025-07-07 22:38:30+00:00
You have a fair point about plow. I've used it enough to know that it basically works at spamming HTTP requests at a specified concurrency. When I'm doing something where I want better accuracy I've tended to use K6 and Vegeta.

> Yeah, but, unless `plow` actually follows that redirect, it's not really measuring the actual end-to-end latency...

Not in this case, since the purpose here was to measure the POST (write) not the subsequent GET (read) that a browser would do after the redirect.
by Macha | 2025-07-07 22:38:44+00:00
> I wonder if some “actual" artists (as in, those people who create the kind of art most people would recognize) have gone through a similar arc of realizing the emptiness of creating with AI tools.

My impression is that artists are even more hostile than the most AI-skeptic of software engineers. In large part, this is likely because the economic argument doesn't hold much sway. For the large majority of artists, it's hard for them to make money with art as is, the bottleneck is not the volume of art they can produce. There's a much clearer path to turning "more code" into "more money", even if it's still not direct.
by Ocerge | 2025-07-07 22:39:01+00:00
Depends on the adversity. If it's slogging through the work week (which is my main adversity these days):

My toxic tendency to remain completely independent is about all that motivates me to work. I don't have any real motivation anymore since I have built so many safety nets (financial or otherwise) for myself to handle that vast majority of professional failures.