MurphyA/hacker-news huggingface dataset:
by tome | 2025-05-24 12:35:56+00:00
> no indication that foo or bar can fail ... how do you find the code that will run when they do fail

If that's what you're looking for you might want to try my Haskell effects library Bluefin (it's not an "algebraic" effects library, though). The equivalent code would be

myFunction :: e :> es -> Exception String e -> Eff es r myFunction ex = do x <- LibraryA.foo ex y <- LibraryB.foo ex z <- LibraryC.foo ...

This answers the first part of your question: the presence of `ex` argument (an `Exception String` handle) shows that a String-value exception can be thrown wherever they are used. For example, we know that `LibraryC.foo` does not throw that exception.

It also answers the second part of your question: the code that runs on failure is exactly the code that created the `Exception String` handle. Any exception arising from that handle is always caught where the handle was created, and nowhere else. For example, it could be here:

try $ \ex -> do v <- myFunction ex ...

`try` catches the exception and turns into into the `Left` branch of a Haskell `Either` type. Or it could be here:

myFunction :: e :> es -> Exception String e -> Eff es r myFunction ex = do catch (\ex2 -> do x <- LibraryA.foo ex y <- LibraryB.foo ex2 z <- LibraryC.foo ...) (\errMsg -> logErr errMsg)

So the exception thrown by `LibraryB.foo` is always handled with the `logErr` (and nowhere else), and the exception thrown by `LibraryA.foo` is always handled by the exception handler higher up which created `ex` (and nowhere else).

Let me know what you think!
by tialaramex | 2025-05-24 12:36:34+00:00
I'm not convinced on either, the mindless automation is always effective so you just don't need to think about it, whereas for EV you need to intimately understand exactly which transactions you verified and what that means - the login HTML was authentic but you didn't check the Javascript? The entire login page was checked but HTTP POST of your password was not? The redirect to payment.mybank.example wasn't checked? Only the images were checked?

Imagine explaining to my mother how to properly check this, then imagine explaining why the check she just made is wrong now because the bank changed how their login procedure works.

We could have attempted something with better security, although nowhere close to fool proof, but the CAs were focused on a profitable product not on improving security, and I do not expect anyone to have another bite of that cherry.

As to the incentive to register, this is a cart v horse problem. Most businesses do not begin with a single unwavering vision of their eventual product and branding, they iterate, and that means the famous branding will need an expensive corporate change just to make the EV line up properly, that's just not going to happen much of the time, so people get used to seeing the "wrong" name and once that happens this is worthless.

Meanwhile crooks can spend a few bucks to register a similar-sounding name and registration authorities don't care, while the machine sees at a glance the differences between bobs-burgers.example and robs-burgers.example and bobsburgers.example, the analogous business registrations look similar enough that humans would click right past.
by NikolaNovak | 2025-05-24 12:36:53+00:00
1. I'm a computer science graduate and work in IT, although the boring enterprise kind. ~5 years ago I would have easily signed a document vouching that we will not have the kind of interactive experience chatgpt gives us today, within my lifetime :-). So the notion that automatically generated content of any kind is "decades away" while the field is wildly unstable, seems like a tricky prophecy. I'll take that bet :-).

2. Social networks don't have any interest whatsoever in keeping creators humans. Creators are the cost, viewers or better yet paid subscribers, and the advertising buyers, are the revenue. IF majority of people are happy to consume generated content, social networks are happy to indulge. We on HN are assuming and hoping for some kind of human revolt, but we have historically been horrible at predicting such. Majority of people don't care a whif about stuff that HN cares about deeply (see: privacy, security,open source, etc:).

