MurphyA/hacker-news huggingface dataset:
by immibis | 2025-07-31 14:05:50+00:00
Besides the never-ending back-and-forth between the EC and the EP [1] what are the latest anti-free-speech moves you've seen in the EU?

Germany's gotten more freedom online since the EU DSA forced them to abandon their idiotic strict liability law for online activities [2]. You can't criticize Israel, but you never could - that's not a new thing.

[1] basically "Can we have mass surveillance now, pretty please?" "No and fuck off" "Please please please please please?" "No" "How about now?"

[2] they would trace the activity as far as they could, and whoever they couldn't trace further beyond was automatically fully liable for that activity. Public wifi was effectively illegal, because you'd suffer the full consequences for anything anyone did with the connection, until a few years ago when they carved out an exception, but it still remained generally illegal to share a connection in other circumstances until the DSA.
by mehulashah | 2025-07-31 14:06:03+00:00
Fantastic post. I became a manager in the style of the Steve Jobs philosophy— take one of your best individual contributors and make them oversee the work of others. Professional managers didn’t work out well for Apple, but the approach of letting growing leaders lead did. This post misses out on the important point to rely on your instincts because that’s why you’ve been put in that position.
by jerf | 2025-07-31 14:06:04+00:00
OK, but you're not in "Go"-specific problems any more, that's just concurrency issues. There isn't any approach to concurrency that will rigorously prevent programmers from writing code that doesn't progress sufficiently, not even going to the extremes of Erlang or Haskell. Even when there are no locks qua locks to be seen in the system at all I've written code that starved the system for resources by doing things like trying to route too much stuff through one Erlang process.
by jonkoops | 2025-07-31 14:06:36+00:00
I have to be honest that I don't really understand the appeal of Ladybird from a purely technical perspective. It is written in C++, just like all the existing engines (yes there is some Swift, but it is negligible), so what benefit does it provide over Gecko or Blink? With Servo, I can see there is a distinct technical design around security and parallelism.
by koolba | 2025-07-31 14:06:46+00:00
> The basic structure of representative democracies ensure that representatives are largely drawn from the class of the idle rich and upper-class who can afford to stop working at a relatively young age.

That's what this purports to solve. By having the direct compensation for being an elected member of Congress be high enough that it would provide a well compensated life for someone who is not rich before becoming a politician.
by armchairhacker | 2025-07-31 14:06:46+00:00
IME Lean and Coq/Rocq are used more in practice, and have bigger libraries and communities, than Idris and Agda.

Rocq is the most common for program verification, but I suspect mainly due to it being older, and it has weird quirks due to its age, so Lean may catch up. Lean is the most common for proving mathematical theorems.

