MurphyA/hacker-news huggingface dataset:
by wolfgang42 | 2025-05-06 17:26:04+00:00
Markdown as specified lets you break out HTML whenever you want, and even understands the difference between inline and block tags. Most places where you can use markdown support this.

Personally I’m also a fan of https://github.com/pugjs/pug , which is an alternate syntax for HTML that I find easier to work with when I need the full power of HTML but don’t want a thicket of angle brackets.
by Semaphor | 2025-05-06 17:26:05+00:00
2.5 was the most impressive model I use, but I agree about the comments. And when refactoring some code it wrote before, it just adds more comments, it becomes like archaeological history (disclaimer: I don’t use it for work, but to see what it can do, so I try to intervene as little as possible, and get it to refactor what it thinks it should)
by leadership | 2025-05-06 17:26:18+00:00
We started seeing the value of what MCP's could provide, so our company produced this glue layer where we saw a lot integration difficulties. (Not to mention reinventing the wheel 1,000 times with the mcp sdk).

I am hoping that this provides value to people out there who are having to integrate many MCPs, or add MCP layers to existing systems.

One bonus thing here that isn't obvious, is that you can use the aggregator to map between different MCP protocols. So cursor, for example, uses CLI and SSE, but doesn't support http. (Like for an AWS api gateway). Well, you can run an aggregator that listens on sse, and maps to your http in the cloud, making serverless MCP's easy.

Also another use we are using it for, is creating a bundle of mcp's that are in a docker container, and then having a config for the mcp-aggregator (a tool auto installed from a global npm install), from any dev location, you can spin up a whole stack of MCP tools. Just include the a docker compose file and an aggregator config file in your repo, and there it is.

Long time reader, I figured I'd chip this back out to the community of hackers as this took days to create workable interfaces...
by tasuki | 2025-05-06 17:26:37+00:00
> was checking for the bull’s-eye rash to appear

Note that the absence of that wouldn't mean you didn't get lyme disease.

Where I live, most of the ticks carry lyme disease, yet not that many people get infected: if you pull it out quickly, you greatly reduce the chance of getting infected. Of the people I know, perhaps 20% had lyme disease (and knew about it, I must add).
by overfeed | 2025-05-06 17:26:44+00:00
> I don't disagree with you, but there simply isn't an alternative for pro audio developers

People used to say this about video pros too, until Apple royally screwed the pooch by failing to refresh its stale Mac Pro hardware lineup for many years, followed by a lackluster Final Cut release. An entire industry suddenly realized Windows was viable after all, they just hadn't bothered to look.
by bigbadfeline | 2025-05-06 17:26:59+00:00
Bot farms rule the web. Bot-authored comments are everywhere, no less than 50%, regardless of site. Keep in mind, human-assisted bots have been used for the past 20 years but now the bots are a lot more productive thus the human part is largely quality control.

Fretting at the rare researchers who admit to their bot activity is like fretting at the criminals who admit guilt and praising those who don't.
by AppropriateTest | 2025-05-06 17:27:02+00:00
KIP-31 proposes anchoring high-throughput subnets to Bitcoin via drivechains and using ordinal inscriptions to manage subnet permissions. This sidesteps the need for consensus-layer changes while introducing a novel governance mechanism.

Could this kind of ordinal-based permissioning offer a scalable way to extend Bitcoin’s utility—without compromising its base-layer conservatism?

Would appreciate any thoughts or critique from others working in L2s, rollups, or Bitcoin-native DeFi.

A summary of the proposal: https://medium.com/@bobnymous/unlocking-bitcoins-potential-h...
by rollcat | 2025-05-06 17:27:46+00:00
> I agree that these things are not "grandma can do it" easy [...]

That's my entire point. Contrast this process with buying an app on your phone. Insert coin, done; vs insert coin, battle a dragon.

> [...] they should be straightforward for anyone who has reasonably solid command line chops.

That's my entire point. I've been familiar with the command line since before I could write with a pen, and I still dislike doing any of that stuff.

> Once you've moved over to your own domain and your own server/software, you're done--you don't have to do it over and over.

