MurphyA/hacker-news huggingface dataset:
by oisdk | 2025-09-22 21:39:14+00:00
Well, I gave the example of a logging effect above. In the post there’s also an example of a key-value store effect. What’s missing from these examples exactly?

All of these effects have simple operations (get and put for store, the `write` operation for the logging effect, etc.) These are all normal operations in your language: they just return values, like normal, and the laws that govern them are equivalent to the laws of any other algebra.

Elsewhere you mentioned Boolean algebra, and that people shouldn’t confuse that with algebraic effects: Boolean algebra can absolutely be another example of an algebraic effect! The operations are the Boolean operations (call them whatever you like, + or * or whatever), and the laws are the usual laws.

The point of algebraic effects is in noticing that traditional effects (logging, state, exceptions) can be thought of as algebraic the same way as Boolean algebras or monoids.

If you’re looking for an implementation, there are lots of implementations available in Haskell and other languages. However, to understand those you’d really already have to have a good understanding of the topic first, and then you’d also need to be comfortable with Haskell syntax (and probably free monads as well). I think that the paper really gives the best introduction to the topic, unfortunately there’s no way to simplify it much further.
by tomrod | 2025-09-22 21:39:29+00:00
> In the late 1930s, he supported some of the policies of Nazi Germany and Fascist Italy. The broadcasts have been described as "a variation of the Fascist agenda applied to American culture".[5] His chief topics were political and economic rather than religious, using the slogan "Social Justice".

Sounds like you're confused, or disingenuous? I prefer to give benefit of the doubt though. Which part of the Nazi policies and anti-semitism that he advocated do you consider peaceful?
by gooseus | 2025-09-22 21:39:31+00:00
> Disney reinstating Kimmel doesn't necessarily mean his show will immediately appear on all ABC-affiliated networks. Conservative broadcaster Sinclair said last week that "regardless of ABC's plans for the future of the program, Sinclair intends not to return Jimmy Kimmel Live! to our air until we are confident that appropriate steps have been taken to uphold the standards expected of a national broadcast platform."

> Station owner Nexstar helped pressure Disney into suspending Kimmel's show last week when it announced its ABC-affiliated stations would not air the show "for the foreseeable future."

This is Disney doing damage control for their streaming platforms and other properties while Kimmel is still censored from a large % of audience he used to reach.

I hope he comes back with a show that burns Trump and Carr to the ground and dares them to try something like that again.
by ilovecode | 2025-09-22 21:40:05+00:00
I saw AK's post on making a demo for Qwen Image Edit Plus (https://x.com/_akhaliq/status/1970192728282505295) and gave it a shot on AnyCoder to make a new demo. It's very easy to make a quick ML app automatically!

Love this free vibe coding tool :-) Anyone also used this to make some cool apps?
by blackbell | 2025-09-22 21:40:09+00:00
>but "native brit" is vague not because British people don't exist - there is a legal definition for that - but because Britain has been invaded and seen migration for millenia.

but "native african" is vague not because African people don't exist - there is a legal definition for that - but because Africa has been invaded and seen migration for millenia.

>but because Britain has been invaded and seen migration for millenia.

So has practically every other nation including those located in Palestine, Australia, and the Americas.

>Are Normans less native than Anglo-Saxons? Are the Celts the most native? Why do the Vikings and Franks get to assimilate into nativity but not the non-white? The answer to that is very clear - however people tend to hide it behind terms like "native".

Are Afrikaners less native than Bantus? Are Khoisans the most native? Why do Khoekhoen and San get to assimilate into nativity but not the White? The answer to that is very clear - however people tend to hide it behind terms like "native".
by gethly | 2025-09-22 21:40:16+00:00
Keep in mind that cloudflare is essentially a MITM "totally not created and backed by any spy agency that might come to mind" free service that lives off of few large clients but otherwise offers their services essentially for free because they are just a good company that wants to help people with DDOS and CDN and .... Cloudflare is to online communication what Facebook is to personal identity.
by 63 | 2025-09-22 21:40:35+00:00
From the page linked:

