skysight-inc/HackerNews huggingface dataset:
Law was particularly badly burned by the hype wave of "expert systems" in the 1970s and 80s, many of them coded in Prolog.

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

The Wiki link is nearly hagiographic in its studied avoidance of the topic of how the field crashed and burned, and the term "expert system" fell into disrepute, but these are things which happened.

Which isn't to say that the legal field can't benefit from software which uses Prolog, in fact, I have a strong hunch that the number of such products currently in use is not zero.

But if you wrote a new one, you would do well to make sure that no senior partners hear the word "Prolog" in the sales pitch.
Yea, I got into programming because I love Lone Wolf Programming. Programming as part of a team is a completely different endeavor and liking one doesn't necessarily mean you'll like the other.
Of course that’s the strategy. It’s called enshitifcation. Cory Doctorow coined the term and has many cool examples like this in his related speeches and blog posts.
Cool. Nothing says intellectual confidence like refusing to acknowledge someone pointing out that you're spouting complete nonsense. Glad you were able to protect your ego by deciding I was talking about something that was more convenient for you. I sure hope you decide not to challenge your Dunning-Kruger confidence in backing up your ideas with "facts" and "information" based on the "content-aware fill" your brain uses in lieu of actual knowledge of movies as an artform and professional media production. I'm really happy that you think your "central point" means you can use naive assumptions lacking requisite information by orders of magnitude to condescendingly disparage real people's jobs and artistic practices. Surely, lacking knowledge of commercial art production doesn't negatively affect your ability to reason about the usage and effects of generative AI in commercial art production on both a practical and philosophical level. Surely. I hope you'll continue to pontificate about the finer points of this topic while refusing to consider dramatically more informed sources if they don't completely match your line of reasoning.
Starlark is a nice embeddable scripting language, though. Java, Go, and Rust implementations: https://github.com/bazelbuild/starlark/blob/master/users.md#...
Anecdotal, I did and I do. It's no different than a path on a filesystem.
Probably 20 years ago now, I had a Java port of the game on my Motorola v400 (I think?).

The game worked pretty well on a flip phone.
Well, trying to infer entropy of a password by classifying it into the lowest possible low entropy system actually works well against brute forcing because brute forcing usually works exactly doing that.
> Indeed, so why doesn't setTimeout internally do that?

Given that `setTimeout` is a part of JavaScript's ancient reptilian brain, I wouldn't be surprised it doesn't do those checks just because there's some silly compatibility requirement still lingering and no one in the committees is brave enough to make a breaking change.