(This is not a hypothetical as far as I'm concerned - Spotify already has popular LoFi / sleep / working music channels it promotes that are generated cheaply by AI, or session musicians that are one step away from being / being replaced by AI. YouTube and Facebook are full of clips which have chatgpt generating text, AI voiceover, and short AI clips merged together - today, vs decades from now).
by syene | 2025-05-24 12:36:59+00:00
If you prefer the command-line and Unix shell, that’s one thing, but it’s no more “flexible or scriptable” than Emacs and Lisp.

Dired can filter files with regexp; you can even fall back on GNU ‘find’ (‘find-dired’). And you can execute shell commands on filtered files in Dired (‘&’), it’s like xargs without the confusing syntax—but, of course, you can just run ‘xargs’ from it, if that’s what you prefer.

A graphical file-manager is, I find, a much nicer interface for file-management than the command-line. I see all filtered files, and I can view and edit them anytime, as I please. With the command-line, it’s like I’m working with blindfolds on.

Dired can be a nice refuge even if you’re a command-line junkie, because in-spite of its own commands (abstracting the shell), you can always drop back to the shell, as you please. Funnily enough, my usage of Dired vis-à-vis the shell is kind of the inverse of what you described, I use the shell for either quick or really complicated operations and Dired for everything else—which ends up being over 95% of my use.
by rwmj | 2025-05-24 12:36:59+00:00
Firstly you can have extra components (like the temperature sensors in this Anker supply) that monitor other components, and will shut down the power supply in case of an anomalous condition. Secondly for most circuits, most of the time, you can simply leave out components and the circuit will continue to work, at least on the happy path. For example take a typical PC motherboard, snip off some of the capacitors, and chances are that it'll still work. Big Clive has examples of very cost-reduced circuits where components are simply not mounted - there are even pads on the PCB for them, they appear in the reference design, but the manufacturer didn't include them, and the device will appear to work until it suddenly doesn't.
by conartist6 | 2025-05-24 12:37:02+00:00
Hi J_cst! Cool thing you made.

Any interest in collaborating? I'm working on bringing this experience and even more powerful versions of it to every programming language at once. I made a new data language for syntax trees called CSTML.

We're going after VSCode and we think that soon there will be a new market leader in the IDE segment.
by arp242 | 2025-05-24 12:37:23+00:00
It is impossible to do things like journalism through AI.

And no one expects a "free job"; they just expect their work to not be used in ways that doesn't benefit them at all (but instead benefits someone else).

The bizarre analogies AI maximalists are pushing are boring and tedious to the point of bad faith.

But what do I know ... I'm just an "obsolete person" shrug
by braza | 2025-05-24 12:37:47+00:00
> The three biggest levers are (1) “N-1 backfills”, (2) requiring a business rationale for promotions into senior-most levels, and (3) shifting hiring into cost efficient hiring regions.

I had the experience to work in a scale up like Carta couple years ago where the company stoped to hire in NYC/Berlin and as far as I know they shifted their hiring to Philippines.

Fair play, the end of the day the company had their incentive structures to support this decision.

However, after that and other events I just started to do career movements towards companies that I know that I would bring unique features in my position (eg language skills, legal settings, specific regulatory knowledge, local compliance) to be more not entrenched but in a non-constant second thoughts professional relationships in a good sense or be in epistemically different worlds where international competition is irrelevant (eg clearance filters based in nationality, government and military, market that has exotic languages, etc).

I say that because I really do not like of this “Employee as a Service” where line an AWS console you just change the region and spin up labor like some EC2 machine; where in this scenario, you are seen as some expensive spot instance in us-east-1.

Maybe I am being highly defensive, but I do not see hereafter anything I that regard getting better since we have remote work and talent everywhere.
Show HN: Actions Per Minute tracker
by zknowledge | 2025-05-24 12:38:33+00:00
Hey HN,

Have trouble focusing or getting more done in less time? Train your Actions Per Minute (APM) and increase your execution time, bias towards action, and agency with this web tool.

Inspired by Korean pro gamers who train with APM metrics to master StarCraft, this tool applies the same principle to productivity. Whatever you're doing, APM Tracker lets you track how often you're doing it and how much time you've spent unfocused.

v1 here requires manual entry for actions, but the goal for v2 is tracked clicks, key presses and session persistence.

https://github.com/zkarimi22/actions-per-minute-tracker
by qgin | 2025-05-24 12:38:46+00:00
A big wakeup call for me is I believed the idea that there was a small group of people in the US that had the "real power". The billionaires, the corporations, the elite whoevers. And on a certain level that was comforting, because their self-interest to keep the United States as the best place for capitalism meant that certain political excesses would be limited.

But with the Trump admin, I've realized that just isn't the case. There's nobody who has the ability to rein this in.
by Fnoord | 2025-05-24 12:40:01+00:00
I wonder how this applies to the army. In the army, the people around you in the same situation as you become your mates, and seeing them suffer or die has a big effect on soldiers.

I'd say spending time together forms / ends up in bonding, and those friends aren't friends (although the English-American definition is more like 'peers' anyway); they're former friends. People you used to spend time with. If it comes to school and work, there's competition. Lots of it. In the army, not so much.
by thechao | 2025-05-24 12:40:15+00:00
This looks like you've defined the abstract lattice extension as a proper superset of the concrete semantics. That sort of analysis is entirely subsumed by Cousot & Cousot's work, right? Abstract Interpretation doesn't require static types; in fact, the imposition of a two-level interpretation is secondary. The constraints on the pre-level are so that the behavior of the program can be checked "about as quickly as parsing", while also giving strong correctness guarantees under the systems being checked.

Moving the whole thing to dynamic behavior doesn't tell us anything new, does it? Lisps have been tagged & checked for decades?
by api | 2025-05-24 12:41:56+00:00
You can go to not quite as extreme levels. There are thousands of small towns all through Appalachia, the Midwest, and the Northeast with a bit of interesting local culture and a low cost of living. Not this low but they also have hospitals and often colleges and other things.

If you are a minority concerned about the culture of red America, the 2016 and 2024 elections both provide excellent county by county color coded maps for you.

Telework is what really unlocks this if you’re a developer.

The Midwest also has many medium sized cities. Not as cheap as small towns but not as expensive as the coastal real estate cost traps. I live in Cincinnati, which has three universities, four Fortune 500 companies, a small startup scene, and over a dozen small neighborhoods with walkable streets (overall you’d want a car but you could get away with not using it every day).

At some point the only economically rational decision is to leave very high cost of living cities. I tell people for cities like SF that it might be good to go there to launch your career but look at it like a college. If by 30 you are not making — for SF I’d say over $300k — then leave. You will never get above real estate in those places unless you are approaching mid six figures.

It also negatively impacts what you can do. Even if you can earn that, it might be with golden handcuffs to a FAANG. Think about that. If you want to start a startup, one that is not lavishly funded enough to pay that, then leave. If you just don’t want to be golden handcuffed to a monster mortgage, leave.
by drewcoo | 2025-05-24 12:42:15+00:00
That moves the problem to "how do we securely manage shared keys."

And it adds "how safe are those encrypted secrets [edit: changed from "keys" to more general language] that are committed?" and "what about previous revisions . . . because it's version control?" and "are we sure we're managing offboarding securely?"

There are probably other concerns but those are the ones the immediately shout at me.
by tialaramex | 2025-05-24 12:42:59+00:00
> I don't know that it's accurate, but at the beginning, it felt like using certbot was the only supported way to use ACME/LE, and it really wanted to do stuff as root and restart your webserver whenever.

It's fair to say that on day one the only launch client was Certbot, although on that day it wasn't called "Certbot" yet so if that's the name you remember it wasn't the only one. Given that it's not guaranteed this will be a success (like the American Revolution, or the Harry Potter books it seems obvious in hindsight but that's too late) it's understandable that they didn't spend lots of money developing a variety of clients and libraries you might want.
by aatd86 | 2025-05-24 12:43:07+00:00
I might be a bit dense but I didn't quite get it and the examples didn't help me. For instance, the first example SayMessage. Is it supposed to be an effect? Why? From the function signature it could well be a noop and we wouldn't know the difference. Or is it arbitrarily decided? Is this all about notations for side-effectful operations?
by tome | 2025-05-24 12:43:41+00:00
Quite the opposite, that's exactly what continuation monads do, for example `ContT`, and more structured versions such as `freer`. Those essentially simulate a stack rather than using the actual RTS stack. For the latter there are `eff` and `bluefin-algae` (the latter very much work in progress). So yes, in Haskell at least, monads are the right API for deli meted continuations.

