MurphyA/hacker-news huggingface dataset:
by hansvm | 2025-11-09 05:25:23+00:00
Kind of.

Suppose one of your effects is `read()`, and you want to be able to drop in an asynchronous implementation. Then you'll either require something equivalent to stack switching or you'll require one of the restrictions to asynchronicity allowing you to get away without stack shenanigans -- practical algorithms usually start requiring stack switching though.

You can get a lot of mileage out of algebraic effects without allowing such ideas though. Language constructs like allocation, logging, prng, database sessions, authorization, deteterministic multithreaded prng, etc, are all fairly naturally described as functions+data you would like to have in scope (runtime scope -- foo() called bar() -- as opposed to lexicographic scope), potentially refining or changing them for child scopes. That's a weaker effect system than you would get with the normal AE languages, but there are enough concepts you feasibly might want to build on such a system that it's still potentially worthwhile.
by AnthonyMouse | 2025-11-09 05:25:57+00:00
Is there no way to improve the user experience for this?

Company A sells cryptocurrency in country A. Company B is a payment processor in country B. You in country A go to the country B merchant's website and enter your card info to buy something. Your card gets charged by company A to buy cryptocurrency, the merchant gets the money through company B and the transfer of cryptocurrency from company A to company B happens in software on a server somewhere and the user doesn't have to do anything.

Why is this either not happening or not sufficient?
by nynrathod | 2025-11-09 05:27:01+00:00
Hi everyone,

I launched doo: Simple Fast and Secure compiled programming language written in rust+LLVM.

My Idea is to have simplicity to write server apis with minimalist and clean syntax. Not started as hobby project but I wanna grow this.

I got many feedback and suggestions here https://news.ycombinator.com/item?id=45797044 that I need some specific feature for doolang or have to turn this in unique product. But I don't have any buzzing idea or feature except minimalist and clean syntax with speed and security for writing server apis where compiler may do behind the scene magic to have high level syntax without any compromise.

What do you think, any idea or suggestion to turn dooalng any domain specific language or any killing unique feature or anything that make doolang its place? My intensions is not to replace any existing language. I will release built in methods and std library in upcoming release, so its just staring of doolang yet, after it will add more test cases and memory test and bug fixes more. And http router is next planned after those.

Any suggestions from community will be valuable.
by drdaeman | 2025-11-09 05:27:44+00:00
Sorry, I absolutely appreciate the explanation instead of a snark remark, but I don’t understand.

What was tired or supposed to work out? Not ostracizing is not exactly a solution (grandparent comment haven’t made suggestions as to what to do instead), and alternatives aren’t one possible approach but a giant spectrum of possible reactions. Instead of saying “you’re a bad person” a lot of different things can be done, right?

Or do you possibly mean that we collectively tried everything and nothing ever worked out, so we’re fairly positive this is wishful thinking? Or am I misunderstanding something, or falling to some fallacy here?
by deaux | 2025-11-09 05:28:34+00:00
The video doesn't explain much. At the end, it says this:

> "The average voter doesn't understand how these systems work so there is little risk for [state] lawmakers in siding with these companies."

The million-dollar question is why those lawmakers are siding with these companies when the economic miracle case exists right in front of their eyes. The answer to that question is the real explainer.
by bsder | 2025-11-09 05:29:38+00:00
> Unfortunately it never got traction.

Categorically not true. Tcl got a LOT of traction. Expect was everywhere. Tk kicked ass and took names. AOLserver, anyone? VLSI CAD stuff still uses it today.

It just got pushed out of the way over time. IMO, mostly because VB6 took its niche of easy GUI.
by mindslight | 2025-11-09 05:30:21+00:00
Or they were suggesting patriotic Americans organize to defend our Constitution and the rule of law from this anarcho-tyranny of paramilitary gangs enabled by a treasonous executive. You know, the exact thing a vocal contingent of second amendment enthusiasts used to champion before they got sick with a level of social media psychosis previously reserved for geriatrics consuming hours upon hours of Fox "news".

For example, Dear Leader's leadership in response to the anti-2nd-amendment murder of Breonna Taylor should have been a wakeup call for how much this New York con artist has you steeped in anti-American Kool-aid. Instead the situation mostly just demonstrated to everyone else how fascists' appeals to individual liberty have been wholly dishonest.
by dyauspitr | 2025-11-09 05:30:50+00:00
I dream of those things as I believe a lot of others do on HN. I also provide for my family and achieve more in my career but those aren’t dreams, that’s just what I do everyday.

Dreams of the singularity and interplanetary civilizations are actually achievable at some point in the future. Random god king paychobabble isn’t.