Big projects verified in Rocq include CompCert, CertiCoq, and sel4. Additionally, some large companies use Rocq to verify critical software like in airplanes (there's a list at https://github.com/ligurio/practical-fm although it may not be accurate). Big projects in Lean include mathlib (collection of various mathematical proofs), and the ongoing work to prove Fermat's Last Theorem (https://imperialcollegelondon.github.io/FLT/) and PFR (https://teorth.github.io/pfr/). I'm not aware of "real-world" projects in Idris and Agda but may be wrong.

That said, they're all small communities compared to something like C++ or JavaScript. Moreover, verifying programs is very slow and tedious (relative to writing them), so I wouldn't be surprised if we see a big breakthrough (perhaps with AI) that fundamentally changes the landscape. But remember that even with a breakthrough your skills may be transferable.
by skeeter2020 | 2025-07-31 14:06:47+00:00
>> At my day job we use a platform called Bonusly for people to give little shout-outs (shouts-out?) to their peers for doing something awesome. I rarely get any awards here, but people on my teams get them all the damn time and to me that speaks incredible volumes.

I view this as you won't see a good manager's fingerprints on the thing that receives the recognition, but you will find them all over the people who are being recognized. It's harder to get a dopamine hit from this but like protein over sugar, it lasts longer & helps build you as a manager.
Show HN: Coroot – AI powered Root Cause Analysis using eBPF-based telemetry
by openWrangler | 2025-07-31 14:08:01+00:00
Hey HN,

We launched Coroot a while ago as an open source observability tool that collects complete telemetry using eBPF. Today we are adding a major new capability:

Coroot enterprise now includes AI-powered Root Cause Analysis.

When an incident happens (like an SLO violation), Coroot:

- Automatically kicks off an RCA

- Summarizes what went wrong in plain English

- Suggests immediate fixes

- Shows the full investigation using metrics, logs, traces, and profiles

With most tools, the quality of root cause analysis depends on how well the system is instrumented. Coroot takes a different approach: it uses eBPF to collect all the critical signals automatically, even from uninstrumented or third party services. That gives the AI a much more complete picture to work with.

We are keeping it simple and accessible at $1 per monitored CPU core per month. Our core tool is also completely open source at: https://github.com/coroot/coroot

You can try it for free or view a demo with the link connected to this thread. We'd love to hear your thoughts!
by lesuorac | 2025-07-31 14:08:19+00:00
> This is like the CEOs who "only get paid $1"

We're so obviously talking about total compensation. CEOs making $1 while getting billions in stock appreciation or literally hundreds of millions in stock grants are not making $1/year by any reasonable definition.

> f you don't think that being in congress is a good way to make lots of money right now I don't know what to tell you

So, you want to keep the status quo where the people who are correctly compensated for their role are the ones willing to front-run their own citizens? (And also spending their time front-running instead of their elected job?)
Show HN: AgentMail – Email infra for AI agents
by Haakam21 | 2025-07-31 14:08:33+00:00
Hey HN, we're Haakam, Michael, and Adi. We're building AgentMail (https://agentmail.to/), an API to give AI agents their own email inboxes. We’re not talking about AI for your email, this is email for your AI.

We started building email agents because they can converse with users in their inboxes, automate email-based workflows, and authenticate with third-party applications. Given these unique capabilities, we think email will be a core interface for agents.

But we were building on top of Gmail, which was a struggle: poor API support, expensive subscriptions, rate limits, sending limits, GCP Pub/Sub, OAuth, crappy keyword search, and an overall terrible developer experience.

Gmail and other providers didn’t work for us. So we decided to bite the bullet and build our own.

AgentMail is like Gmail, but API-first, with programmatic inbox creation, events over webhooks and websockets, simple API key auth, organization-wide semantic search, structured data extraction, and usage-based pricing that scales with emails sent/received.

Here’s a demo of building an email agent: https://youtu.be/1V7BISeFUTM, and here’s a demo of a voice agent with its own email inbox: https://youtu.be/eG2fCsRK4RY

So far AgentMail has been deployed to use cases such as apps with dedicated inboxes for each user, voice agents that receive documents in real time, automated account provisioning and QA testing, cold outbound platforms with thousands of inboxes, automations for processing invoices, and agents that coordinate work with humans and other agents.

We would love to hear your thoughts and feedback. You can try our playground at https://chat.agentmail.to
by anaisbetts | 2025-07-31 14:09:29+00:00
The entire world realized that now that the Internet has killed off all of the third places / IRL meetings, and social media killed off the decentralized Internet, it's quite easy to fully control the discourse around any topic, since only a few social media organizations effectively decide what everyone sees (even if you're independent, Social Media decides which ideas/content gets traffic).

Question is, how do we get ourselves out of this tar pit?
by MrGilbert | 2025-07-31 14:09:39+00:00
Agile Coach / Scrum Master chiming in - I switched from an engineering position to this more people-centric role, and completely agree with you.

What I find fascinating about this is how predictable people become once you know the different personalities and their nuances. It helps tremendously to also be interested in getting to know people. And yes, you will encounter people that are disruptive. Usually, and I can only speak for my environment, the team itself is quite good at handling that. I just need to give them room and provide a setting where they can talk about the issues at hand on a constructive base.

That's why I love my job, and it may sound weird - but I'm the guy who can ask all the obvious questions that come to mind and others don't dare to ask. I love that I can build myself a toolbox to use in different (and difficult) situations. And I love to see my team succeed on the one hand, and learn from failure on the other.
by theli0nheart | 2025-07-31 14:09:48+00:00
This was a good article but it doesn't even mention the hardest part of management: hiring and firing people.

I feel like a discussion of management without those components is missing something critical. Maintaining high performing teams requires that you get really good at this. This article makes it seem like the job is really just talking to people and making sure they're motivated, but in my experience that's the easiest part of the job.
by GhosT078 | 2025-07-31 14:10:15+00:00
All editions of Ada have supported operator overloading, complex (rich) type definitions, generics, built-in concurrency, etc. It was overlooked for too long but seems to be getting attention and increased usage again.

Ada provides ways of restricting the features you use (i.e., specify your own subset if you like). Its also scalable from very small to very large projects.
by conductr | 2025-07-31 14:10:42+00:00
I can relate but I feel it’s actually a deficit of energy. Parenting has consumed my energy. It’s not entirely physical or mental draining but just enough constant pressure that it leaves little overhead to really dive deep into a hobby. Both my bandwidth for learning and doing has been depleted. I might have a surge of energy for a couple days but it’s hard to sustain when the choice of pushing forward means stealing from my energy that I could reserve for my family, the family always wins.

I am still interested in a lot of things and try to casually read about them or watch YouTube videos on the topic. But I don’t get hands on as much as I used too. I have the time but I’ll be less present and focused with my kids tomorrow is what I’ve learned. If I dive into something today, I’ll be extra introverted tomorrow as my brain is still spinning on it tomorrow. Yes, I have trouble context switching sometimes. My energy tomorrow will be less if I spend my time today creating versus if I am consuming which tends to be passive even if I am learning and feel like I’m being productive (I’m really not ).

I do think it will return. I’m trying to be present in my kids life at the age they want me present. Before long, they’ll have their own life and hobbies and then they’ll be out of my house. I think each of those will mark steps in my return to my former self. I was selfish with my time before because it didn’t really effect anyone, being selfish with my time now would cause me a great deal of regret and at the end of the day I value family well beyond my own interests and hobbies.
by echelon | 2025-07-31 14:11:38+00:00
Questions for the Rust UX experts:

Is Dioxus (or Leptos) much more performant than Tauri/Electron?

I want to (1) build blindingly fast, low-latency, super performant UX for users, which precludes Tauri/Electron (something I'm currently using and unhappy about), but I also want to (2) maintain developer velocity, (3) have access to nice UX primitives and widgets, and (4) have it look nice and modern.

Javascript/browser-oriented frameworks make requirements 2-4 easy, and it has the side benefit of also making hiring easy (not a requirement per se). But the results feel so bloated and anti-Desktop/native. It gobbles up RAM and renders slowly, even when best practices are used. It's the very definition of a double-edged sword.

Are these four requirements simply impossible to satisfy together for native Rust UX toolkits right now?

Rust's egui looks amazing, but I doubt you'd be able to build a very complicated UX with it. Or if you could, it might take you half a year to deliver.

Iced also looks cool, but looks less featureful.

Are there any "non-browser" Rust UX toolkits that aren't dated GTK/KDE frameworks, but that can build graphically-oriented (not just text/button widget) programs?

If I were building a "slimmed down photoshop", are there any Rust GUI toolkits to reach for? Or if I were incorporating a Bevy or 3D render pane?
by Catbert59 | 2025-07-31 14:11:54+00:00
The only safe communication is decentralized communication, capable of multiplexing multiple techniques (IP, BLE, LoRa, etc.) under the hood of cryptographically safe routing and messaging algorithms that work over unreliable links.

Maybe even with small-range offline radio mailboxes so you can deliver and gather messages from/to highly suppressed people which then can be send back into the "online" network automatically without further interaction.
by gchamonlive | 2025-07-31 14:12:09+00:00
It's unsurprising, customs and habits play a really large role in behaviour of crowds. It's obvious from the point of view of some individuals, but a crowd of people functions less like a cohesive and intelligent system and more like a fluid. I'd be surprised if this wouldn't hold true by crowds of people in traffic and other situations where they have to self-organize.
by refset | 2025-07-31 14:12:19+00:00
> In the end, one way of stating the conclusion of this model is that a social group is a form of tool for economic benefit, and the other tools we create build on the cognitive underpinnings of social interactions. Indeed, in the modern world, we often spend more time working with and getting to know our tools and processes than with friends and family members.

> One important implication of our findings from the Wikipedia editors study is that work groups (sets of individuals collaborating on a task) are strictly limited in size to around four individuals. Larger groups fail to coordinate effectively, are more prone to disagreements and conflicts and consequently shed members rather than recruit new ones. This finding has profound implications for how we organize work groups in order to maximize production of technology.

It would be interesting to validate this with GitHub contribution data.

I came across this paper while skimming through Mark's recent blog post on knowledge graphs and LLMs: https://mark-burgess-oslo-mb.medium.com/the-role-of-intent-a...
by whilenot-dev | 2025-07-31 14:12:38+00:00
So many to choose from (in alphabetical order)...

- Bytebeat: https://dollchan.net/bytebeat/ (https://greggman.com/downloads/examples/html5bytebeat/html5b... !Warning loud!)

- Cardinal: https://cardinal.kx.studio/live

- Glicol: https://glicol.org

- Kabelsalat: https://kabel.salat.dev

- NoiseCraft: https://noisecraft.app

- Strudel: https://strudel.cc (https://github.com/terryds/awesome-strudel)

- Tidal Cycles: https://tidalcycles.org
by Jcampuzano2 | 2025-07-31 14:12:42+00:00
One thing I struggled with when I was a "manager" before going back to individual contributor is that at every job I've had this far - I have never worked directly for my manager nor when was I a manager did I directly oversee my reports.

This seems to be fairly common in tech and consulting. How am I supposed to succeed at a manager if I have no fucking clue what my reports are going to be working on?

I feel like this is a failure in either companies not knowing how to setup management for technical roles, or I was given 0 training on this and it resulted in me not knowing what the hell to do all the time with my reports.

The claim in this article is that my job was no longer to do work, but in every role where I reached manager I absolutely was still expected to do my own work. I just also had to vaguely guide some other person and give them reviews and feedback while never having worked with them in my life.

Maybe I was unlucky but these stints at management left a sour taste. I'm not even sure I would call my experience "management" except companies kept naming it that.
by silentpuck | 2025-07-31 14:12:44+00:00
I think the real sadness is that many developers may stop learning the deeper fundamentals — the things that AI can't replace.

When people start relying on the "I just want it to work this way" mentality and let AI take over, they can lose track of how things actually work under the hood. And that opens the door to a lot of problems — not just bugs, but blind trust in things they don't understand.

For me, the joy is in understanding. Understanding what each part does, how it all fits together. If that disappears, I think we lose something important along the way.
by dmesg | 2025-07-31 14:12:51+00:00
It is against it and the law was revoked twice already by liberal politician SLS: 2nd March 2010 - 1 BvR 256/08 I don't like this rhetorical style were easy to prove facts are denounced with questions to evoke uncertainty.

If you now say this is not applicable as this is about storing connection data you don't understand the issue in full: This is a deeper incision than just storing connection logs. This violates a more fundamental right. We are talking about chats here. Not what IPs you connected to at what time (and that law was canned as violating the entire constitution, which i cited with the state's decision above). There is no middleground here.
by imcritic | 2025-07-31 14:12:58+00:00
I call bullshit on this article and most of its arguments. The article was written out of fear felt as programmers' gate keeping falls apart and programming becomes generally more available to the broader auditory.

A quote from the article:

> Programming is fundamentally theory building, not producing lines of code. We know this.

Well, then you should understand that the "vibe coder" is someone with the idea for the code and during the vibe code session they build the theory for the program. Coding is less important than the idea behind the code.

So what the resulting code is "one use" and "legacy" or whatever if it does the job? If the vibe coder has saved their prompts - it could be later reproduced, improved and extended just the same way!
by dylan604 | 2025-07-31 14:12:59+00:00
I have yet to see a micropayments idea that makes sense. Its not that I refuse. You're now also climbing up hill to convince people (hosts) to switch from ad tech to new micropayment system. There is soooo much money in ad tech, they could do the crazy thing and pay out more to convince people not to switch. Ad tech has the big Mo
by DoctorOetker | 2025-07-31 14:13:01+00:00
people jest, but they will jest less once they think a little more critically: how can cryptography experts expound the security of such and such cryptographic primitives involving discrete numbers, exponentiation, ... but be unable to come up with alternative proofs of FLT? ... but be unable to individually formalize existing supposed proof of FLT? ... but be unable to find a more succinct proof of FLT? who knows their way around the block, if the consensus is that Fermat did not possess a proof but Wiles did finally find a proof, who knows their way around the block, if a much more succinct proof than Wiles long-winded-anc-to-this-date-not-formally-verified-proof?

would you jest less?
by SecretDreams | 2025-07-31 14:13:19+00:00
> I wouldn't call that stealing. It is a forced refund.

Respectfully, what the hell are you talking about?

Imagine you work 40 hours making an app and I pay you for those 40 hours. A third party comes in and says, I'm forcing a refund here - you lose the money you made, but you get the app you made.

How do you feel about this forced refund?
by davidmurdoch | 2025-07-31 14:13:37+00:00
I've had a simple game website with a sign up form that was only an email address. Went years with no issue. Then suddenly hundreds of daily signups with random email addresses, every single day.

The sign up form only serves to link saved state to an account so a user could access game history later, there are no gated features. No clue what they could possibly gain from doing this, other than to just get email providers to all mark my domain as spam (which they successfully did).

The site can't make any money, and had only about 1 legit visitor a week, so I just put a cloudflare captcha in front of it and called it a day.
by bitwize | 2025-07-31 14:13:50+00:00
I do not seem to be experiencing this issue on my work machine, which is a 64 GiB MBP, running Homebrew's version of Emacs. It runs fine, but the endpoint security software activates every single time a binary is run, which means that Emacs workflows heavy on spawning subprocesses, like magit, tend to be slow.
by jm4 | 2025-07-31 14:14:32+00:00
You should look into why they chose it and what their implementation plan is. They evaluated multiple languages, including rust. There were some specific issues with rust that made it unsuitable for them. Swift was a bit of a dark horse candidate that the developers ended liking.

There is no immediate plan to switch to anything so it’s still C++. They may not ever switch. Swift’s cross platform support isn’t there yet and that’s a prerequisite.
by johndhi | 2025-07-31 14:14:45+00:00
the "few illegal reasons" are able to be leveraged by almost any employee to write a letter and/or lawsuit suggesting they were fired for the wrong reasons. if you didn't internally document -- exhaustively -- how bad they were, and also assuming they didn't expertly document -- exhaustively -- how great they were and how unfairly treated they were as an employee -- it winds up being a gigantic pain in the ass and almost always better for the company to simply pay them $200k as a settlement to said lawsuit. And that comes out of the budget of a department who doesn't have $200k to spare.

That's why it's so hard.
by ericpauley | 2025-07-31 14:15:36+00:00
One of the coolest things about gVisor to me is that it's the ultimate implication of core computer engineering concepts like "the OS is just software" and "network traffic is just bytes". It's one thing to learn these ideas in theory, but it's another altogether to be able to play with an entire network stack in userspace and inject arbitrary behavior in the OSI stack. It's also been cool to see what companies like Fly.io and Tailscale can do with complete flexibility in the network, enabled by tools like gVisor.