skysight-inc/HackerNews huggingface dataset:
Nope. Prolog is an ISO-standardized language since 1995 and the spec was updated in 2012. Where older "legacy" Prolog implementations such as SWI, YAP, and SICStus are deviating from the standard is generally pretty well-known to Prolog practitioners, and the convener of ISO 13211 actually can verify claims of ISO conformance; for example, [1] is a link to the ISO certification of Quantum Prolog (the web app at [2]).

It's true however that people are quick to conflate Prolog with constraint-logic programming libs, "expert systems" (RETE-style forward-chainging systems and other "rule engines"), or random "functional-logic" programming languages. The misunderstanding of Prolog and logic by Lisp programmers has been ongoing since the 1980s, probably because at one point Prolog and Lisp were seen as competing "languages for AI" for some reason even though they have very little in common.

[1]: http://www.complang.tuwien.ac.at/ulrich/quantum-prolog/

[2]: https://quantumprolog.sgml.net
The author answers the inability to escape all narratives with the ability to constantly change perspectives. From the article:

> We might never fully escape the narratives that surround us, but we can learn to change the perspectives behind them. And so, we are never bound by stories, only by our ability to understand how our beliefs and values shape the way we perceive and engage with the world. We don’t need better narratives; we need to expand and refine our perspectives.
> * custom datatypes

Good in theory. But last time I checked the main libs to connect to pgsql, everything you get back from the database are strings. So you need something in your app to convert those strings to the equivalent data structures.
VHS, CD, DVD, Blu-ray, MIDI, JAMMA, SD card,
Then I'm really not sure what exactly you are arguing for or against. The act of making a story that attempts to give meaning to human life and society? How would you evaluate that for potential upsides and downsides, and what are you comparing it against?
Black death? Post-WW2?
I hope they do not find a way. Because I fear the banks that currently block screenshots on their phone apps (being every UK bank I use) would employ it to do the same on their websites.
It's weird to know the date of your death (of your social life, at least).
GC API from C++11 was removed in C++23, understandibly so, given that it wasn't designed taking into account the needs of Unreal C++ and C++/CLI, the only two major variants that have GC support.

Exception specifications have been removed, although some want them back for value type exceptions, if that ever happens.

auto_ptr has been removed, given its broken design.

Now on the simplying side, not really, as the old ways still need to be understood.
Ah, Professor Vardi, a fascinating case study in our department. His devotion to the 'science' in computer science is truly something to behold. It's not every day you see someone try to reconcile Turing machines with the second law of thermodynamics ...

Dr. Vardi's Second Law of Thermodynamics for boolean SAT and SMT (Satisfiability Modulo Theory) solvers is truly a marvel of interdisciplinary ambition. In his framework, computational entropy is said to increase with each transition of the Turing machine, as if bits themselves somehow carry thermodynamic weight. He posits that any algorithm—no matter how deterministic—gradually loses "information purity" as it executes, much like how heat dissipates in a closed system.
His real stroke of genius lies in the idea that halting problems are not just undecidable, but thermodynamically unstable. According to Dr. Vardi, attempts to force a Turing machine into solving such problems inevitably lead to an "entropy singularity," where the machine's configuration becomes so probabilistically diffuse that it approaches the heat death of computation. This, he claims, is why brute-force methods become inefficient: they aren’t just computationally expensive, they are thermodynamically costly as well.
Of course, there are skeptics who suggest that his theory might just be an elaborate metaphor stretched to breaking point—after all, it’s unclear if bits decay in quite the same way as particles in a particle accelerator.
> Couples who navigate growth together often develop stronger, more resilient partnerships.

Thinking of someone I used to know who sarcastically referred to her many relationship blowups as "another fucking 'opportunity for growth'".

I see a lot of people talking past each other in this thread. There's several layers at work:

- "marriage is good"

- "people should make an effort to keep their relationship together"

- "people should make an effort to keep their relationship together, even at the cost of their own happiness, regardless of whether their partner is also doing the work"