That's my entire point. You don't have to, until you do.
by __s | 2025-05-06 17:28:36+00:00
They were opining that Ada is unsuitable for fine grained data structures (like Rust being awkward with linked lists) & lacking mature graphics APIs

For years I used a C window manager I wrote which was less than 150 lines[1], it can definitely be a terse language. But I've also written pretty tight Rust code for a card game engine & its http server. I don't think Rust is particularly more verbose. Rust code can be artistic too[2]

1. https://github.com/serprex/nobox/blob/master/nobox.c

2. https://github.com/serprex/Kelxquoia/blob/master/src/main.rs
by CrimsonCape | 2025-05-06 17:28:44+00:00
I've become obsessed with how Visual Studio Code or Helix editor gives a great big JSON settings/properties file for tweaking values. SO much so that I despise other apps for their lack of "set-ability".

To the original author's point, the consternation arises when you as a programmer just know there is an animation time, or a delay time, etc. that is hardcoded into the app and you can't adjust the value. The lack of interface and inability to have that exposed to the user is at least one major frustration that could help OP.
by neilellis | 2025-05-06 17:28:46+00:00
this!

lots of hasattr("") rubbish, I've increased the amount of prompting but it still does this - basically it defers it's lack of compile time knowledge to runtime 'let's hope for the best, and see what happens!'

Trying to teach it FAIL FAST is an uphill struggle.

Oh and yes, returning mock objects if something goes wrong is a favourite.

It truly is an Idiot Savant - but still amazingly productive.
by bArray | 2025-05-06 17:28:48+00:00
I think my bird already has a difficult time focussing, he acts like he has ADHD. He'll happily sit their doom scrolling watching birds.

The other concern is that when he gets too much screen time he becomes less interested in us and starts to be a little aggressive (lands on you and pecks you until you put bird videos on) whenever anybody gets a phone out.
by wenc | 2025-05-06 17:29:11+00:00
Yes and no. They produce “nice” people who are polite, but distant. Dreary places encourage introversion so people are much less warm. People are more inward looking and private. They want to mostly keep to themselves.

Seattle is known for Seattle Freeze. I feel this every time I return from travel to another part of the country, even parts of the country that are snowier and colder. In snowier places people have more character and they help each other out a lot more — it’s part of the culture.

But Seattle is just misty rain 9 months of the year. Emotionally it feel bleaker. There’s no pull to help each other out (it’s just rain) and there’s no character building through snow shoveling or brushing snow off your car to meet friends. You just don’t feel like doing anything or admitting anyone in your life.
by adrian_b | 2025-05-06 17:29:12+00:00
The "infinite" compressive strength for a sample that cannot expand laterally is only an approximation valid for small pressures.

At high enough pressures, all materials change their molecular and crystalline structures into structures with higher densities of atoms per volume and the volume of the tested samples diminishes, so the samples collapse at certain pressure thresholds.

The well known transformation of graphite into diamond is just an example of what happens with any substance at high pressures. Diamond is a more unusual example just because it remains stable even after the pressure that has created it is removed.

Moreover, for non-homogeneous materials, like concrete or many natural rocks used in construction, which are composed of harder particles cemented in a weaker matrix, it is normal to have a tensile strength that is many times smaller than the compressive strength, because when subjected to tension the weaker matrix allows pieces to detach, but in compression the strength may be determined mostly by the threshold where the harder particles break.

The snail teeth are also made of composite materials, mineral crystals in a protein matrix, so they are also likely to have different strengths depending on what kind of stresses are applied and in what directions.
by Phlebsy | 2025-05-06 17:29:13+00:00
> As this relates to software, I think it goes something like: you learn the magic incantation to make the computer do what you want (solving a hard task becomes habit), then you learn why that incantation works (solving it becomes easy), then you figure out better ways to solve the problem, such that the original friction can be removed completely (you find a more beautiful way to solve it).

I've come to a less pleasant way of putting a similar workflow. If something hurts(in the sense that you dread doing it, even though it needs to be done), make it hurt as much as possible and keep doing it until it doesn't. Along the way you'll find the ways to make it easier, faster, more efficient, etc but if you put it off every time until you can find the fortitude to embrace the suck then it's never going to get noticeably better.