I’m not for this Luddite bullshit and you’re severely harming any legitimate opposition to the billionaire class by undermining yourself.
by FireBeyond | 2025-11-09 05:31:29+00:00
Yeah, it's very nudge nudge wink wink. Which is why Flock advertises to HOAs and private businesses too. Because then they'll agree to share their data and hey look, Flock can say "we have ALPR and other data from this HOA, you can have it because you didn't ask us to get it for you".
by unparagoned | 2025-11-09 05:31:29+00:00
So say a school has funding to find 10 candidates for a job using the biased algorithms. Are you saying it’s best to force the school to use an algorithm such that they only find 5 with it still unlikely that any of those 5 are of a different sex. In effect forcing schools to hire a worse member of staff(due to reduced candidate pool.)
by antonvs | 2025-11-09 05:32:19+00:00
For those who may not be familiar:

CAR = Contents of Address Register, corresponding to the head element of a list.

CDR = Contents of Decrement Register, corresponding to a pointer to the "rest" of a list, i.e. to a machine word containing the next link in the list.

This is hinted at in the paper by this:

> "Each computer word of a list in addition to containing a datum also contains the address of the word containing the next element of the list. 0 for the address of the next element indicates the last element. If one element of an expression is a subexpression the word corresponding to this element contains the address of the word containing the first element of the subexpression. In the IBM 704 or 709 whose 36 bit word is divided (for the convenient use of certain machine instructions) into two 15 bit parts (address and decrement) and two 3 bit parts (prefix and tag) lists are represented by storing in the decrement part of a word the address (in our system actually the complement of the address) of the next word or the list."

The choice of names is rather implementation-specific (and if memory serves, this may have been a choice by the person who coded the original LISP interpreter, not McCarthy himself.) But the mapping of the abstract concept of a linked list to a usable machine representation, built into the core of a programming language, was impressive. FORTRAN and COBOL had nothing like this.
by mcphage | 2025-11-09 05:32:31+00:00
> The problem is that it's existential for both Democrats and Republicans.

> If Republicans give up anything to the Democrats, the spell of the last 10 months is broken and Republicans can no longer unilaterally control the direction of government.

How is that in any way shape or form “existential”? Existential means “if they fail they cease to exist or matter”, not “if they fail they don’t get to whatever the fuck they want”.
by vlovich123 | 2025-11-09 05:32:54+00:00
And the “untouchable” cast in India? No laws against them but still discriminated against socially and economically and this discrimination even has even been transported to the US despite India and the US being nominally free markets.

It’s the paradox of tolerance - if you allow informal intolerance to fester it can metastasize into institutional and structural intolerance. But it’s quaint to suggest that economic market forces somehow themselves remove discrimination.
by hyperhello | 2025-11-09 05:33:12+00:00
> Stochastic parrot vibes are undoubtedly part of why we feel disappointed, unsettled, or even disgusted or betrayed when we realize we’re looking at AI-generated content rather than something created by a human. Friend request from an AI character? Yuck. Tilly Norwood on TV? Hard pass.

Use this incident as a call to improve your writing.
by anonymouskimmer | 2025-11-09 05:36:04+00:00
> I'm not sure where the line is.

The line is always where a criminal violation seems likely to occur, including criminal negligence. Otherwise the government has no business butting in, unless subpoenaed as a witness by a court in a civil matter.

Edit: I guess the government also has a right to respond if it, or its policies, are a target of criticism or lies. But it should do this in the court of public opinion, or in an actual court if said speech breaches criminal law or a civil tort. Though in the latter cases it would be held to the highest standard. It has no right to otherwise shut down anyone's speech regardless of where it occurs.
by cruffle_duffle | 2025-11-09 05:38:59+00:00
That should have been their hay day. The government pulled enough absolute nonsense to keep them busy for decades. But instead they seemed more interested in some bullshit like prisoners rights to masks or something.

When trump was first elected I gave those guys like $300/month to fight the good fight against something I was told was a threat to my freedoms. The joke was on me though… because they very same set of people I thought cared about that stuff turned out to very much not care at all about literally anything they claimed to. They let the world burn to play politics.

In the end I wound up voting for trumps second term and will never ever vote for a single democrat again in my life. As for the ACLU, what a shame.
by nothrabannosir | 2025-11-09 05:40:31+00:00
They are.

> MDMA has limited approved medical uses in a small number of countries,[32] but is illegal in most jurisdictions.[33] MDMA-assisted psychotherapy is a promising and generally safe treatment for post-traumatic stress disorder when administered in controlled therapeutic settings.[34][35] In the United States, the Food and Drug Administration (FDA) has given MDMA breakthrough therapy status (though there no current clinical indications in the US).[36] Canada has allowed limited distribution of MDMA upon application to and approval by Health Canada.[37] In Australia, it may be prescribed in the treatment of PTSD by specifically authorised psychiatrists.[38]