- "marriage should be socially encouraged"

- "marriage should be socially enforced with censure of the unmarried"

- "marriage and its permanency should be legally enforced, regardless of harm including rape and domestic violence" (the pre-1950ish position)

You can see poster A making one of these statements and another poster B replying as if they'd said another one down the slippery slope.
Having to tinker with pg_hba.conf files on the server so manage how users can connect.
Yes, that's why I called them "failed attempts to encapsulate reality into an over simplified story."
Rotating people through the root ("central" if you insist on camouflaging the hierarchy*) positions seems an excellent idea. The biggest problem with rotations in general is the existence of domains requiring large amounts of specific knowledge, but I don't think anyone is arguing that administrative positions are among them.

— We're taking turns to act as a sort of executive officer for the week

— Yes...

— But all the decisions of that officer have to be ratified at a special bi-weekly meeting

— Yes I see!

— By a simple majority, in the case of purely internal affairs

— Be quiet!

— But by a two-thirds majority, in the case of more major

— Be quiet! I order you to be quiet!

(I wonder how the Pythons themselves handled group decisions?)

* but see expander networks for a possible alternative network structure
It is one of my favourite languages, but I think it has already crossed over the complexity threshold PL/I was known for.
Show HN: Get Turing patterns with simple image processing
Zebra stripes, leopard spots, butterfly wings, and many other natural patterns are governed by reaction-diffusion systems. These systems are governed by two processes: diffusion and reaction.

Surprisingly, we can mimic these natural patterns using simple image processing techniques like blurring and sharpening.

I built this interactive website to try it out, you can just upload a picture and iteratively blur and sharpen it many times until you see the patterns emerge!
In C unsafe code is typically marked by surrounding it with {braces}.
> a story that still centers humanity in the universe and offers a better worldview than "you're a primate lost in space."

The fact of being a self-aware meta-cognitive primate lost in space isn't enough of a miracle to justify feeling centered in the universe?
I used to live in Sebastopol CA, which is close by to Healdsburg. That was a nice town, it felt like it had a bit of a community. Very walkable, I'd walk into the town centre every day for a coffee, sometimes with my youngest kid. Always someone playing music in the town square. Occidental was also a nice place. I felt like I saw the best of America there, it's probably too expensive a place now though. Healdsburg was to manicured, I didn't enjoy it.
Our sample sizes are small, our circumstances vary, and people are too unique.
> should have known based on written policy

Ah yes, it was in the EULA. Which everyone always reads.

If you've got an otherwise good employee it's incredibly dumb to lose them over this. Clearly they can see when people are abusing the system, so why not warn them before they go over the threshold for getting fired?
My vote goes to Oxygen Not Included
No; donors have a right to be fully informed about the system they're entrusting their lives to. It's immoral to hide truth in order to manipulate people into acting in ways you want them to act.
I copy the images in my clipboard and save them in an HTML file to have single-file galleries:

https://gist.github.com/egeozcan/b27e11a7e776972d18603222fa5...

Live:

https://gistpreview.github.io/?b27e11a7e776972d18603222fa523...

Selecting via file-picker works too. Dragging usually does not. When all works, images are inserted inline as blobs.

After adding images, if you save the page (literally file->save), the blobs are saved together. don't want a part when saving (for example, removing images)? inspect element, remove, save page.

throw the page on some server or just double click on your computer/mobile.
> A company that drowns in debt and needs government bailouts is not profitable by any definition of the word.

They're not "drowning" in debt, they're not being bailed out and they are most definitely profitable.

> [nuclear] costs more money every year

You might want to actually look at the EDF financial reports...

> That's why France now has increased the price of nuclear power by over 60%

Also not true. France has increased the "price" of the ARENH program, which allows companies access to 25% of EDFs cheap nuclear capacity at low prices.

> Turns out EDF was selling nuclear power below production cost all these year

Turns out the ARENH program legally required EDF to sell 25% of its production at a very low fixed price. Even if it needed that electricity itself, which meant it often had to buy that same electricity it had produced back from those same competitors at a higher price. At the height of the energy crisis at a 25x higher price.