Most of the time this is business process related, especially when inheriting legacy systems. Ideal outcome is that you understand it enough after really digging into it to cut out or replace entire swathes of the processes without losing confidence that it will continue to operate smoothly.
by al13n | 2025-05-06 17:29:41+00:00
Hi, author here :)

Didn't expect it to be posted, readme maybe doesn't have enough context. It just says "Essential features are there". What are those? Most of what I've ever used in any debugger:

* Showing code, disassembly, threads, stack traces, local variables.

* Watches, with a little custom expression language. E.g. you can do pointer arithmetic, type casts, turn a pointer+length into an array, show as hex, etc. Access to local and global variables, thread-local variables, registers. Type introspection (e.g. sizeof and offsets of fields).

* Pretty printers for most C++ and Rust standard library types. Probably fragile and version-dependent (e.g. fields names often changes across versions), please report when they don't work.

* Automatically down-casting abstract classes to concrete classes.

* Breakpoints, conditional breakpoints (but no data breakpoints yet).

* Stepping: into/over/out a source code line, into/over a disassembly instruction, over a source code column (when there are multple statements one line, e.g. to skip evaluation of arguments of a function call). All places where control can stop (statements) are highlighted in the code, so you usually don't get surprised by where a step takes you. (...except when there's garbage in debug info, and you end up temporarily on line 0 or something. This happens frustratingly often, and there's not much I can do about it. I already added quite a few workarounds to make stepping less janky in such cases. If a step takes you to an unexpected place, it usually under-steps rather than over-steps, so you can just step again until you end up in the correct place.)

* Various searches: file by name, function by name, function by address (like addr2line), type by name, global variable by name, thread by stack trace.

* Debugging core dumps. There's also a gdump-like tool built in (`nnd --dump-core`) that makes core dump of a running process without killing it; it uses fork to minimize downtime (usually around a second even if there are tens of GB of memory to dump).

* Customizable key bindings, see `nnd --help-files` or `nnd --help-state`.

* TUI with mouse support, tooltips, etc.
Show HN: I built Speech is Cheap for fast, long-form audio transcription
by ilyakaminsky | 2025-05-06 17:29:59+00:00
Hi HN, I created a transcription service called Speech is Cheap. I put in a lot effort to make it fast without losing too much accuracy. For instance, it takes 10 minutes to transcribe ~21 hours of Little Women [1]. I also just released the add-ons to classify audio, diarize speakers, and filter out segments based on the models' confidence scores. So it takes about a minute to process the noisy, hour-long Starship 8 launch with all those features enabled [2]. Transcribing these respective files costs $1.16 and $0.11 for subscribers or $2.50 and $0.23 for pay-as-you-go users.

I released the MVP about six months ago. But some users wanted to parse speakers, so I spent the last couple of months reworking the entire pipeline. Initially, the biggest challenge was creating the custom voice activity detection (VAD) functionality. Once that was done, I got more confident and incorporated a powerful diarization model as well. The rest of the time was spent on fine-tuning and optimizing everything end-to-end. I learned a ton and will blog about it soon.

Sharing Speech is Cheap with HN is a big step for me. My main focus has been on the engineering side, so I'm a bit puzzled by how to properly market it. If you have experiences on what genuinely works to spread the word, I'd be very grateful to hear your thoughts and perspectives.

You can try it out completely for free by picking the Pay-as-you-go option and applying this `HN5` $5 off promo code, which is good for 2500 minutes of regular transcriptions. I'll stick around to answer any questions.

[1] https://youtu.be/yduuUGUj5Bg » https://cdn.speechischeap.com/out/little_women.json

[2] https://x.com/SpaceX/status/1897438948458189156 » https://cdn.speechischeap.com/out/starship8.json
by raydiak | 2025-05-06 17:30:00+00:00
You sure wouldn't want them spying on you, stealing your data, chewing up your resources for shady profit schemes, or making your machine unbootable. Better to leave that to the experts at Microsoft and FAANG since all those features come preinstalled nowadays.