(And then, what should setTimeout do if delay is NaN? Do nothing? Call immediately? Throw an exception? Personally I'd prefer it to throw, but I don't think there's any single undeniably correct answer.)

Given the trend to move away from the callbacks, I wonder why there is no `async function sleep(delay)` in the language, that would be free to sort this out nicely without having to be compatible with stuff from '90s. Or something like that.
I sincerely hope more games allow virtual interactions with culturally significant art. Hell, I'd love a virtual tour of major art institutions!

It's not Rodin, but the game Horizon: Forbidden West has a segment where you get to view + interact with renderings of some paintings by Vermeer and Rembrandt. I've seen some of these in person at a museum in San Francisco, but somehow the experience was more meaningful in the game, despite having comparative potato quality compared to real life. I think what made the difference was that in the game, each painting had several lines of dialogue about what the painting represented, or elements thereof represented, about what was going on when the artist created it, etc, and the dialogue choices included questions I would never have thought to ask about in person.

I know that museums have virtual tours that have ausio descriptions like that about the art pieces, but I've never managed to take advantage of them. Can you imagine being able to take a high-detail virtual tour (even if not in VR) of a museum like the one in the article, or the Louvre, where you could spend as long as you want looking at every painting, zoom in at details like brushwork or how the light hits it, and have an expanding set of accessible narration (or readable text) about each item?
I've recently subscribed to sonnet after creating a new toy svelte project as I got slightly annoyed searching in the docs with how they're structured

It made the onboarding moderately easier for me.

Haven't successfully used any LLM at my day job though. Getting it to output the solution I already know I'll need is much slower then just doing it myself via auto complete
It's as simple and as difficult as you want it to be really.

The main thing is that people have to learn that, paraphrased for brevity, life in the "ends" requires a different set of skills to life in the more civilised parts of society.

You have to relearn how to function. Some don't.
I don't think we should be missing the forest for the trees.

Yes, because of historical reasons, _technically_ "magistrat" refers specifically to magistrates from the judicial branch and not all judges [0]. This is surely interesting yet administrative judges do the same job of presiding over court proceedings before them and being independent from the political authorities.

Procedure is different between the two branches, but there are also differences of procedures within each branch - for instance between penal vs civil cases.

The Constitutionnal council has ruled that the independance of administrative judges is a constitutional principle in the same way as the judicial judge [1, see point 6].

[0] of course if we need to be really technical, administrative judges are magistrates see: 'Les membres des tribunaux administratifs et des cours administratives d'appel sont des magistrats [...]' https://www.legifrance.gouv.fr/codes/article_lc/LEGIARTI0000... ; but members of the Conseil d'Etat, an administrative court, are not administrative judges - they're conseillers d'Etat.

[1] https://www.conseil-constitutionnel.fr/decision/1980/80119DC...
Oh boy, my crazy niece had some weird stuff to say about this. Here goes:

"Narratives are anthropomorphization of time. Anthropomorphization of non-human concepts is taking something that is beyond human and turning it into a human-based idol, distorting it in the process. Like other idols, it can be used to manipulate and deceive. Therefore all narratives are manipulations and deceptions, sometimes done for self-comfort, other times done to manage a populace."

I thought about this, and thought the perspective interesting. However I think it is stretching the concept too far so I don't buy it - you can't simply call everything you don't like idolatry. I also thought it got uncomfortably close to conspiracy-theory style thinking so I told her to just shut up.
If you’re editing Openstreetmap, using data from Street View is prohibited by the license, even if you pay for it I believe. However, Microsoft has licensed Bing Streetside for this use for free; the dataset isn’t as good as Street View, but is much better than Mapillary.
Of course anything you make yourself is yours. I'm not sure how the license can confuse anyone into thinking it wouldn't be. It likely wouldn't fly with the law anyway. Unless it was all saas.
There is this: https://www.kompoz.com/

It's geared more towards collaboration and there is some system to share any income that gets derived (not sure how it worked). You find someone's song page, download the existing tracks (stems) and work on your own, uploading to the collection when you are finished. I collaborated with some artists and it was fun and I met some folks. They set up payments but I never expected anything to come from that. I thought finding projects that are interesting to collaborate on was difficult. It's just a big pile of music of varying quality and genres.
Yeah...my thinking was more like "if I already love doing this as a hobby, why not do it and get paid for it?"; that was my biggest mistake -_-
> Its members are judges and their decisions are judgement.

They are civil servants, not magistrates. They don’t have the same independence and are nothing like American judges.

> That's because only criminal court can do that.

That was specifically addressing the contempt of court issue. The Council of State cannot do that. It can make the public institution do something, but it cannot punish the individual. Once the action was deemed illegal, the individual faces disciplinary action from their institution, but the Council does not decide this.

> That doesn't make it any less of a court. A civil court doesn't fine, it only grants damages. That doesn't make it any less of a court.

What makes it not a court in the American sense is that it does not have any magistrate. Commission would be a better word.
THT: A modern re-design of PHP (v0.8.1 Beta)
I haven't notice any degradation so far. Recently they even announced a Bandcamp Friday - a day when a Bandcamp commission is 0 and all income from sales goes to the artists. Doesn't look like they try to squeeze as much profits as possible and slowly kill the platform in doing so.
Show HN: Trailer for our realtime GenAI+unreal multiplayer game [video]
Hello! I'm Aaron, co-founder at Jam & Tea Studios. For the last year, we've been exploring if and how genai can create novel gameplay experiences. The first results of our experiments is Retail Mage. It features our own embodied agent NPCs (w/ dialog, planning, observation, memory) and our unique object interaction system in which players can say/type what they want to do and we'll translate that into the 3D unreal simulation.

We're running this on GPUs hosted in AWS (we're part of the AWS GenAI Accelerator) where we manage the inference ourselves (for feature, cost and performance reasons).

Getting realtime inference to function, at even a modest scale, for a realtime 3D video game has been... fun. And definitely interesting. This game includes just a few of the AI features we've prototyped, so we're excited to build more games with more advanced features soon.

Steam page: https://store.steampowered.com/app/3224380/Retail_Mage/

Happy to answer any questions!
I love crossword puzzles, and this is very well done! A while back I made a crossword puzzle generator using constraint programming. It is definitely way slower than whatever heuristic you are using, but it is very good at generating dense crossword puzzles using small word lists. This would be useful if you were interested in making a crossword puzzle using words related to a single game, for instance. You can read more on it here if you are interested: https://pedtsr.ca/2023/generating-crossword-grids-using-cons...
This is so misleading. What you are saying it technically true, but also why our system is broken.

If I can only make 10% profit (or whatever the law is), what is my incentive to keep healthcare costs down? The ONLY way I can grow my income if it healthcare costs go up. 10% profit on a $100 medication is way less than 10% profit on a $1,000,000 medication. The road to hell is paved with good intentions.

Another disingenuous argument on non-profits. Is all of Blue Cross Blue Shield non-profit or only the certain parts you want us to look at? A 'Pay no attention to the man behind the curtain' argument.

