MurphyA/hacker-news huggingface dataset:
by salawat | 2025-07-02 12:37:41+00:00
>Is the problem really an inability to vote with our wallets? Or is the problem a complete lack of media/marketing literacy, that leads the credulous to engage with ad slop, against their own best interests?

The problem is companies/marketers who won't take no for an answer... And unfortunately, short of reverse monetization, (marketers must pay individuals for our eyeballs, which has its own logistical problems), there isn't a way to really prevent the pathological impression pipeline that advertising has gravitated toward. In the U.S. unfortunately, there is zero we can do to corral mercantile speech short of collectively coordinated action by the populace since we've written the capability out of our governmental edifice.
by N_Lens | 2025-07-02 12:37:48+00:00
The main challenge appears to be the neural-computer interface - the electrodes. As the article states, there are several startups in this space all bottlenecked by the same constraint, and accurately translating neural impulses into digital (Or even analog) signals is the key to unlocking a whole arena of transhuman development.

Most such startups are scaling up the number of electrodes interfacing with the neurons to overcome this bottleneck, but I wonder if an unconventional approach could overcome the limit more gracefully. I may be a dreamer, but a high fidelity synthetic neural fiber is the holy grail here. I do remember reading people partially healed of paralysis due to spinal injury, because of electrical conduits that bridged the injured neural gap.
by gipp | 2025-07-02 12:38:17+00:00
While it's definitely more complicated than necessary, and silly that the game doesn't explain it at all, it also... doesn't really seem that complicated? Certainly not enough to live up to the amount of text spent building it up, or the amount of text explaining it, for that matter. You've got some offense and defense stats, each card draws a random number from 0 to its applicable stat (determined by type), highest number wins.
by Cthulhu_ | 2025-07-02 12:38:18+00:00
This is very much from a sighted person's point of view. When you use screen readers, you can switch to a 'links' navigation mode and only go through links, in which case all you'd hear would be "click here", "Amaya website" and "Amaya".

See also https://www.w3.org/WAI/WCAG22/Understanding/link-purpose-in-..., also keeping in mind that since June, the underlying WCAG guideline is a EU-wide legal requirement for company websites.
by doomvwr | 2025-07-02 12:40:13+00:00
N26 SE | SREs, JVM Backend Engineers, Product Owners | Berlin, Barcelona, Vienna | https://www.n26.com | Full-time

N26 has reimagined banking for today’s digital world. Technology and design empower everything we do and it’s how we are building the global banking platform the world loves to use.

We've eliminated physical branches, paperwork, and hidden fees for an elegant digital experience and supreme savings. Giving people the power to live and bank their way is what gets us out of bed in the morning and inspires the work that we do.

We are headquartered in Berlin with offices in multiple cities across Europe, including Vienna and Barcelona, and a 1,500-strong team of more than 80 nationalities.

Full job descriptions here: https://n26.com/en-eu/careers, you can email me with questions/resumes dmitrii.sergeev@n26.com
by 1970-01-01 | 2025-07-02 12:40:28+00:00
W3C missed the biggest problems (IMHO) with "click here"

* It's only 10 char and much too short for someone to click when it's inline with other links. Let's not mention text squirming around the screen via molasses JS, kicking your text up, down, and around the screen for several seconds before those short 10 chars finally become stationary.

* With high resolution touch screens, you're maybe 80% accurate on actually clicking right there. Again, my accuracy is my fat finger, and nearby links are just UI landmines.
by palmfacehn | 2025-07-02 12:41:01+00:00
In that regard, Welch optimized for short-term metrics. Most of the diehard adherents to laissez-faire ideology speak at length about time preference. Willingness to forgo present consumption is the underlying source of investment gains.

If we accept the premise that Welch sold the goose that laid the golden egg for short-term "number go up" and immediate shareholder satisfaction, another question arises. Are there other non-market forces (such as easy money policies from the central bank, or an unfriendly domestic regulatory environment) which created this equilibrium? If so, then laying blame at the feet of "capitalist greed" or the trope of monocled Monopoly men in stovepipe hats, may be misplaced.