https://en.wikipedia.org/wiki/MDMA
by Dylan16807 | 2025-11-09 05:41:44+00:00
> I guess you could try to claim that only the way HVAC's move heat around qualifies for being called a heat pump, not any other way of moving it should count right?

Anything that moves heat from one area to another, not just evening them out but actually forcing the heat to move, counts as a heat pump. HVAC style, or peltier style, or other methods with tension or chemical reactions all count.

A combination heater and circulator does not do that. It is not a heat pump.
by hansvm | 2025-11-09 05:44:36+00:00
FWIW, I don't think intro stats is easy the way I normally see it taught. It focuses on formulae, tests, and step-by-step recipes without spending the time to properly develop intuition as to why those work, how they work, which ones you should use in unfamiliar scenarios, how you might find the right thing to do in unfamiliar scenarios, etc.

Pair that with skipping all the important problems (what is randomness, how do you formulate the right questions, how do you set up an experiment capable of collecting data which can actually answer those questions, etc), and it's a recipe for disaster.

It's just an exercise in box-ticking, and some students get lucky with an exceptional teacher, and others are independently able to develop the right instincts when they enter the class with the right background, but it's a disservice to almost everyone else.
by hilbert42 | 2025-11-09 05:45:24+00:00
"The UK -- and many other countries -- assert that their laws do bind people outside their borders…"

I'm aware of that, it's become an increasing trend over the past 40 or so years as diplomatic norms have broken down, changed or become more disrespected. If it continues we'll see even more tit for tat reprisals as respect for international law and authority continues to break down (we're now 80 years on from WWII and the world has almost forgotten lessons learned and the international order that arose from that conflict).

"…have a need or desire to visit the UK at some point in the future, but can't, because there's some sort of legal judgment against them because of this."

I remember a time when my passport was stamped in big purple letters "Not Valid for XYZ" country for reasons like that (I could not legally leave the county if that was my destination).

Matters would likely come to a head if say US passports were stamped "Not Valid for the UK". Moreover, it's incumbent on a country to protect its citizens who have done nothing wrong by their laws—hence a country should so warn its citizens beforehand, and stamping passports with large signs is very effective.

This is all part of a much bigger issue too big to address here. It's why I believe it's going to get much worse before it gets better. As I said elsewhere, I believe that with the increase in political and cultural differences brought about by rising nationalism we will see an increase in geoblocking everywhere. I find the trends shocking but there's stuff-all I can do about them.

Edit: I must emphasize that whilst I'm defending the right of law abiding US citizens against action by other governments, I'm not defending the US Government per se (some of it's actions of late I consider alarming). Again, these are separate issues.
by bofadeez | 2025-11-09 05:45:37+00:00
> We genocided the native Americans

That's also bad. But two wrongs don't make a right. Natives should have been afforded citizenship and constitutional rights also. The solution isn't to undo progress and take rights away from people again. I thought you were progressive?

> Our president wants to genocide brown people.

This discredits you quite a lot, since I've never heard even the most left-wing public figures insinuate such a wild unsubstantiated thing. If true, that would be deplorable also.

Whether what you're saying is true or false has no bearing on the truth value of what I said. You're just making unrelated angry hyperbolic claims that lack any nuance at all.
by systoll | 2025-11-09 05:47:34+00:00
This is silly.

Sketchfab clearly notes the original file format when you download a model, and lets you choose between it and various other converted formats. [Example: https://imgur.com/a/himJBfG ]

Blender doesn't fully support the USDZ format, causing the issues the author sees. [Source: https://docs.blender.org/manual/en/latest/files/import_expor... ] If the creator uploaded a USDZ file, downloaders would likely to run into similar issues.
by ETH_start | 2025-11-09 05:50:10+00:00
ProPublica is extremely left-wing. That doesn't imply that their journalism is low-quality or inaccurate, but it does suggest that their choice of stories will be colored by that ideological/establishment-friendly bent. You won't see them investigating the political influence exerted by public sector unions for example.

Their X feed gives a pretty clear picture of that:

https://x.com/propublica
by anonymouskimmer | 2025-11-09 05:50:53+00:00
The same way that Eisenhower served under the Democrats FDR and Truman then was elected to the presidency as a Republican?

It's a job. With particular job duties. You do those duties regardless of who's in charge. It's just that under one administration those duties are oriented to a particular larger purpose, while under another administration they are oriented to another particular larger purpose. That still doesn't change the vast majority of jobs, and for those few it does, aren't most of them political appointments already?
by kcsrk | 2025-11-09 05:51:26+00:00
Not necessarily. You can implement them using a monad. See https://dl.acm.org/doi/10.1145/2804302.2804319. That said, in GHC Haskell the implementation on top of stack switching seems to outperform other implementation strategies. See https://github.com/ghc-proposals/ghc-proposals/blob/master/p....

In OCaml 5, we’ve made it quite fast: https://kcsrk.info/papers/drafts/retro-concurrency.pdf. For us, the goal is to implement concurrent programming, for which a stack switching implementation works well. If you use OCaml effect handlers to implement state effect, it is going to be slower than using mutable state directly. And that’s fine. We’re not aiming to simulate all effects using effect handlers, only non-local control flow primitives like concurrency, generators, etc.
by xdennis | 2025-11-09 05:53:22+00:00
> The US is currently attacking foreign citizens outside the United States without due process.

When has military action every used due process?

If you don't agree that the military should be used against suspected narco-terorrists, then say that.

But they kill about 70000 Americans a year just with Fentanyl overdoses. I don't think killing 70 narco-terrorists (so far) is much of an escalation.
by jlemee | 2025-11-09 05:54:35+00:00
Hi all! I noticed I had a ghost rate of ~80% in my latest recruiting cycle, and thought to myself, what causes that? After interviewing many of them, I realized recruiters sorted jobs chronologically and speed was more important than referrals, keywords, etc. So I built a system to scrape company career pages and alert me of relevant jobs within 5 minutes, and now I'm releasing it!
by heddycrow | 2025-11-09 05:55:15+00:00
I did not know how to do X so I Y.

It would be interesting to know what kinds of responses humans offer across different values of Y such as:

1) looked on stack overflow 2) googled it 3) consulted the manual 4) asked an LLM 5) asked a friend

