MurphyA/hacker-news huggingface dataset:
by _DeadFred_ | 2025-04-16 02:20:56+00:00
I'm not going to make judgements on people who say that their life is in danger when I have zero actual facts just 'popular internet factoids' and administration propaganda that conflicts with the actual facts in the court case (they now are claiming he was a human trafficker and that the court order was illegal).

He proved to the immigration court that his life was in danger, to the point that the court ordered he not be removed to El Salvador. What's next, are you going to claim that court findings, experts in the field and based on hearings/evidence/etc, for criminals should be overridden by your gut feelings? Because of course all criminals claim they are innocent, so court rulings should be ignored? This is the friggen slippy slope people talked about. You see that right? Ignore the court order because populist government should have that power based on their feelings. Or because after violating the order the government claims the order was somehow not valid/illegal.

He didn't just make a claim, the US immigration court found his claim valid enough to issue a legally binding order that he can not be return to El Salvador. The President ignored the process for overturning that order, the President ignored the order itself, and sent this person not only to El Salvador, but to a prison solely housing the M13 members that the United States Immigration court found legally were a risk to this man's life.
by WalterBright | 2025-04-16 02:21:39+00:00
That sounds like a case of "Tragedy of the Commons", which is not free market.

Also, police is a requirement because libertarianism relies on government to protect peoples' rights. Gutting the police department is what anarchists do, not libertarians.

If you want to know of a successful libertarian experiement, see the founding of the United States. (Excluding the slave states, of course. Slavery is antiethical to libertarianism.)
by MiddleEndian | 2025-04-16 02:21:42+00:00
Have EULAs been tested in court?

For distribution licenses, I would assume they have. Can't put GPL software in your closed source code, can't just download Photoshop and copy it and give it out, etc. And that makes sense and you have some reasonable path to damage/penalties (GPL → your software is now open source, Photoshop → fines or whatever)