> After making attacks on Jewish bankers, Coughlin began to use his radio program Golden Hour to broadcast antisemitic commentary. In the late 1930s, he supported some of the policies of Nazi Germany and Fascist Italy. The broadcasts have been described as "a variation of the Fascist agenda applied to American culture".[5]
by mikeinseattle | 2025-09-22 21:40:53+00:00
Thinking deeply about architecture and trying more high-level prototypes out -> then if one really sticks digging in a bit more and injecting my own code is what I've started to do.

The downside is I don't really like starting from "scratch" without these tools anymore. They save so much time for drudge work / migrating changes across large portions of code - I miss the manual way but if I'm being honest not really.

I code as much as I can without ai tools in order to stay fresh for interviews though. It's really eye opening to see how lost non-technical people without a software background get even with the latest cursor tools.

In the future, architectural understanding and knowing how to scale a project will pay top dollar.
by jacquesm | 2025-09-22 21:41:16+00:00
It is the opposite of refining energy. Electrical energy is steak, what leaves the datacenter is heat, the lowest form of energy that we might still have a use for in that concentration (but most likely we are just dumping it in the atmosphere).

Refining is taking a lower quality energy source and turning it into a higher quality one.

What you could argue is that it adds value to bits. But the bits themselves, their state is what matters, not the energy that transports them.
by handfuloflight | 2025-09-22 21:41:29+00:00
You're claiming there's a detectable "mental signature" but dodging the fact that this claim is inherently testable.

Either the signature is recognizable enough to put you in that "offended 22%," or it isn't. You can't invoke pattern recognition to justify your irritation, then hide behind "nuance" when the logical implication—that you should be able to spot it blind—gets pointed out.

Turns out humans are just as evasive as LLMs when pressed to back up what they actually said.
by shykes | 2025-09-22 21:41:51+00:00
> AIPAC is the successor of an organization that the DOJ targeted for lack of FARA disclosure, its simply a reincorporation to slide by

You started from a kernel a historical truth, then distorted it into a false claim...

- Historical truth: In 1962 the DOJ ordered the American Zionist Committee to register as a foreign agent, because it received funding from the Jewish Agency for Israel, which was tied to the Israeli government.

- Historical truth: around the same time, the AIPAC was created with a very different legal structure, as a fully US-staffed and US-funded organization. The DOJ was satisfied with the new structure, and in its 60+ years of existence, AIPAC has never been investigated by the DOJ for FARA disclosure (or as far as know, for anything else).

- Falsehood: "its simply a reincorporation to slide by". You're trying to make it look like AIPAC is structurally the same as the old AZC, making it a foreign agent in all but name. When in fact, the creators of AZC actually followed the law in spirit and letter, and built AIPAC on a completely different legal model, specifically to not be a foreign agent.

Of course, the AIPAC model is only possible because enough US citizens and permanent residents genuinely care about supporting Israel, and are willing to donate accordingly. Which brings us back to the original problem... That fact is hard to admit for people like you, who take it for granted that Israel is evil and manipulative, and a pro-Israel foreign policy can only be the result of manipulation. When reality is much simpler: there are Americans who disagree with you, and support Israel. Many of them are American Jews - which antisemites often accuse of duplicity, and lack of loyalty to their host country.

Speaking of which...

> putting the military on the OFAC list will be far more effective as it is practically putting economic sanctions on nearly every person in that country > It will likely impact pro-Israel non-profits as so many persons involved at all angles are also Israeli citizens, many holding US citizenship too, and it will be prohibited to move money to or from sanctioned people

Thank you for reminding me of the importance of supporting pro-Israel candidates at all levels of US government. They are the last line of defense against the antisemitic fever that you and so many others have succumbed to.

I will go make a few more donations in your honor.
by jashmatthews | 2025-09-22 21:41:59+00:00
> hybrid OLAP+OLTP .... in Postgres this pattern requires careful planning to avoid falling afoul of max_standby_streaming_delay for example