That said, I'm not sure that, "Jack Welch, the Man Who Optimized For the Corporatist Mixed-Economy" would resonate as well with audiences.
Show HN: Browser-based data analysis with LLM AI that never sees your data
by aminkhorrami | 2025-07-02 12:41:47+00:00
Built a privacy-first approach to AI-assisted data analysis. The challenge: how do you let AI help with SQL queries without exposing sensitive data? Solution: AI only receives table schemas (column names + types). It generates queries based on structure alone, which run locally via DuckDB WASM. All processing happens client-side. Supports CSV, Parquet, JSON, Excel up to several GBs or bring from HuggingFace, S3, etc and start asking questions. Try here: https://datakit.page Curious if others have tackled similar privacy constraints with LLMs.
by ryandvm | 2025-07-02 12:41:49+00:00
The problem here is that at least half the population just lacks the critical thinking skills to even understand why peer review is necessary.

If you've ever talked to one of these people about contrails, or whether evolution is real or not, or ghosts, or any number of boneheaded nonsense, you will eventually realize just how hopeless it is to expect them to ever be able to use logic. You might as well be teaching your dog to talk.
by ivan_gammel | 2025-07-02 12:42:12+00:00
I don’t think either of the suggested options delivers the best possible UX. Copy of course depends on context, but „click here“ is never justified as the best alternative.

You can do:

• [Download X] - immediate download link.

• [Learn more about X] - go to webpage, discover other interactions there

• [Register to download X] - if registration required

Short and concise copy is generally better, extra information rarely makes content better.
by thephyber | 2025-07-02 12:42:29+00:00
I still have hope that Anthropic will win out over OpenAI.

But… Why put Meta in that group?

I see Apple, Google, Microsoft, and Amazon as all effectively having operating systems. Meta has none and has failed to build one for cryptocurrency (Libra / Deis) and metaverse.

Also, both Altman and Zuck leave a lot to be desired. Maybe not as much as Musk, but they both seem to be spineless against government coercion and neither gives me a sense that they are responsible stewards of the upside or downside risks of AGI. They both just seem like they are full throttle no matter the consequences.
by codingdave | 2025-07-02 12:43:00+00:00
A size constraint forces creative solutions to problems where the existing solutions are large. But that has nothing to do with conceiving of a novel mechanic. On the contrary, most creative processes start from a base of knowledge and skills, and build from there, often contrasting existing problems and solutions, brainstorming ideas until something novel arises. Size constraints would stifle that part of the creative process, not enhance it.

After you come up with an idea, evaluate it, and decide it is good to pursue, optimization makes sense. But no, don't put that at the beginning of the process.
by a4isms | 2025-07-02 12:43:33+00:00
Vocational Awe and the Lies We Tell Ourselves (2018):

https://www.inthelibrarywiththeleadpipe.org/2018/vocational-...

HN Discussion:

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

This has always applied to tech workers.
by netsharc | 2025-07-02 12:43:38+00:00
Yes, most people understand how to navigate around the jankiness...

For example, most Windows programs have "File" as the first menu item. How do I exit? Go to File, the bottom option is usually "Exit". Does that make sense? No, why is "Exit" a File-related option? Why is it like that? Because it's always been like that.

Want to learn about the program? Go to Help > About.

Some more geniuses even got involved and thought "If the user wants to edit preferences, well, they can go to the menu option Edit, and find Preferences. Never mind that Edit is otherwise filled with document related functions like Cut, Copy, and Paste!"
by hnlmorg | 2025-07-02 12:43:58+00:00
Best:

> You can download the Amaya Browser from [Amaya’s download page]

It’s both explicit for sighted reader and screen readers too.

Yes there’s some duplicated words. But the point of that paragraph isn’t to be artistic, it’s to be informative. You can save the creative word play for your regular paragraphs.
by Cthulhu_ | 2025-07-02 12:44:07+00:00
Based on the comment I'd expect an "add link to bookmarks" entry in the right click context menu, but I don't remember ever seeing it. It makes sense to use the link text in that case though, else the browser would have to access the underlying webpage to fetch the title. Which shouldn't be a problem, but at one point some web apps were broken and did destructive actions on GET requests, and Google Gears tried to optimize the internet by prefetching webpages... which caused some whoopsies.