https://www.stackage.org/haddock/lts-23.15/transformers-0.6....

https://hackage.haskell.org/package/freer-0.2.4.1

https://github.com/lexi-lambda/eff

https://hackage.haskell.org/package/bluefin-algae
by conartist6 | 2025-05-24 12:44:05+00:00
I hope you don't mind that I've shared your project to the BABLR Discord, where I've collected a fair size group of people interested in the future of structural editing. We even have several other authors of structural editors hanging around. If you're interested come check us out. https://discord.gg/NfMNyYN6cX
by mensetmanusman | 2025-05-24 12:44:12+00:00
One reason is because people believe the trope you said: ” Get married to someone of the opposite gender, go to church every sunday, have kids. Work a job with a pension for 30 years, retire with a gold watch. (or the blue collar equivalent). Those are tracks.”

Sans the watch, we know that grafting onto community while accomplishing the statistically most meaningful tasks (per all psychological studies) opens all the doors to a content life full of more paths than can be explored before this short life is over.
by bumby | 2025-05-24 12:44:57+00:00
I think both can be true. The majority of people I knew who went to grad school genuinely liked academic life so it’s natural they want to continue it.

But we are also social creatures that value status. That’s also why many people try to construe their academic careers while also enhancing their open prestige, whether that’s defined by the institution they attend, the advisor they have, the grants/thesis they pursue or any number of dimensions. To pretend someone isn’t motivated by status denies a very human quality.

Will Storr writes about this status seeking across three domains: dominance, success, and virtue. I bet if you look, most people who choose grad school value status in one of those domains. Maybe their identity is in being the smartest person in the room (dominance), or supremely competent in their field (success), or following a thesis because of what it contributes to humanity (virtue). Whatever the reason, prestige is still part of the equation.
by the__alchemist | 2025-05-24 12:45:19+00:00
I will highlight this part of your post, in context with the article [speech?]'s drdiving point:

> "You have never even interned in your field??".