> As I said - not profitable.

Yes, you keep saying it, and it keeps being wrong.

2023, € 10 billion in profits.

https://www.edf.fr/sites/groupe/files/2024-02/annual-results...

I would like to be this "not profitable"
I think it could be boiling frog syndrome.

For the last decade I have always signed up for Twitter, used it for a few months, deleted the account and stayed away for months/years and then returned. This is largely because I get addicted to Twitter.

My last return to Twitter, a few months ago, was the first time since the firings. And it is awful. Glitches all over the place. Bots all over the place.

This is the longest I’ve had a Twitter account because I have absolutely no reason to delete it since I have no desire to use it.

Also, I don’t use Twitter for politics at all. It’s almost entirely for sports/tech/science so it’s not a partisan thing.

All that being said, I think it’s absolutely true that Twitter could have reduced its workforce somewhat. Like every other tech company they had massively over hired during the pandemic and all of them have had deep layoffs. And Twitter was the poster child of “why does tech company X need so many employees”. But even then the impact of the cuts are very evident to me at least.
This is the tale of how I learned to overcome the narrative fallacy.
I think that is just a cop-out born out of fear of rejection. If you don't want to connect with anyone, that is fine. I doubt that you can't.
Because the actual process of upgrading Postgres is terrible.

I say this as someone who absolutely loves using it, but the actual process of upgrading Postgres is something that takes significant downtime, is error-prone and you're often better off just dumping all the databases and reimporting them in a new folder. (A good idea in general since it'll vacuum and compact indexes as well if you do it, combining a few maintenance routines in your upgrade path.)

It requires having the previous version of Postgres installed, something which can mess with a number of distro policies (not to mention docker, which is the most popular way to deploy software that will typically rely on Postgres), and unlike most software with that issue, Postgres is software you want to be managed by your distro.

Therefore, most people only upgrade by necessity - when their distro forces the upgrade or the version they're using reaches EOL.
It's just an example of a teacher engaging their students in a subject by not only teaching to the test.

Here's another one. I had a maths teacher who engaged his students about probability theory through learning about games of chance. We spent some lessons figuring out what advantage we could get in various card games. He also spent some lessons on just "cool" ideas like infinity, zeno's paradoxes and other mind blowing concepts. None of which were on the exam syllabus.

As an aside, history is very much not about facts. It's more about interpretation of incomplete data from many different sources, not all of which are reliable. My Dad said it's more like being a detective (he was a professor of history).
Factory must grow.
Your wish is my command ;)

https://news.gipety.com/
New Stuff in Emacs 30
I think that this article is just an advertisement for some shitty company that was generated by AI/chatgpt and co because it doesn't have any sense at all. For example:

Deploy AI Features at the Edge
What people calls 'life' is just a chemical reaction that compels animals to comment on HN - Mick & Rorty
I guarantee suicide rates would skyrocket.
Hmmm. Well, if we all misread you, ISTM that you also misread me.

What I was trying to say was: "I am pretty smart, but I can't do this."

Which means: "different people are smart in different ways."

Which means: "what is no problem for Lisp coders can be a pretty big problem for other folks."
Mask precision, plugin compatibility, scripts and actions, color profiles management, brush options, camera raw compatibility, liquify tool, 3D, font options... I just named a few that I use regularly.

Beside functions, Gimp's UI looks outdated.
There was also was WASH[1] way before blaze.

Given the minimal syntactic overhead and the do-syntax overload/Monad type class, Haskell is a great language to do these embedded DSLs in.

[1] http://www2.informatik.uni-freiburg.de/~thiemann/WASH/
I got curious, there is a Wikipedia page describing what languages are currently available,

https://en.wikipedia.org/wiki/Unisys_OS_2200_programming_lan...
Yes, this discussion is about memory safety, but this does not invalidate my argument. There is no point in only auditing your code with respect to memory safety, so the argument that you can simply ignore everything outside "unsafe" blocks is simply wrong.
> In most cases it should reliably hit an unmapped page and cause an exception, but there are exceptions on weird targets or with huge offsets