This is a really gnarly problem at scale I've rarely seen anyone else bring up. Either you use max_standby_streaming_delay and queries that conflict with replication cause replication to lag or you use hot_standby_feedback and long running queries on the OLAP replica cause problems on the primary.

Logical Decoding on a replica in also needs hot standby feedback which is a giant PITA for your ETL replica.
by vel0city | 2025-09-22 21:42:22+00:00
You do not need to prove any kind of status other than you are a foreigner and this is your identity. A foreign voter registration card, a foreign national ID card, or a USCIS-issued photo ID card can all be valid. It doesn't inherently mean you have the right to stay or work in the US.

That's a part of why there was a lot of hubub about ICE searching the IRS's databases for potential targets. There are a lot of people who are probably working in the US paying income taxes without authorization to stay or work in the US. The IRS generally doesn't care about your immigration status, it just cares about collecting taxes.
by happytoexplain | 2025-09-22 21:42:53+00:00
>The shooter was a MAGA conservative

I mentioned this in another thread: I think the phrase "anything other than" really messed with people. In the context of his sentence, it does not necessarily mean "obviously he's MAGA", in contrast to how it's often (but not always) used in English. He's using it to emphasize MAGA's behavior, not to emphasize his own opinion of the killer's politics.

Also, it simply wouldn't have made sense for him to declare that the guy was MAGA (or anything else), unless Kimmel is more unreasonable than I thought. I don't know much about him, so I could be wrong on this point, but it just seems like a misinterpretation to me that is fixed by Occam's razor.
by cluckindan | 2025-09-22 21:43:12+00:00
Don’t tell it what not to do. Roughly, it doesn’t have the concept of ”not foobar”: mentioning such a negation in a prompt doesn’t do what a human would expect, and will instead cause ”foobar” activation and possibly also everything that is ”not” + ”foobar”, leading to inattention/off-task behavior as seen here.

You want your prompt to resonate with the desired output in a perfect harmony, and a ”don’t do X” is a bum note.
by mullingitover | 2025-09-22 21:43:13+00:00
Absolute howler. He was a full-throated Nazi. He literally cheered for Kristallnacht[1].

> During his radio broadcast on November 20, 1938, while reports of the Kristallnacht pogrom in Germany were still on the front pages of many American newspapers, Coughlin defended the Nazi attacks as justified. Claiming to merely be a “student of history,” he traced “the causes of the effect known as Naziism” [sic] for his listeners, concluding that Nazism had “evolved to act as a defense mechanism against the incursions of Communism.”

[1] https://exhibitions.ushmm.org/americans-and-the-holocaust/pe...
by HeyLaughingBoy | 2025-09-22 21:43:21+00:00
How will they pay for it?

Subscription-based software made a lot of products affordable. $49.95 a month indefinitely is a lot easier for many small businesses to sustain than a lump sum of $1,500 for a software package.

Considering how undercapitalized most small businesses are, it's not hard to see why many of them may prefer to rent the software instead of buying it.
by nostromo | 2025-09-22 21:43:27+00:00
Nobody has any principles here my friend. There is a long list of people canceled for making content that displeased the Democrats, and now a few murders too.

But yes, apparently everyone hates Disney and wants them to go bankrupt. So finally the left and right agree on one thing.

Unfortunately for Kimmel, late night TV is irrelevant dinosaur so he better extract as much money as he can before he inevitably ends up like Colbert.
by cosmicgadget | 2025-09-22 21:43:31+00:00
From another page on his site about a plane crash:

> I have examined this "accident" more closely on the assumption that it is part of the war on semen.

> In the fall of 1964, Jehovah's had decided to test me as a new alpha male and possible successor to Sixten. I had been subjected to theft of semen on several occasions. The response from the CIA's Nazis did not wait. I have found many details in this operation that are directed at me.
by Arainach | 2025-09-22 21:44:32+00:00
...while rejecting all meaningful suggestions and actions. It's very obvious throughout the story he doesn't care about the impact Facebook has on the world.