Snark aside, given the context, this really seems like a baseless attack on independent open source developers, who represent a significant potion of this site's subject matter and target audience. Genuine question: why do you feel that this warning is appropriate here but not the dozens of other solo github projects that make it to the HN front page every week?
by Damogran6 | 2025-05-06 17:30:02+00:00
I believe it's an INTENTIONAL BEHAVIOR in Facebook. Particularly the mobile web interface...want to show someone a video, but you're on the can, and really, it's going to be a minute while you wash up (or similar example lasting 40 seconds)

You're not going to be able to do it. They're not on facebook, you can't just link to the video, you're going to hold the phone carefully but the bared fraction of their palm will register with the screen, or the page will refresh, or the screen (now 27 feet deep in the doomscroll) will scroll all the way to the top of the screen.

And you'll end every iMessage with a b. b
by dang | 2025-05-06 17:31:31+00:00
Related. Others? I feel sure that there have been others...

(It's hard to separate music Theremin from spy Theremin so I've just not tried)

Show HN: iOS Theremin Simulator with Hand Tracking (Beta) - https://news.ycombinator.com/item?id=42267668 - Nov 2024 (1 comment)

What the hell is a luminiferous theremin? - https://news.ycombinator.com/item?id=41204378 - Aug 2024 (54 comments)

The Thing (Listening Device) - https://news.ycombinator.com/item?id=40583607 - June 2024 (1 comment)

YouTuber recreates Theremin's “Great Seal” spy bug [video] - https://news.ycombinator.com/item?id=36092382 - May 2023 (2 comments)

The Thing (Listening Device) - https://news.ycombinator.com/item?id=31232681 - May 2022 (1 comment)

The Thing (Listening Device) - https://news.ycombinator.com/item?id=27676518 - June 2021 (3 comments)

Russian Espionage and Electromagnetic Fields: The Story of the Theremin (2017) - https://news.ycombinator.com/item?id=23304053 - May 2020 (24 comments)

Theremin - https://news.ycombinator.com/item?id=23029127 - April 2020 (1 comment)

The Thing - https://news.ycombinator.com/item?id=20157116 - June 2019 (104 comments)

Peter Theremin’s haunting music, on his great-grandfather’s invention - https://news.ycombinator.com/item?id=17955295 - Sept 2018 (1 comment)

Theremin's Bug: How the Soviet Union Spied on the US Embassy for Seven Years - https://news.ycombinator.com/item?id=15498685 - Oct 2017 (11 comments)

Three Radio Theremin: Convert Old Radios into a Theremin - https://news.ycombinator.com/item?id=11998382 - June 2016 (1 comment)

Our Comrade the Electron - https://news.ycombinator.com/item?id=10437775 - Oct 2015 (1 comment)

Theremin - https://news.ycombinator.com/item?id=10103717 - Aug 2015 (39 comments)

Our Comrade the Electron - https://news.ycombinator.com/item?id=7310045 - Feb 2014 (2 comments)

The Great Seal Bug: How Theremin Eavesdropped On US Ambassador - https://news.ycombinator.com/item?id=4191036 - July 2012 (1 comment)

Leon Theremin: The man and the music machine - https://news.ycombinator.com/item?id=3696549 - March 2012 (1 comment)
by weo3dev | 2025-05-06 17:31:44+00:00
Not a fan.

I'm waiting for the day developers realize the fallacy of sticking with pixels as their measurement for Things on the Internet.

With a deeper understanding of CSS, one would recognize that simply parsing it out for only the components "above the fold" (which, why are pixels being used here in such an assumptive manner?), completely misses what is being used in modern CSS today - global variables, content-centric declarations, units based on character-widths, and so many other tools that would negate "needing" to do this in the first place.
by immibis | 2025-05-06 17:33:02+00:00
The Curry-Howard correspondence seems like one of those things that's weird and unexpected but not actually very useful?

Most of the types that correspond to propositions, and programs that correspond to proofs, aren't of much utility in actual programming. And most of the useful programs and their types don't correspond to interesting proofs and propositions.

The paper relates it to other connections between fields, such as Cartesian coordinates linking geometry and algebra. This allows you to bring the power of algebra into geometric problems and geometric intuition into algebra problems. But does the Curry-Howard correspondence bring similar powers?