But if you download some free piece of software and use it with some other piece of free piece software even though they say "please don't" in the EULA, what could the criminal or civil penalties possibly be?
by alex-robbins | 2025-04-16 02:22:15+00:00
It strikes me as too bad that this API is so imperative. You can see a pattern over and over in the README where they have `do` blocks, in which they clear some global state (`initialize-prolog`), then add some assertions back into that global state (via side-effectful API calls), and finally run a query (which is implicitly a query on the state that's been built up). Why not represent the knowledge base as a normal Clojure data structure, rather than as the effect of a sequence of API calls? Then it can be passed in by the caller alongside the query, instead of being stored as mutable state.

This isn't just a style thing, either; there are consequences. REPL-driven development loses a lot of its slickness when some expressions can only be eval'd in a special context.

Also, what am I supposed to do if two different parts of my program want to use Clolog? If I'm using Clolog, and one of my dependencies is using it too, will we end up trashing each other's global state? (The case of external dependencies is just an example. Let's say I have an application that sets up the Clolog state and runs a query. Part of the setup involves calls to other parts of my application. At the time the code was written, those other parts didn't use Clolog, but now they do, and there's a bug, because those other parts are trashing the Clolog state that their caller had set up, before it runs its query.) Of course, you could get around this by adding something like a dynamically bound variable that points to the instance of state to use, but at that point you're jumping through hoops to support a subpar (stateful) paradigm that Clojure developers expect to be free of.
by andrewmcwatters | 2025-04-16 02:22:44+00:00
The funny thing is, as far as I know, skewY is a virtual draw command in the WebKit family of rendering engines.

It's "in the shader" already. For whatever reason, your browser's compositor is failing to anti-alias the rendering bounds of the canvas.

I don't know why, though. I don't see the issue in Safari on my system.
by sitkack | 2025-04-16 02:22:47+00:00
Super fun site!

Did you get inspiration from other assemblers or macro processors?

You have it running on a TRS-80, how does that work? I had no idea Rust could target a TRS-80.

I am getting hints of Forth, Lisp and TCL.

How would you go about laying out structs in memory?

I am sure you considered an internal DSL, what caused you go with something stand alone?

Any thoughts on adding a constraint solver, like Z3 and allowing end users to set constraints on things like the size of a jump.

I could see taking this an growing it into a compiler by making macro(macro(macros txt)))

Is there an internal IR?

Projects for inspiration

https://github.com/mattbierner/Template-Assembly

Specifying representations of machine instructions https://dl.acm.org/doi/pdf/10.1145/256167.256225

https://www.semanticscholar.org/paper/Specifying-representat...

Typed Assembly Language (TAL) https://www.cs.cornell.edu/talc/

And you haven't come across it, you are in for a treat https://en.wikipedia.org/wiki/META_II has spawned a whole trove of clones

https://en.wikipedia.org/wiki/OMeta

https://github.com/DalekBaldwin/clometa
by chimineycricket | 2025-04-16 02:24:49+00:00
>2. Non-Jews have equal rights >I think what you're asking is: why is it OK to have the "right of return"...[because] Jews have been persecuted throughout history wherever they lived

This is a contradiction. https://en.wikipedia.org/wiki/Oppression_Olympics

>Not one war started by Israel. https://en.wikipedia.org/wiki/King_David_Hotel_bombing

If you want to claim it wasn't the country of Israel, congratulations I guess.
by gus_massa | 2025-04-16 02:24:51+00:00
Hi from Buenos Aires!

I tried a search, but I found no hotels. Also when it found no gyms, the webpage said "no hotels" too. There is info about the areas of the city but no facilities, that is weird.

Also, "Núñez" appears as "Nunez". The ~ is important because it change how the word sounds. "Las Cañitas" has the same problem.
by tharkun__ | 2025-04-16 02:25:25+00:00
That's not what they said.

They said, if Photos is currently recent (aka 2025-2015 = 10 years = recent) then Search was recent when Photos came out (aka 2015-1998 = 12 years = recent).

Which given the overall timeframes, I'd say that's close enough to say 10 years ~= 12 years. And they said they'd actually count the non-Photos time of Photos as Photos, so add some to the 10 years.
by drob518 | 2025-04-16 02:25:58+00:00
There are lots of good Prolog books available, many from the 1980s now released freely in PDF form. I would suggest starting there. IMO, Prolog is definitely worth understanding, but I personally tend to desire a Prolog available as an embedded resource in another language. So, Clolog is great for Clojure programmers, of which I am one, for instance. I find that Prolog excels for certain types of programming, but while it’s Turing complete, and thus capable of doing anything any other language can do, it can get cumbersome for other types of programming. So, I like to think of logic programming similar to the way that I think of a SAT solver, something that I call out to in order to solve a problem, but then it returns the answer to the main program which presents that answer to the user using the host language.
by 2muchcoffeeman | 2025-04-16 02:26:11+00:00
I think you still need to be open to the product they are selling.

I always buy soda in this order: Cherry Dr Pepper, Dr Pepper, Cherry Coke, Coke, something with a fake grape flavour, maybe something else if none of those exist or water.

People have tried to convince me that soda ads work on me but my receipts say otherwise.

If you were advertising new chip flavours. Yeah, I’d try that at least once.
by ivan_gammel | 2025-04-16 02:27:15+00:00
There are several theories in this, which may feel plausible but ignore some other possibilities.

First, the assumption that Russian propaganda works on the West. There are no signs of that.

Second, that Russia does have those capabilities. Their main problem is that they don’t understand the modern West and still think in categories and definitions of XX century.

Third, that West is vulnerable. Western domestic propaganda is much more powerful and it’s budgets are much bigger.
by throwaway2037 | 2025-04-16 02:28:30+00:00
My response is somewhat tangential: When I look at GPUs strictly from the perspective of gaming performance, the last few generations have been so underwhelming. I am not a gamer, but games basically look life-like at this point. What kind of improvements are gamers expecting going forward? Seriously, a mid-level GPU has life-like raytracing at 4K/60HZ. What else do you need for gaming? (Please don't read this as looking down upon gaming; I am only questioning what else gamers need from their GPUs.)

To me, the situation is similar with monitors. After we got the pixel density of 4K at 27 inches with 60Hz refresh rate (enough pixels, enough inches, enough refresh rate), how can it get any better for normies? Ok, maybe we can add HDR, but monitors are mostly finished, similar to mobile phones. Ah, one last one: I guess we can upgrade to OLED when the prices are not so scandalous. Still, for the corporate normies, who account for the lion's share of people siting in front of 1990s-style desktop PCs with a monitor, they are fine with 4K at 27 inches with 60Hz refresh rate forever.
by protocolture | 2025-04-16 02:29:46+00:00
The problem is that Smart Contracts aren't sold as "Computer Program" they are sold as binding agreements forged in code. The code was agreed to by all parties.

I absolutely get your position, and possibly hypocritically supported the main branch when ethereum had a big fork over exactly this issue. But its also not hard to see where the "code is law" guys are coming from.
by dgs_sgd | 2025-04-16 02:29:59+00:00
For me it's typically wrong not in a fundamental way but a trivial way like bad import paths or function calls, like if I forgot to give it relevant context.

And yet the time it takes me to use the LLM and correct its output is usually faster than not using it at all.

Over time I've developed a good sense for what tasks it succeeds at (or is only trivially wrong) and what tasks it's just not up for.
by forgetfreeman | 2025-04-16 02:31:51+00:00
There's a lot of shit that has become "best practice" over the last 15 years, and a lot more that was "best practice" but fell out of favor because reasons. All of it exists on a continuum of what is actually reasonable given the circumstances. Reviewing pull requests is one of those things that is reasonable af in theory, produces mediocre results in practice, and is frequently nothing more than bureaucratic overhead. Consider a case where an individual adds a new feature to an existing codebase. Given they are almost certainly the only one who has spent significant time researching the particulars of the feature set in question, and are the only individual with any experience at all with the new code, having another developer review it means you've got inexperienced, low-info eyes examining something they do not fully understand, and will have to take some amount of time to come up to speed on. Sure they'll catch obvious errors, but so would a decent test suite.

Am I arguing in favor of egalitarian commit food fights with no adults in the room? Absolutely not. But demanding literally every change go through a formal review process before getting committed, like any other coding dogma, has a tendency to generate at least as much bullshit as it catches, just a different flavor.
by dataviz1000 | 2025-04-16 02:32:07+00:00
This started when George Washington went to the Jews in Newport, Rhode Island to speak to them promoting the 2nd of the 12 amendments to the Constitution, 10 of which became the Bill of Rights. Rhode Island was the last state to ratify the Constitution and this trip was to garner support to ratify the Bill of Rights which was to safeguard individual freedoms and limit the power of the federal government. Many of the Jews who first arrived in the United States did so in New Amsterdam whose families had pervious settled in Amsterdam after the Spanish Inquisition where they were forced to either leave Spain, convert to Catholicism, or be put to death.

Reiterating what the Hebrew congregation write to Washington he responded:

> For happily the Government of the United States, which gives to bigotry no sanction, to persecution no assistance requires only that they who live under its protection should demean themselves as good citizens, in giving it on all occasions their effectual support. [0]

It is a paradox that people living the United States with its freedoms can only continue doing so as long as they equally protect the freedoms of everyone else without bigotry or persecution.

[0] https://founders.archives.gov/documents/Washington/05-06-02-...
by huitzitziltzin | 2025-04-16 02:32:13+00:00
Great piece and deserves to be complemented by the time series of daily outlays from the US treasury starting Jan 20 compared to the last two years.

Elon Musk is failing to cut American spending https://economist.com/finance-and-economics/2025/02/12/elon-... from The Economist

tl;dr: DOGE is having zero impact on federal spending.
by marcus_holmes | 2025-04-16 02:32:46+00:00
I was with you 150% (though Arch, Golang and Zed) until a friend convinced me to give it a proper go and explained more about how to talk to the LLM.

I've had a long-term code project that I've really struggled with, for various reasons. Instead of using my normal approach, which would be to lay out what I think the code should do, and how it should work, I just explained the problem and let the LLM worry about the code.

It got really far. I'm still impressed. Claude worked great, but ran out of free tokens or whatever, and refused to continue (fine, it was the freebie version and you get what you pay for). I picked it up again in Cursor and it got further. One of my conditions for this experiment was to never look at the code, just the output, and only talk to the LLM about what I wanted, not about how I wanted it done. This seemed to work better.

I'm hitting different problems, now, for sure. Getting it to test everything was tricky, and I'm still not convinced it's not just fixing the test instead of the code every time there's a test failure. Peeking at the code, there are several remnants of previous architectural models littering the codebase. Whole directories of unused, uncalled, code that got left behind. I would not ship this as it is.

But... it works, kinda. It's fast, I got a working demo of something 80% near what I wanted in 1/10 of the time it would have taken me to make that manually. And just focusing on the result meant that I didn't go down all the rabbit holes of how to structure the code or which paradigm to use.

I'm hooked now. I want to get better at using this tool, and see the failures as my failures in prompting rather than the LLM's failure to do what I want.

I still don't know how much work would be involved in turning the code into something I could actually ship. Maybe there's a second phase which looks more like conventional development cleaning it all up. I don't know yet. I'll keep experimenting :)
by 6510 | 2025-04-16 02:33:42+00:00
A fun idea I had was to divide hd video over 4 and/or 16 and/or 64 lower resolution videos. For the 1/4 the pixels from video 1,2,3 and 4 would be arranged like so.

1 2 1 2 3 4 3 4 1 2 1 2 3 4 3 4

You could for example consume a HD stream then distribute [say] only 3 lower resolution streams. If the connection craps out or your graphics processing cant keep up you don't have to skip frames but can gradually degrade the image. There could be different frame rates too as long as they combine to something sensible.

If you have [say] a 640 MB recording at 120 fps you would only need to successfully receive 2.5 MB at 30 fps to be able to watch the entire thing. With a slight delay in playback you could even hop from one sub set of channels to another.

It should work offline too. One could have the cutting edge crispy resolution on a large display or watch the same on a crappy old laptop. (and everything in between)

For fun I one time convert a 3.5 hour lecture to 75 MB and was stunned by how watchable it still was.
by zelphirkalt | 2025-04-16 02:35:06+00:00
I mean, you can easily observe it. Look at Germany. Not investing sufficiently into education, public Infrastructure, hospitals, and probably more. Inefficient bureaucracy everywhere. Long term effects already visible and only becoming more pronounced. People have a 4y political memory and electing the same shit again.

This apparently will continue until we hit rock bottom. I just hope others will be ready to face angry German mobs this time around.

Of course there is also a chance that we will finally learn something as a society and prevent bad things from happening. An admittedly tiny chance, but it exists.
by drob518 | 2025-04-16 02:36:32+00:00
No, but they share logic as the foundation. A SAT solver merely solves a series of Boolean equations, typically in conjunctive normal form. Prolog has deduction capabilities that go far beyond that, where you can reason over a tree data structure, computing various parts of it according to a set of constraints. A SAT solver is not Turing complete. Prolog is. You could use Prolog to write a SAT solver (though it wouldn’t be very competitive with solvers written in C or other languages).
by TeaBrain | 2025-04-16 02:37:45+00:00
That's not what discretionary means in this context. The funds having been originally earmarked at the discretion of the originator, means they are no longer available for any purpose at the discretion of the trustee, meaning they are no longer discretionary. You are confusing the funds having once been earmarked at someone's discretion for their being discretionary, which they haven't been since the point when they were earmarked at the originator's discretion.
by whoisthemachine | 2025-04-16 02:38:48+00:00
Interesting. I do recall the U2 needed a chase car for landing [0], but I don't remember the challenges in takeoff. Any good resources on it? The concept I found in this essay occurred to me a few days ago after reading a news article about refueling aircraft for sale [1] and I thought hey why can't "they" "just" build an aircraft that takes off with normal jet fuel and at proper altitude and speed is refueled with rocket fuel? So I had to do a little digging, and it turns out it has been researched by NASA backed scientists, and it isn't even a half bad idea! Better than a lot of "why can't they just" ideas at least.

Anyways - if you have resources on the take off issues with high-performance aircraft, I would appreciate it :)