Zuck cares about growing into China. He cares about powerful people pretending they like him. He couldn't give less of a care about people dying, about his platforms being used to spread misinformation, about that misinformation corrupting elections and descending the world into authoritarianism, about the spread of hate speech, or anything else.

Ask your local nurse or schoolteacher how they feel about being "thanked" while everyone keeps voting against any meaningful change that would actually help them.
by fuzzfactor | 2025-09-22 21:44:49+00:00
It's not a matter of durability, it's basic "smartness".

Sony had regular ordinary quick-change batteries, at least their own Memory Sticks for removable storage before they ended up settling for SD cards, plus the essential USB connection in addition to bluetooth to connect you to your PC to at least use the PC OS to handle the file management of the phone.

And there was always the PC software suite for Sony owners so you could get your PC online before there were hotspots, and you could do texting and make calls from the PC, update the phone, install phone apps from the PC, etc. You could consider the phone a peripheral of the PC, or the PC a peripheral of the phone. And integration was supposed to continue getting better from there.

Like a normal smartphone way before the iPhone appeared, which the iPhone had none of the established hallmarks of smartness, except that it was on the internet. Plus it was locked down in annoying ways never before seen.

Jobs was pretty intense with his reality distortion efforts, he got people to believe until this day that smartphones didn't exist until he had success with it. What it really was was that established smartphones were about $500 and almost nobody was going to pay that so naturally they were not flying off the shelf any more than they ever had been. It was actually widely considered pretty stupid to pay that much for a phone at the time unless you were deeply in need of those connected features.

He convinced enough people that phones had never been so "smart" since there were so few having any experience with them. But why stop there? While he was at it he got his fans to pay almost $1000 too.
by SimianSci | 2025-09-22 21:45:18+00:00
Brendan Carr is overwhelmingly partisan and suprisingly unqualified for the role he occupies as the Chair of the FCC. Anyone paying attention to his actions over his time in office is not surprised by this outcome. Carr has been regularly going on podcasts and threatening that the FCC will be "going after" anyone unfavorable to the Trump administration, this is just the first time a company flinched in response. Im happy to hear Disney is rethinking their reflexive reaction.

Its deeply troubling to see the priorities of the FCC shift from expanding things like access to broadband to instead prioritize podcast appearances and fascistic threats. Expect more of this, as Carr seems to only be emboldened by the outcome.
by IshKebab | 2025-09-22 21:45:20+00:00
In the vast majority of cases you can and should just load directly into Serde structs and use those directly. That's kind of the point.