--

This kind of rearrangement without really changing anything reminds me of the equivalence between first-order logic terms and sets. Consider [P] to be the set of models where statement P is true - then [A∧B] = [A]∩[B], [A∨B] = [A]∪[B] and so on. But this doesn't lead to any new insights. You basically just wrote the same thing with different symbols.

In some contexts (proving soundness/completeness) it can allow you to step down one turtle, but you still have aleph-null turtles below you so that doesn't seem that useful either.
by mutagen | 2025-05-06 17:33:12+00:00
This looks awesome. I'm the target audience. I do quite a bit of development around SQL Server and there's an endless stream of CSV and XLSX files coming and going that need spot checks and quick looks. I use ModernCSV quite a bit and would have purchased that if it built these SQL features in. I've used DuckDB directly a few times to join and query CSV and XLSX files, I'll pay my own $$ for something that quickly streamlines this.

I can import into SQL Server but there's too much ceremony needed (column types, etc) for quick looks at data I'm going to answer a question about and then discard. After a quick look at TextQuery I'm running into the same issues (although TextQuery is just a couple of clicks instead of 5+). I was also seeing an error yesterday from associating XLSX files with TextQuery but that seems to have gone away today.
by boplicity | 2025-05-06 17:33:17+00:00
This is what the "fight" with "elite" universities is really about: No longer funding research.

That's the most important aspect of this thing. Every other aspect of this is a sideshow to the main event. And the main event very much is the de-funding of scientific research.

No longer funding this research is a huge change. And one that will eventually have far-reaching consequences for everyone.
by m_kos | 2025-05-06 17:33:20+00:00
[Tangent] Anyone here using 2.5 Pro in Gemini Advanced? I have been experiencing a ton of bugs, e.g.,:

- [codes] showing up instead of references,

- raw search tool output sliding across the screen,

- Gemini continusly answering questions asked two or more messages before but ignoring the most recent one (you need to ask Gemini an unrelated question for it to snap out of this bug for a few minutes),

- weird messages including text irrelevant to any of my chats with Gemini, like baseball,

- confusing its own replies with mine,

- not being able to run its own Python code due to some unsolvable formatting issue,

- timeouts, and more.
by dragonwriter | 2025-05-06 17:33:20+00:00
HOA’s are prominent in the US because they and the restrictive covenants imposing them were a way to replace de jure public racial discrimination and segregation with technically-private-but-legally-durable racial and cultural discrimination. The explicit racial aspect has since been made legally unavailable, but they remain a tool to enforce outward cultural conformity, which has a strong racial valence.
by willbryk | 2025-05-06 17:34:07+00:00
We're a startup, so most of our resources go towards use cases that our users care most about. So the search should work best for - people, companies, papers, high quality written content (e.g., blogs, news). It should work well at more than just those (try Github repo search, it's quite good :D), but those are the best supported.

Types of searches Websets doesn't currently do well at: - products (e.g., ecommerce sites) - Content that requires authentication/permissions to access - non-English content

Some of the above are on our roadmap, and let us know if there's some type of data you'd like us to support!
by the_af | 2025-05-06 17:34:21+00:00
Don't worry about the downvotes, they seem to be drive-by style.

I agree with your comment, and also agree it's not exactly the same situation. The romanticization of the Old West is much closer to the current political climate in the US. There's also the baggage of the "Lost Cause" that still permeates their politics, sadly.

It was mostly a nitpick, I just wanted to point out this kind of misguided fascination for old history has also impacted the Roman Empire, Sparta (which I mentioned because there's a kind of rightwing admiration for "Spartan values", which is hogwash), etc.
by Damogran6 | 2025-05-06 17:34:28+00:00
It's gotten better, but using navigation. It tells you which lane you need to----nope, calendar Appointment.

and the notification doesn't self-dissapear, so stressed navigation also includes a ham-handed reach and swipe up to make the appointment dissapear. Hope it wasn't important.

The screen is MASSIVE folks. SO MANY PIXELS. keep the GPS AND the calendar appointment.