But, thankfully, web developers and web technology improved since then.
by mcsolutions | 2025-07-02 12:44:49+00:00
SEEKING WORK | Remote | Albany, NY (EST/EDT)

Independent software developer and system administrator available for flat-rate projects, and as a fractional embedded team member. I've been building and maintaining full-stack web applications and cloud software solutions for over eight years. My work emphasizes simplicity, security, accessibility, and reliability.

Solutions - Custom software development, data processing, content management systems

Services - Web development, Data engineering, Cloud sysadmin + DevOps, Software consulting, Tech leadership

Skills and experience - Read my portfolio blog here: <https://www.matthewcardarelli.com/blog/client-stories.html>

- Web UI: HTML/CSS/JS (React, NextJS, Typescript, and more)

- Web server: Python (FastAPI), NodeJS (Express), GraphQL, Nginx

- ETL: Python (petl, multiprocessing, Boto3)

- Database: SQL RDBMS (PostgreSQL, MariaDB, SQLite)

- Cloud sysadmin: AWS (RDS, S3, VPC, and more), GCP (Tasks, Cloud Functions, Firestore), Akamai/Linode

- DevOps: CircleCI, Terraform, Ansible, Docker/Podman, Prometheus, OpenTelemetry, Grafana

- Auth: OAuth 2.0 + OpenID Connect (Auth0)

Pricing - Available on a fractional or flat-rate project basis: <https://www.matthewcardarelli.com/pricing.html>

More information available at: <https://www.matthewcardarelli.com/>
by carlosjobim | 2025-07-02 12:44:55+00:00
> The reality is that it’s long, hard, relentless, menial labor.

Which is perfectly fine to do for some time if the salary is great. Which it should be, considering the high productivity output from those kind of jobs.

Steel mill workers of your dad's generation had a much higher living standard and much more money than service or office workers of today's young generation.

Young people are supposed to work hard and build up their wealth so that they can change to a less taxing job when it's time to make a family. Not waste their time in academic institutions for 20 years and then work for a low salary.
by glimshe | 2025-07-02 12:45:02+00:00
One has to wonder how the United States survived before the rise of Asian manufacturing... As recently as the 1980s we had full computers made in the US.

We can get it back, at least the more interesting parts of it. If this movement was being sponsored by another political party, as it used to be the case, we would see a complete inversion of the journalists defending and criticizing it.
by graemep | 2025-07-02 12:45:33+00:00
Why should people living an a country not pay tax in that country? its a general principle that you pay tax on your income to the government of the country you live in.

If you regard progressive taxation as "populist", fine. I regard it as simple being fair.

To put it another way, why should there be a special exemption so super-rich foreigners do not have to pay tax?

> To put it another way, why should there be a special exemption so super-rich foreigners do not have to pay tax?

I do not know what you are referring to here. The non-dom issue is primarily about taxing income.
by 4ad | 2025-07-02 12:46:18+00:00
Great article, two minor nitpicks:

> To avoid Russell's Paradox, there isn't a type of all types. Instead, we have universes.

This is an oversimplification, and Lean-specific (to be fair, the author claims to explore these concept in Lean). Girard's paradox comes from unrestricted impredicativity. To maintain consistency one needs to control impredicativity, type universes are a possible, very straightforward choice, but it is not the only choice.

Some theorem provers, such as Cedille, do not use type universes, and even have `Type : Type` while still being consistent. See Stump, Aaron: “The Calculus of Dependent Lambda Eliminations.” Journal of Functional Programming 27 (2017): e14. DOI:10.1017/S0956796817000053[0]

Additionally:

> The famous Curry-Howard correspondence states [...] Propositions are types in Prop [...]

Curry-Howard doesn't say anything about Prop, Prop vs. Type is just a distinction done in some particular type theories for pragmatic reasons, or because it simplifies classical (as opposed to intuitionistic) reasoning. In fact the reason why Prop vs. Type is a distinction done by many theorem provers leads Lawrence Paulson[1] to claim that modern theorem provers don't really use Curry-Howard[2], at least as Curry-Howard was originally defined. I disagree, because elements of Prop are still types, but please understand that this is a departure from original Curry-Howard.

Moreover:

> The famous Curry-Howard correspondence states [...] True propositions have exactly one term [...]