Final disingenuous argument is you just asserting 'meaningful cost reduction'. There is no way ambulance rides went from $200 to $10,000 because of EMT pay.
Testing emoji entry:
This article starts talking about visualizations in head, but then the article becomes about common paper/screen visualizations from CS classes and programming tools.

There are visualizations in your head, and visualizations that you can look at and read and write. Unless you have a photographic memory, IME they're not used the same way.

For example, take their database schema diagram. The graph layout doesn't even make a lot of visual sense, and the visual language doesn't show the connections between columns and relations. But you can "read" through the column names (including the keys they put at top), and trace through the arrows, to see how to navigate to the information you need. And it summarizes important information in a small amount of space. All useful. But that's probably not how you see it in your head, and that's good.
The point is, 99% of cases where JSON is used, it is already:

* Agreed by both parties to be the protocol they'll use

* Used for "representation" (assuming we mean the same by that, if not, please clarify)

>So if you're using Firefox

I jumped ship ten years ago; but I've heard you guys are doing quite well?

>I'm dangerously clueless about real-world JS.

Agree.

Disclosure: I'm @moralestapia but my laptop ran out of battery and this is my backup account, lol.
I'm actually using it at the moment in my work and I'm often doing 3-4 updates per patch.

You want them to all fail or not,

One-by-one is a bit of a weird suggestion tbh. You shouldn't be reasoning that way about code.

If you are going to get a 4xx response to one of the 4 property updates you want them all to fail at once.

Just like anything else we use like SQL.
There's even more:

> The end product, ready for use, has the homeopathic format D7. This is another reason why Pneumatit® does not have any physical or chemical influence on the building material.

https://www.lehm-laden.de/en_GB/pneumatit

They even state that it doesn't have an effect on the physical properties of the material.
Glad to see my own instincts here. Filesystems, text files, plain HTML, fun, long-lasting.
We usually don't put anything at all unless it feels like they aren't gliding properly. Depends on the board.
Show HN: I made a tool that monetizes GitHub repositories
Hey HN,

I just launched my very first SaaS! It's a platform that allows creators and developers to monetize access to their private GitHub repositories without taking a cut of their revenue.

Why I made it: I make content on YouTube where sometimes I share source code through my Patreon, but the process of zipping up files and uploading them is pretty tedious. Worse, when I make changes I have to zip it up again and re-upload it. It's even more annoying when people want to discuss the code, but they can't on Patreon, so they have to share snippets through screenshots on Discord.

I hope this product helps some of you out there. I'd love to get some feedback from you all! Thanks :)
> There is a special place in hell for anyone who creates a maximum password length limit

People abuse everything, you can be dossed trying to compute <pick your hashing algorithm-of-choice> of a password as big as the maximum body size your webserver accept (which is a limit btw, so remember to dress light :-p )
-1 very obscure format.

Here's a great password dictionary that only contains common English words [1]. Use 5 words and you have a 70-bit password.