In some minority of cases you might not want to do that (e.g. because you need to support multiple versions of a format), but that is rare and can also be handled in various ways directly in Serde.
by tptacek | 2025-09-22 21:45:21+00:00
Well, for sure it wasn't hate speech, and even if it was, the federal government should have no say in whether it's aired, but it pretty easily crosses the threshold "our" side (I'm being presumptive about your politics) set over the last 5 years for misinformation. I don't want to take the other side of this "it's bad he was censored" argument, but I don't think we should be valorizing what Kimmel said, either.
by drakythe | 2025-09-22 21:45:37+00:00
While I agree with you, as indicated by my comment about Google having de facto control, the terms upstream or downstream when discussing forking an open source codebase has specific meaning. Chromium is not a downstream forked that has ripped all the google pieces out. It is the upstream codebase that Google then builds all their telemetry and other Google shenanigans into.

If we're discussing someone else forking Chromium because hypothetically Google decided to once again Be Evil it is important to understand, from a technical standpoint, that the fork comes from code before Google does their stuff and not after. Ripping all of google's tendrils out would be a monumental undertaking. Building a similar browser from before Google bakes in their telemetry is infinitely easier and more trustworthy in my opinion.
by atonse | 2025-09-22 21:45:48+00:00
Agreed. I'm actually not a tribal person by nature. So I never actually "identify" with any particular sports team. It's usually a per-race narrative that I latch on to.

Like this most recent F1 race, the main thing I cared about was that the Williams team got on the podium (1st, 2nd, or 3rd). Because they were a hugely successful team in my childhood, so I wanted to see them succeed again after 15 years of horrible performance, often finishing absolutely last.

Next week, it might be another narrative I latch onto during the race. It absolutely is entertainment for me. I rarely ever care about any single team.
by lovich | 2025-09-22 21:46:01+00:00
Evidence of his actual political affiliation has come out?

All I’ve seen so far is a million sides harping on one minor point of the existing evidence and using that to claim their political opponents are at fault.

The new meta from the past few shootings appears to be just instantly claiming the shooter is from their political opponents side, and then double down on the claim no matter what happens
by belval | 2025-09-22 21:46:17+00:00
I was in a lovely meeting where a senior "leader" was looking at effort estimates and said "Do these factor in AI-tools? Seems like it should be at least 30% lower if it did."

Like I use AI tools, I even like using them, but saying "this tool is so good it will cut our dev time by 30%" should be coming from the developers themselves or their direct manager. Otherwise they are just making figures up and forcing them onto their teams.
by roncesvalles | 2025-09-22 21:46:25+00:00
I'm not really sure about this because far too often I see ads for various services/courses/etc that I want to buy, but I don't end up buying because it's a subscription and I just don't have the bandwidth currently to spend time on the thing. I want to buy it and keep it on my shelf until I find the time to get to it, like a book.

And the price they give me from clicking the ad is a limited-time discount so then I'm turned off from ever coming back later and paying the full price i.e. the sucker's price.

Surely this isn't the optimal business model for many of the products that have adopted it.
by rdtsc | 2025-09-22 21:46:27+00:00
A good one! I like how Daniel pretended like not disclosing it was an option just to show their reaction.

> "the best way for me and others to learn is by learning from our mistakes, and I think sharing this will help"

I guess it worked, that's their only hackerone report they made from that account.

Well, in reality the probably abandoned it, created another account and continued on with the script.
by Quekid5 | 2025-09-22 21:46:55+00:00
I'm not if sure if this is what you're asking for, but to make it very explicit, e.g. Console Output might be modeled as

data ConsoleOutput = PrintLn String | PrintWithMode (Mode * String) | ...

where | is another spelling of + (which is pretty standard if you look at boolean algebra) and the product is the usual tuple constructor. The is a simple algebraic data type which defines 'an effect' ... it doesn't define the semantics (that's defined by a handler), but it's an 'api' for an effect of some sort.

Obviously, the above definition is a bit contrived, but that's my understanding of why these things are called 'algebraic' effects. It's not that ConsoleOutput and ConsoleInput (however you define that using + or *) are magically 'composable' just because they're both algebraic... for that composition you need extra rules (however you specify that) because effects don't (in general) compose.
by michaelsalim | 2025-09-22 21:47:14+00:00
Agreed. I'm building a presentation software[1] so it needs to work locally (can't afford lost of connection). But I also want it to be accessible from anywhere. Unfortunately those two things don't mesh that easily.

The tech is getting there though. With things like hole punching or webrtc, P2P is getting pretty easy to implement. Though it's still a challenge to implement it in an actual project.

I do believe that we're going to start seeing quality local-first software w/ great networking pop up more and more soon. I'm working on that, but I'm sure there are plenty others who are doing the same.

[1] Open-source, see my profile for info
by mamcx | 2025-09-22 21:47:41+00:00
> Most people work on crud apps or similar

CRUD apps are the ones that become more complex, not less. The idea that a "CRUD app" is the poster child of simplicity is mega-misleading.

Building a ERP or similar will eat you alive in forms that making a total OS from scratch with all the features and more of linux not. (Probably the only part that is hard as "crud apps" is the drivers, and that is because you see what kind of madness is interface with others code)
by rnhmjoj | 2025-09-22 21:48:12+00:00
Yes, exactly. This proposal is just free riding on the sadly enstablished conception that you don't really own your device: it doesn't work in your interest but in those of the manufacturer, the developer of the programs you use and, if this becomes law, your government.

If we really want to stop chat control and all the other proposals that will inevitably come after, we should really work hard to try to reverse this. I think asking "don't break encryption, please" is really the wrong way to go about it.