For each of these, does the learner somehow learn something more or better?

Is there some means of learning that doesn't degrade us as human beings according to those in the know?

I ask as someone who listens to audiobooks and answers yes when someone asks me if I've read the book. And that's hardly the extent of my transgressions.
by Nursie | 2025-11-09 05:55:37+00:00
> Think about what happens if the US decides it can enforce US law on UK soil against UK citizens.

Yeah about that …

Try looking up Gary McKinnon or Larry Love. The US has a history of this stuff, those are just a couple of examples. Hell, Kim Dotcom (NZ but same deal).

And that’s before we get into whatever the f*ck was happening at Guantanamo Bay.

> I know of no government that thinks it can enforce their law outside of their borders against foreigners.

Then you haven’t been paying attention.
by kragen | 2025-11-09 05:55:42+00:00
The entire HF band, including the parts already used for something, is only 27 MHz of bandwidth, it's full of noise, and at any given time only a fraction of it can propagate to the other side of the world, dependent on time of day and, literally, sunspots. This antenna has 1100 MHz of bandwidth, the analog front end has 40 MHz for any given conversation, and noise levels are much lower. It could conceivably deliver Shannon bit rates one or more orders of magnitude higher. But it only works when the moon is visible to both sides of the connection.

I discussed these possibilities and some more challenging ones in 02013 in https://dercuano.github.io/notes/ultraslow-radio.html, although I was considering laser moonbounce rather than phased-array microwave moonbounce because of the higher antenna gain available.
by raihansaputra | 2025-11-09 05:56:28+00:00
actually the web search/image needs the higher tier subscription with their mcp. k gladly paid for it, i basically don't care about usage anymore. it's great at execution. i still find it not so great at planning though. i wish i can use api sonnet/codex for planning and glm on claude code for executing easily, with codex/claude code. best thing right now is kilo code with the orchestrator but haven't tried it.
by gpm | 2025-11-09 05:57:41+00:00
No, I think they were pretty explicit

> In our email dated 13 October 2025, we explained that Ofcom would be taking steps to monitor the voluntary block of users with UK IP addresses implemented by sanctionedsuicide.site and sanctioned- suicide.net on 1 July 2025.

> Ofcom has become aware that the voluntary block in place on the above two websites restricting users with UK IP addresses from accessing these domains is no longer effective to restrict UK users from accessing the service or its content. In particular, we note that content from the service remains accessible to users with UK IP addresses at another domain, namely https://dignifiedexit.com.

This isn't a dispute about effectiveness, this a dispute about whether or not OP's client spun up another domain and didn't block UK users from it.
by heavyset_go | 2025-11-09 05:58:58+00:00
Software is rarely finished, and development has real costs.

When that development gets silo'ed away in proprietary systems, that is potential development lost upstream. If that happens enough, upstream becomes starved and anemic, and with forks only living on in silos.

Apple, for example, has made trillions of dollars off of FreeBSD. To this day, FreeBSD still does not have a modern WiFi or Bluetooth stack.

Meanwhile, AMD, Intel, Microsoft, and even Apple, etc have full-time engineering roles and teams dedicated to upstreaming their improvements to Linux. And there are paid engineers at these companies that ensure WiFi and Bluetooth work on Linux.