[1] https://github.com/sts10/generated-wordlists
Thanks for that (I haven't tried streetside) - I'm not editing openstreetmap at this point but trying to find homes near decent infra.
I think this greatly depends on rhe type of protest, specifically whether it threatens the ruling class's ability to make a profit or to govern. In recent centuries liberal governments have gotten better at channeling discontent into forms of protest that are less consequential and more performative.
I recently had skin cancer surgery. I was offered a 20% discount to self pay. Because of my deductible I would have paid more if I used insurance than if I just paid. We are now to the point where it's not cost effective to use our private insurance for cancer surgery. How anyone is defending this system is crazy to me.
> Theoretical physics is highly mathematical, but it aims to explain and predict the real world. Theories that fail at this “explain/predict” task would ultimately be discarded. Analogously, I’d argue that the role of TCS is to explain/predict real-life computing.

Incidentally, real-life computing depends quite a lot on the laws of the physics of the universe we live in. This has been known quite clearly since the theoretical discovery of quantum computing, with the resultant split of classical complexity theory and quantum complexity theory.

Morever, physics also determines what sort of devices you can make and with what performance. The real-life speed of solving NP-complete problems depends on the absolute and relative performance of transistors, CPUs, memories etc.

Hence, I submit that TCS has the same relationship to Physics as does Mechanical Engineering to Physics.
I'm pretty sure IEEE 754 covers trapping floating point math. It's not just about in-band signaling. It's unfortunate that the standard is proprietary, so we can't easily reference it to figure out what it says.

Anyway, most CPUs support a trapping mode, after all. Here's an example with glibc:

#define _GNU_SOURCE
#include <fenv.h>

volatile double x = 1.0;
volatile double y;
volatile double quotient;

int
main(void)
{
feenableexcept(FE_DIVBYZERO);
quotient = x / y;
}

As far as I understand it, overall support for trapping math is poor because not much code is trapping-aware. It would be quite annoying if JSON parsing results in SIGFPE due to an Inexect trap, for example.
Show HN is for things you've made people can try right now so you could post this when you have something available. More at https://news.ycombinator.com/showhn.html
The thing with cats is that people think they have a cat problem when in fact they have a rodent problem that the cats keep in check.

Then they go, eradicate the cats, and wonder where the rats and mice come from. It's called the "mesopredator problem" in ecology, and it's a massive issue when you want to restore ocean islands for birds.
How can anyone say that the lead is shrinking when no one still has any good competitor to strawberry? Dspy has been out for how long and how many folks have shown better reasoning models than strawberry built with literally anything else? Oh yeah, zero.
> If I say all swans are white as my hypothesis

That fails as a scientific hypothesis on purely structural grounds, before you have made any observations. Scientific hypotheses have to explain something. It's not enough to say that all swans are white, you have to say why. "All swans are white" is an observation, not a (scientific) hypothesis.

An example of a legitimate scientific hypothesis is that all swans are white because being white provides swans with some benefit in terms of reproductive fitness (and then you have to go on to say what that benefit is). You can then go on to predict that there might be non-white swans, but that these are expected to be rare because evolutionary pressure would drive non-whiteness out of the gene pool. Or something like that. But "all swans are white" by itself is a non-starter as a scientific hypothesis.
I don't even have to get in the zone for that, spatial relationships with various shapes (they're usually tagged blobs rather than geometric shapes; it's not something that could easily be made into an image to share with people) are just how I think about code in general. I switch from my normal "internal voice" style of thought to something different that usually doesn't use words, except occasionally for things like prepositions to help with relationships.

Really this is the same style of thought I usually have when I'm reading a book. Usually I don't have the entire thing mapped out like you'd see in a movie, just blobs that represent the characters and objects in the setting, but they're moving around and interacting as if it's a movie. If I get in the zone while reading this can temporarily override what I'm seeing so I don't even realize I'm still reading words and turning pages.
TYVM for trying it out and feedback and it confirms what other users are saying. This is an unsupervised version with no human quality gate. Please consider this a starting point. That being said, I feel bad that you couldn't even enjoy it, that was not my goal. Sorry for that. I thought people would take a smile away regardless of some words/clues being bad. I have to admit i underestimated the appeal of quality. Some people say it gets at least a little bit better from puzzle #13, maybe you can get some enjoyment out of that? No worries if you are fed up at this point. Thanks for trying it out
'Tlon, Uqbar, Orbis Tertius' (1940) [pdf]
Julian Jaynes[1] makes a pretty compelling argument that our unconscious mind does pretty much all of the heavy lifting with regards to problem-solving. The conscious mind just steers us and lets us remember what we are doing.

If I recall correctly an example he gives is looking at a math problem. Looking at 2+2 as an adult you instinctively know it to be 4. As a child you may have had to count on your fingers or write out the problem until the abstraction of numbers was solidified for you, and now it is just a black box that your unconscious has added to a "tool belt" of sorts.

For me I would describe the process of learning/problem solving as my conscious mind navigating some solution/problem space and figuring out the general shape of it. Once I have figured out the shape of the problem, the answer either:

1. Immediately looks like the shape of another, solved problem. In which case I just use that solution.

2. Is not immediately apparent.

In the case of #2 I just play around with different strategies that mostly don't work, but it helps me build a mental model of the problem. Then I wake up in the middle of the night with a solution, or figure it out while I am showering/eating/driving/etc.

[1] https://en.wikipedia.org/wiki/The_Origin_of_Consciousness_in...
And it's not just some trainers/consultants. It's at least 12 000.
I think the question is more how much the market will bear in a world where MS owns the OpenAI IP and it's only available as an Azure service. That's a different question from what OpenAI needs to break even this year.
Yeah you guessed it, smallweb is basically CGI meets Deno sandboxing + https imports.
Seems like a reasonable thing to me.

{
"makes": {
"toyota": {
"models: [ ... ]
}
}
}

"I need all the models of Toyota cars."

Or

"Toyota came out with a new Camry, I need to update the Camry object within Toyota's models."
Just whining wouldn't be much of a problem.

The problem is they think they have found a simple minded shortcut back to the good ole days.

The reality is you can never go back and trying what looks like a shortcut will only make things even worse.
They still have to renew your prescription for you. If you're running out in 5/7 of a month, but only getting renewed monthly, you're just changing the granularity, not the dose.
Given that the museum has ignored all court orders and deadlines and faced no repercussions, what exactly do they expect will happen when the Supreme Court too rules against the museum? Until these court rulings have teeth, it just makes a fun article to read.

A short jail term for the person who heads the museum might motivate them to act better
"How to Read a Paper" by S. Keshav (2007)