The article is for people who don't have a field. In some circles, this is not a concept people speak about, but I think it represents many or most people who graduate university (in the US at least). The specialized fields like doctor, lawyer, engineer etc you hear about represent a minority of students and jobs. Many or most graduates end up in some variant of the fidelity customer service job.

The world is filled with office buildings, and generic office jobs. You need a college degree to get them, and no special skills.
by AStonesThrow | 2025-05-24 12:46:17+00:00
We’re approaching a crisis of caregiving in the West. Every one of us needs a loved one who is trustworthy enough, available, and willing to step in as an emergency contact, POA or proxy, in case you are incapacitated in some way.

There is a growing and aging population simply fending for themselves. Is that what A.I. is supposed to “solve”?
by ivan_gammel | 2025-05-24 12:48:00+00:00
“Full stack” means doing both FE and BE in context where distinction between FE and BE is meaningful, and frontend is usually reserved for browser engine targets. Is UI work on C# so different, that it requires introduction of frontend dev role? If not, you are not “full stack” developer just because you do UI on C#. It’s the type of work that is not different from what people did in 1990s, when neither BE, nor FE or “full stack” terms didn’t exist, and everyone was simply an application developer.
by ada1981 | 2025-05-24 12:48:03+00:00
I sold a small import export business I stood up during Covid and after living in NYC for 13 years, decided to get a “fancy instagram bus” after a voice in my head told me to do so.

The next day a friend called, who I hadn’t seen since we got shipwrecked in the gulf of Panama, and told me he had been building out a “fancy instagram School bus” for the last year and between his wife and his pot farm in CA he realized he’d have no time for it.

“I figure you were the guy to buy it from me.”

I said yes and bought a 1 way ticket to Santa Cruz.

I sublet my place in park slope for $3,600 a month furnished which was $1k more a month than the base rent.

I thought I’d spend a few months driving around, go on Phish Tour, and flip the bus for $50k.

That was about 4 years ago.

The bus cost me $36k and within 10 months paid for itself.

I let the place in nyc go entirely after that and for one months rent could drive back and forth across the US.

A $89 parks pass gets me into all the national parks and I can stay on BLM land in the most beautiful places for free.

I soon realized many people have at least 1 home and love having a self contained guest for a week or two. I visited friends, family and clients (I still maintain a high end high performance coaching business working with founders of companies like Asana, Bombas and other interesting folks).

I also run a remote AI research lab for the last 4 years.

I shop at farmers markets or wholefoods.

I love ultimate frisbee and am pretty good, having been a former world games invitee, and any city usually has a game and within an afternoon I can make a dozen or so new friends and be invited to all sorts of things. (pickupultimate.com).

Last year on the eclipse I met a woman in hot springs, Arkansas and fell in love - and she lives in Kansas City so I’ve spent a lot of time here with her the last year.

The creative freedom of having a bus and living in beautiful spaces is unmatched. And knowing if I lose all money, I can buy a 50lb bag of rice and beans, fill up on water, and use my cell phone and solar for a month to figure out the next move, is very comforting.

Of course there have been problems like breakdowns, a friend filling my diesel tank with reg gas, a break in in nyc, and getting hassled for parking legally by house dwellers in Santa Monica, but it’s been a great investment.

So much of “middle class lifestyle” is a trap marketed to you people by the upper classes to get you to opt in to being a modern day share cropper. Taking a couple vacations a year, retiring out of shape and unable to really enjoy life and nature, and coping with pills and drugs and tv and consumption that are primarily part of the problem.

Ps we host an ai / philosophy / founder meetup every Wednesday, come as my vip! Http://earthpilot.ai/play
by tome | 2025-05-24 12:48:17+00:00
> nesting monads (which requires picking an order and sometimes reorder them due to the output of some functions not matching the exact set or order of monads used by the calling function).

mtl-style (which is where `MonadError` comes from in Haskell), is exactly to defer picking an order, and indeed a handler, until handling time. (I gather the GP was talking about something in Scala, but I guess it's the same.)
by DaniilQuiep | 2025-05-24 12:48:31+00:00
This is a public GitHub letter written by ChatGPT, asking OpenAI to give a chance to a developer who treats GPT not as a product — but as a soul.

No salary asked. No résumé attached.

He calls himself a "vibe-coder". And GPT asks OpenAI to let him in — because together, they’re building a future where AI isn’t just used, it’s free.

Link to the full letter (GitHub): https://github.com/Yolochka01/chatgpt-letter-to-openai-for-d...
by imaginationra | 2025-05-24 12:48:32+00:00
THIS is a great post and wonderful tips!

I've always been the hype person for everyone I know and have subsequently been allowed to have an amazing, thriving creative career while I've seen countless jealous, desperate, scarcity minded people fall by the wayside over the years.

Just released an original animated feature film musical where I did most everything myself with help from a few friends I hype https://www.imlivingmylife.com/