As explained above, this is not the case for the "original" Curry-Howard, and it is just a choice in Lean, which is a type theory with proof irrelevance. There are different type theories without proof irrelevance (such as Adga by default without a recent extension), and Curry-Howard certainly still applies to them. In fact even in Rocq (Coq), which still has Prop vs. Set, proof irrelevance has to be assumed explicitly[3]. (Rocq also has SProp[4] for proof irrelevant propositions.

nLab has more information about propositions as types[5] vs. propositions as some types[6].

[0] https://doi.org/10.1017/S0956796817000053

[1] https://www.cl.cam.ac.uk/~lp15/

[2] https://lawrencecpaulson.github.io/2023/08/23/Propositions_a...

[3] https://github.com/rocq-prover/rocq/wiki/The-Logic-of-Coq#wh...

[4] https://rocq-prover.org/doc/V8.15.0/refman/addendum/sprop.ht...

[5] https://ncatlab.org/nlab/show/propositions+as+types

[6] https://ncatlab.org/nlab/show/propositions+as+some+types
by dsr_ | 2025-07-02 12:46:27+00:00
_Tell me more about Amaya_

is preferable to any shorter link.

If, somehow, you have multiple links in a sentence, see if you can manage a word or two of unlinked text in between, or, better yet, stop being pretentious and focus on usefulness.

Not: _You can run web browsers,_ _spreadsheets_ or _drawing software._

You can run:

* _web browsers_

* _spreadsheets_

* _drawing software_
Show HN: Jumble, a Lifetime of Art on the Scrapheap
by LeratoAustini | 2025-07-02 12:46:53+00:00
TLDR; A 3D interactive pile of all of the art I've made so far in my life. Built with Three.js with Rapier physics engine.

I do care about accessibility, but this project is poor in that respect. You need JS. If your machine is even a little slow it will probably look like a flip-book animation. My art is available in more accessible formats elsewhere --- this is just a bit of fun.

---

Ok I'm being overly dramatic, art isn't necessarily on the scrapheap.

This past couple of years I've seen my two lifelong loves and skills --- painting and programming --- devalued alongside the rise of LLMs. I've had the knee-jerk reactions, been through the fear, then come to acceptance that we are where we are. The sands have shifted.

I appreciate that for those who haven't (yet?) developed artistic skills it might be satisfying to be able to type a prompt and get an immediate picture. In itself I don't want to deride that, it's a new thing and I'm sure some people will make well of it. Creativity hasn't gone away. And I know the world doesn't owe a living to me or other artists, musicians, writers or practitioners of any craft (including programmers). I do feel sad that it seems to be becoming less cool or worthwhile to spend(/'waste') time deep learning a skill. When I paint I do enjoy the end result and I am working towards it, but the experience is so much more than that. The doing of it is rewarding on such a deep level. I hope we don't lose that feeling as a species and just become detached directors of disembodied action.

Anyway I thought chucking all my artwork into a big virtual pile might be interesting, a bit different to the usual online gallery formats. You have to rummage around to find stuff, like a jumble sale. You might miss some bits. Who cares.

I've been learning some Three.js and wondered how it would cope with the task (over 100 paintings on board, paper, card, stretched canvas). I decided to use Rapier as the physics engine as I'd heard good things about it in terms of performance.

I've only been dipping toes into AI: `sigoden/aichat` (which is really nice) in the terminal, a little Cursor, some experiments with RooCode. I had no experience with WASM or Rapier, not much with Three.js. As a move towards acceptance of the new state of play I decided I'd dive in and try 'vibe-coding' the entire project with Cursor.

I probably don't have anything original to say about working with LLM coding assistants; suffice to say there was awe, disgust, love, hate, and a feeling of loss. I got the job done, it isn't too buggy. I learned a lot about working with LLMs, what they're good at and bad at. I learned a little about Three.js, Rapier and 3D graphics. Gut feeling is that I learned quite a lot less than I would have if I'd waded in the mud myself. How much that matters? I'm honestly not sure.
by JadeNB | 2025-07-02 12:47:01+00:00
I think it depends on how you get the bookmark. As far as I can tell, on mobile Firefox (the mobile browser I have easily to hand), you can only bookmark the page you are currently visiting, where the default bookmark title is the title of the page. But, on desktop Firefox, you can also create a bookmark directly from a link, in which case the default bookmark title is the text of the link. This makes some sense to me, since you probably wouldn't want the act of bookmarking a link to fetch the linked page just to find out its title.
by Cthulhu_ | 2025-07-02 12:47:10+00:00
For sure; as other commenters pointed out that "click here" is unnecessary, as you can assume people know how links work. That is, it's not a call to action, unless the CTA is to "read more" about something or to "go to" a download page. But the action is to navigate, nothing more. If the action is to do something else, like start a download or submit a form, it should be a button.

Of course, a download on the internet is usually a link to a file, which the browser decides how to handle - open or download. From an internet purist point of view, a link to download a file also makes sense.
by cameron_b | 2025-07-02 12:48:33+00:00
It is important to remember that the hives out in the woods are not wild but cast-off swarms of domesticated honey bees, and that the mating behavior of honey bees will fold in genetics from many hives in a region ( drone congregation areas represent feral and backyard and commercial hives in a rather vast area ).

The genetic research seems to point to the opposite happening - that because of pressures on honey bees from pesticides or pests ( and thereby viral pressure carried by various pests ) the feral and commercial populations track quite closely.

https://www.nature.com/articles/ncomms8991 - there's a lot here specifically relevant to this discussion but especially note the emergence of African Honey Bee genotype in wild populations. This paper is from 2015 analyzing the biodiversity response to the arrival of V. destructor ( varroa mites ) and Africanized bees were introduced in the early 1990s as well.

The take-away is that until you have a 3 mile separation of water, assume that populations of bees in a land area are more related than not and face similar pressures in a given climate, whether feral or managed. Honey Bees especially ( but of course every living thing ) should be managed with an ecosystem mindset.
by shadowgovt | 2025-07-02 12:48:34+00:00
We haven't gotten to the part of the trial for Anthropic yet where we determine whether they actually broke the law when they downloaded from pirate sites. Copyright has multiple exceptions. And on the topic at hand here (training on YouTube videos to understand space and relationships in it), I don't think even Google would want to make the case that it's a violation of copyright.

That's the thing about copyright; it's a whole category of law more based in utility than morality. One of the reasons AI is such a fight right now is that nobody was opposing it as an academic project when it was generating, for example, tools that could go from an image to describing the image, or from an image to recognizing the likely artistic style and helping somebody find the original artist. But with just a few tweaks those tools became devices for generating novel images, and now people are upset. Intent matters.

And again, you are drawing equivalence between harvesting data from openly accessible sources online and hiding a server in a closet with unauthorized physical access to a network. Swartz's prosecution wasn't accusing him of copyright violation; it was accusing him of compromising a network. A far more serious charge; if the researchers in the story here had collected those YouTube videos by wiretapping the fiber optics between two of Google's data centers I suspect they would have concerns.
by DinoStarcic | 2025-07-02 12:49:25+00:00
SEEKING WORK | CENTRAL EUROPE | REMOTE Premium service, fourteen person team of developers + 2 PMs + 1 QA + 1 UI/UX designer, focused on the design & development of web and mobile products and custom integrations. Working with EU & USA (EST & PST) clients from funded AI startups to corporations (Fortune500) Can work as an outsourced team or cover the full product development cycle. Email: info [at] higroup.io Website with portfolio: www.higroup.io Rate: Either fixed per project or $65/hour; Fast turn around. You receive a quote in 48 hours. ----------------------------------------------------------- Location: Slovenia, Ljubljana, European Union Frontend: HTML5 (Bootstrap,Tailwind etc.), CSS3 (Sass), JavaScript (Vue.js, Nuxt.js, React), Three.js Backend: PHP (Laravel), GO and Node.js (NestJS), Python (FastAPI) Mobile: Flutter Databases: MySQL, NoSQL, MongoDB Platform: AWS, Azure, Oracle, DotDigital, Terraform Integration experience: Stripe, Mollie, PayPal, Klarna, BigCommerce, Contentful, hygraph, Directus ... ----------------------------------------------------------- We always listen to the needs and wishes of our customers when advising on product realization, we can proudly say that customer satisfaction is our guarantee.