Perhaps the most important exception is when the optimizer assumed the pointer was non-null, so optimized it in a way that produces completely unexpected behavior when it is null.

Also use-after-free and use of uninitialized pointers is more likely to point to incorrect, but mapped, locations.
Reminds me of the Priiiiillll debacle: https://heideblog.com/2011/05/12/eine-abstimmung-fur-raserei... (the title is in German and is unconnected)

TL; DR: washing-up-detergent maker Pril does online competition and promised to put the winning design on shelves, the design that got most votes: https://heideblog.com/wp-content/uploads/2011/05/screen-shot...

Somewhere online there's a pic of these things on the shelves/they did make them as collectibles.
"you are full first class member of that special species that the most perfect imaginable being ever created and whatever you do you’ll be granted salvation and experiment an eternal existence in paradise".

That's really not an accurate description of the role religion has played in human psychology, and is only accurate for a very specific subset of beliefs in a specific time and place.

My argument was more that humans thought of themselves as inhabiting a world designed for them, but then learned that this was (likely) not true, and that for many people this is a pessimistic, nihilistic conclusion.
This kind of sounds like a Homebrew issue…?

I’ve run multiple variants of PostgreSQL on my MacBook under MacPorts. Can’t even remember the last time I thought about it, to be honest.
Wow, looks nice! Can you do that for SE and add quantities?
That's a strange timeline. Suica transit and payment started in 2001, flip phone integration in 2004, Android in 2010. PASMO-Suica interop started in 2007, expanding to 10 cards across regions in 2013. Apple Pay with NFC launched in 2016, iPhone 7 with FeliCa launched in 2016, PayPay was 2018. Those all came after success of Suica and its slowly expanded mutual interoperations.

JCB is also a card brand, not a payment system. System is more like payment networks like CARDNET.
Because they already work great, you are unlikly to get forced to upgrade, and they are the part of your system doing the most critical work under the heviest load.
It might be, but I don't think culture at large finds this story very inspirational.
Secret 3D scans in the French Supreme Court
Which is also a horribly bloated mess that doesn't really do anything you can't accomplish with IRC.
This reminds me of a Chinese farmer story:

"The whole process of nature is an integrated process of immense complexity, and it’s really impossible to tell whether anything that happens in it is good or bad - because you never know what will be the consequence of the misfortune; or, you never know what will be the consequences of good fortune." ~ Alan Watts

https://www.youtube.com/watch?v=sWd6fNVZ20o
Windows Starting-Sounds
VidPanos: Generative Panoramic Videos from Casual Panning Videos
Ah yes, you made me realize we could check if the node graph isn't open and tell the user to report a bug in that situation, which must have arisen from a tool or other WYSIWYG aspect of the program causing a node graph error. But we wouldn't show it if it arose from the user just noodling around with the nodes. That's a good idea that'll be worth us implementing, thank you for the suggestion.
Ask HN: Is It Time for a WordPress Alternative?
Given the recent public dispute between WordPress.com and WP Engine over the ACF plugin, are you considering exploring alternative open-source platforms for pure blogging?

The controversy has highlighted potential tensions between the commercial and open-source sides of the WordPress ecosystem. This raises questions about the future direction of WordPress and the level of control individual users have over their websites.

If you're a blogger primarily focused on content creation and distribution, what features or characteristics are you looking for in a blogging platform?

1. Simplicity: A clean, intuitive interface with a focus on writing and publishing content.
2. Performance: Fast loading times and good SEO optimization.
3. Customization: The ability to customize the look and feel of your blog without extensive technical knowledge.
4. Community: A supportive community and active development.
5. Cost: A free or affordable option.

Share your thoughts.
Yes that's true. The surest path to success doesn't generally align with happiness. People will frequently disappoint you. Yet unfortunately success in our current system is all about people and connections.