[0] https://www.jalopnik.com/the-140-mph-chase-cars-of-the-u-s-a...

[1] https://www.twz.com/air/kc-10-extender-tankers-are-up-for-au...
by JKCalhoun | 2025-04-16 02:38:59+00:00
You can see the link I posted (https://youtu.be/Vsj0vK8LjVk). To my eye it makes it more clear that it is just a dude walking like any human in a costume would.

I don't recommend it, but there is an image-stabilized Zapruder film out there that makes the Kennedy assassination a good deal more shocking/gruesome. You've been warned.
by qntmfred | 2025-04-16 02:39:29+00:00
I have been using a Google Form with a single prompt to journal since 2016

https://x.com/kenwarner/status/1436385090679017477

I go for long walks at night a few times a week and find myself journaling a lot then. It got annoying to stop my walk to type out a thought so much, eventually I started primarily voice typing instead.

But I still had to stop and pull up the Google form, then start voice typing, fix any mistakes, and then continue the walk. So I moved on to just turning on a recording app on during the walks and just start talking whenever I want without having to stop or pull out my phone.

https://x.com/kenwarner/status/1817348131291291892

I transcribe the audio file when I get home and add it with a summary to the journal.

Now I keep a livestream going while I'm working at my PC and transcribe and summarize whatever happens there too.
by throwaway2037 | 2025-04-16 02:40:16+00:00
> the robust legislation and bureaucracy (in a controlling sense) around all financial products

Germany has the world's largest, most liberal, and most liquid listed (<-- read that term twice before you rebut with an unlisted market!) equity structured products market. These products are essentially leveraged equity/FX options packaged as a bond. I'm confused. Can you be more specific about which particular "financial products" you think are excessively regulated in Germany?
by forgetfreeman | 2025-04-16 02:40:24+00:00
"Online is a facet of the real world and a place for a significant amount of information gathering and discourse so dismissing it entirely is a bad mistake as well."

Having spent time online since the dawn of home internet it would be impossible for me to disagree with this sentiment more strongly. I've been dragged kicking and screaming over the course of the last 3 and a half decades to the sullen conclusion that the internet may well be the single largest mistake our species has ever or will ever make short of someone freaking out and actually triggering a full scale nuclear exchange. All of the negative dynamics you list are demonstrably bleeding into the larger culture, with expected results, and that's before even factoring in naked propaganda, poorly camouflaged advertising, and ubiquitous surveillance.
by alephnerd | 2025-04-16 02:41:16+00:00
> I really can't think of a non- nefarious justification for this

Tragedy of the commons - NVD and the CVE project havr been backlogged and facing funding issues for a couple years now, and most security vendors are either cagey about providing vulns in a timely manner (as it can reduce their own comparative advantage), or try upsell their own alternative risk prioritization scores.

Every company will gladly use NVD and CVE data, but no one wants to subsidize it and help a competitor, especially in an industry as competitive as cybersecurity.
by __MatrixMan__ | 2025-04-16 02:41:37+00:00
You could contribute to a goal that they care about, or give them something they need, or help find somebody who will. Or you can promise to do so in the future.

Using "value" as a medium is problematic because we increasingly don't value the same things. It worked ok back when food took so much effort to grow that securing it represented a significant portion of our mindshare. Then money was reliably a proxy for our shared agreement that food was good.

But now that it's so much easier to make the necessities that we agree on, we spend more time perusing contradictory outcomes. Which is more valuable, if my endeavor succeeds and yours fails, or visa versa? Whose agenda am I furthering when I decide to value a dollar? It's hard to participate in because I can never figure out whether I'm hurting or helping.

Better would to let people be explicit about what they want so that we can the things that have consensus and work towards those. As it is we're letting the ownership of scarce abstractions determine what gets done, which is just bonkers. It was once the best we could do with only the laws of physics at hand to enforce the rules (re: the scarcity of gold), but now we can do better.