But if you focus on building stuff for its own sake and don't worry about financial success, you will be a lot happier because those goals are within your control. You will build the product and you will achieve your personal vision. Nobody else will care but that's going to be OK because you will prove to yourself that you're a capable individual and that's satisfying in itself.
While we're at it, perhaps we should also presume little-endian byte order. As much as I prefer big-endian, little-endian had won.

As consolation, big-endian will likely live on forever as the network byte order.
you cannot harvest most organs from a completely dead body. that means the body of a donor is often still breathing and has the heart beating, but the brain is diagnosed as dead. that's why "dead" donors are even medicated and shackled to reduce disturbance by detrimental stress symptoms and even defensive body movements ... all of those of course being on the level of a headless chicken still running. at least that's the theory.
Plenty of people writing rust are coming from that background. And a substantial part of the reason for wanting it in linux is that the slapped-together C in linux drivers is often awful, both in terms of understanding of the hardware and in terms of the quality of the software. Rust can at least help the poor quality of the latter not affect the security and stability of the kernel so much.
That code looks horrendous.
Your post history kind of makes this look like a bit of a(nother) thinly-veiled ad.
The most advanced calculator for Factorio is definitely YAFC, "Yet Another Factorio Calculator", based on Google's OrTools solvers [https://github.com/shpaass/yafc-ce]
(gifs readme at [https://github.com/shpaass/yafc-ce/blob/master/Docs/Gifs.md])

The flowcharts are generally made with Foreman2 [https://github.com/DanielKote/Foreman2], yet another external tool

Both the calculator websites, https://factoriolab.github.io and https://kirkmcdonald.github.io also have both Sankey and Box-line flow diagrams

In-game calculator mods are Rate Calculator (that just shows the production ratios of selection), Helmod and Factory planner, don't have flow diagrams afaik

---

But with the new 2.0 DLC Quality and Recycling mechanics which makes every graph connection quintuple and bidirectional, the difficulty to calculate what's the best way to craft something of high quality is going to skyrocket
Speaking of SVG spec, is there a guide on how to create SVG files with Inkscape that will render well on most web browsers supporting SVG?

I have failed a number of times producing an SVG file that would render the same on browsers and in Inkscape editor window. This is frustrating.
CVS was covered under "these types of companies".

Anyone that hires the kid who acts like they hate existing while in highschool as a business model, really.
> Erlang's early versions were built on top of a Prolog-derived language who's name escapes me.

AFAIK, Erlang was originally implemented in Prolog and the original VM was inspired by the Warren Abstract Machine targeted by some Prolog implementations. It was also inspired by PLEX, but PLEX wasn't a Prolog derivative.
I have to say that reading this from a non expert point of view leaves me wondering if this comment is true or if it is just the result of some elaborate prompt on ChatGPT
This website is not complete without the Igor-3000 coding robot: https://youtu.be/q-HvY8stFxk

Greetings from Novosibirsk!
Nearly every Google Image search result has AI images now, personally I’m starting to attribute this to Image Search just having been neutered and downgraded a ton over the past few years anyway so worse content surfaces in general.

But consider it from Googles perspective and this is why I think they won’t care, serving snippets and caches of articles had rights holders attacking them, serving thumbnails of images has rights holders attacking them, serving tiny bits of songs in the background of video had rights holders attacking them.

Serving AI doesn’t, I don’t think the current management at Google will care if Google shows fake baby peacocks as long as it can serve them without being bothered by rights holders, same way a Gemini summery can launder article information.
It does not invalidate an argument that you do not want to talk about it.

Regarding the second point: yes, you can then blame the "unsafe" part but the issue is that the problem might not be so localized as the notion of "only auditing unsafe blocks is sufficient" implies. You may need to understand the subtle interaction of unsafe blocks with the rest of the program.
Does Cython run on the GPU?

I used TF, Torch and Jax to implement a monte carlo sampling thingy and Jax was by far the most readable and performant.

I think the Cython use-case is kinda subsumed by the pypy jit right?