skysight-inc/HackerNews huggingface dataset:
The only way I've found to back up the claims: try to prove them myself :)

or at least attempt to. I'm fairly convinced CLIPS is an unexplored middle-ground answer to conversations around "does our company really need AI/ML? SQL is enough."

I also see CLIPS as a declarative abstraction around our classic imperative CRUD applications. It exposes abstract concepts within the language that we end up implementing ourselves, like application caches (working memory), pattern matchers (LHS of Rules), and permission systems (in CLIPS, the object-oriented concepts known as "COOL" list User as a separate object inheritance chain from the other objects).

Consider PostgreSQL, a popular database that one could consider a Rules Engine:
1. records stored in tables can be implemented with facts in working memory
2. constraints, foreign keys, views, and other abstractions that come with RDBMSs which we slowly replicate within our application layer over time can be implemented with defrules
3. and you can even add "Rules" (https://www.postgresql.org/docs/current/sql-createrule.html) proper in psql

From this, we could conclude PostgreSQL is an example of an application you can build with a rules engine. However, the ambitions of CLIPS is to be a tool used for creating "Expert Systems." Whenever I bring up that term with other people, I'm met with:

1. blank stares
2. scoffs

regardless of their profession.

However, I argue that ChatGPT and other AI/ML chat bots are highly advanced "jack of all trade" Expert Systems. I also argue that some very successful web applications, such as the Pennie Pennsylvania health insurance application and TurboTax are "specific" Expert Systems. In all of these systems, you interact with someone who is the "expert" and can carry a "conversation" on the topic you specify.

We already use imperative programming languages that query remote databases specifically written to store data. I think Rules Engines (CLIPS) is "low hanging fruit" because, at its core, it's "lower level" than an RDBMS in terms of abstractions provided to the developer, but the implementation of the algorithm that interprets CLIPS code is closer inline with AI/ML. ie: neural networks are built based on inferred rules from the data they're trained on. Rete networks are built based on explicitly defined Rules by the developer. Thus, CLIPS is sort-of like having a formal language for interacting with a simplified neural network.

I hope my efforts are reaching developers on teams who have reached the point in their product's life when CLIPS "would have been a good idea to start with."

The difficult part: forgoing the temptation to reason "we don't need to use Foo, our product doesn't need all of that."

If any of the above resonates with you, I encourage you to read the CLIPS documentation and try to build something fun with it. You might be surprised at what you learn.
>Symbolic...

Close on how Maclisp/Macsyma or CL/Maxima did integration/differentiation.
Also, a chapter of Paradigms of Artificial Intelligence.
OFC, writting a CLIPS parser under CL would be trivial.
What happened to the original project ? Maintainer just suddenly went radio silent ?
Considering you can pick up a 16GB one for £2.50 at a supermarket checkout I don't think it's really that much of a hurdle.
SES and Intelsat both strike me as stodgy, old telecommunications companies. I would be surprised if they can find a way to rival Starlink as a consumer product. But I think competition in this space is good.
Eco/Green paradise? Plastic isn't the only poison, the USSR was happy to create plenty of industrial poison - Lake Karachay is a great example.

"The former Soviet Union was the world's second largest producer of harmful emissions. Total emissions in the USSR in 1988 were about 79% of the US total. Considering that the Soviet GNP was only some 54% of that of the USA, this means that the Soviet Union generated 1.5 times more pollution than the USA per unit of GNP" https://www.sciencedirect.com/science/article/abs/pii/095937...
That's everywhere, not just the US.
> where I would think that "allowing giant (tech) monopolies" is the bad thing

For what? Certainly not GDP.
Nuclear's issues are far more intractable than renewables.

The issues you list with renewables are relatively benign. Inverters? Do you really want to argue electronic devices don't improve and cheapen dramatically over time? Grid compatibility? Nuclear needs a grid too. "Hardware instability"? Like, when a GW+ of capacity suddenly drops off the grid and you have to be ready for that? That's a chronic problem of nuclear. China? I thought they were the go-to party to point to to show nuclear wasn't dead.

Nuclear is proven in the sense it has a proven propensity for massive cost overruns. Renewable projects typically come in within 10% of projected cost (at least before overall inflation picked up, but that's affecting everything.)

Lots of countries are "looking at" nuclear. Looking is cheap, building is not. Experience with nuclear is showing that building more reactors is a tragic, often hideously expensive mistake. Even in China, nuclear is experiencing considerable friction compared to their renewable rollout.

That places like France and Ontario achieved deep decarbonization in the now distant past matters little. Nuclear was competitive with or cheaper than solar and wind back then. Now, it's not, because solar and wind (and storage) have improved so much. You can't go home again; you can't revert to an imagined happy nuclear childhood either. France is finding this out.

The notion that an "anti-science green lobby" is holding back nuclear is risible nonsense. This is a go-to conspiracy theory nuclear fans use to avoid the reality. Nuclear is being held back by its own failure to compete. Look at what has happened with costs for new nuclear construction: in the US, in the UK, in France, in Finland, even in the UAE and China (where costs have been high relative to renewable options.) This despite favorable sentiment toward nuclear in the places where they're still trying.

Carbon emissions in Germany have gone down even with the nuclear phaseout, btw. I'm sure you can find a year somewhere when they went up, but that's akin to the argument of climate change deniers looking at statistical blips and saying global warming has ended.

You yourself are living in a fantasyland where you desperately have to grasp at mental straws to protect yourself from the reality of nuclear's failure. This self deception will rapidly become impossible to sustain in the near future as renewables and storage continue their rampage to domination of the world energy system. Their prices continue to crash, and by the time the world is renewable powered their demonstrated experience effects will likely make them far cheaper than nuclear could ever hope to be. Solar, for example, will likely fall to under $0.01/kWh in the sunniest locations.
I don’t know if "fired" means something different in Britain, but the article says they were let go or laid off.
I don't see how it's possible to do it blindly unless the code gets autogenerated. If you're typing the `if err != nil` then you've clearly understood that an error path is there.

There's no requirement for the calling function to handle each possible type of error of the callee. It can, as long as the callee properly wrapped the error, but it's relatively rare for that to be required. Usually the exact error is not important, just that there was one, so it gets handled generically.
Well, the most important difference is that Lean exists and is going strong, and Practal doesn't even exist yet.

But the logic Practal is based on exists now. I am currently writing the basics of this logic up as a book [1]. Chapter 2 will be ready soon. I have learnt much about the logic in the last few months, also as a consequence of trying to implement it, and the book is based on this latest understanding. It all is really really simple, and I am trying to give it the proper form so that this becomes obvious.

I very much hope a first implementation is available this year, but this depends on how much I can work on it uninterrupted by money concerns.

In the end, what I am trying to prove with Practal is that formal logic doesn't make things more complicated. It actually makes things simpler.

[1] http://abstractionlogic.com
> Having five fingers per hand is recessive too.

Fascinating, and true.

Which engenders speculation about how the world would be different if we counted in base-12. Obvious advantages to convenient divisibility aside.
It sounds like the author's website/cache/whatever isn't configured properly, but it does sound like a terrible design for the preview data to not be included in the federated data.
Even putting monopolies aside: tech isn’t a great industry to have in your community. Our former au pair went back to Germany and now has a great office job in logistics at a Dannon factory that makes baby formula. She lives in a small German town and there’s no highly paid engineers driving up the cost of everything. She never went to university but lots of career paths are open to her. At a tech company, you’d be a second class citizen without a degree (unless you were a genius programmer).
> Another is the low-paid jobs done without proper employee registration by immigrants.

Because construction, lawn care, and sweatshop jobs by immigrants is all registered in the US.
I'm wondering the opposite - could RDBMS know better than programmer how to structure the program? The other day I had this realization, that if I squint, quite a lot of code I see and write could be seen as database tables, prepared statements, and specialized indexes. In particular, every time I use an associative table (or several) to speed up access to data along particular dimension (like X/Y coordinates in the world of a videogame), that's equivalent to making an index in SQL.
>Yeah and in Italy around ~9% of the population was not born in Italy (mostly coming from non EU/ poorer countries with no tech skill whatsoever, not a judgement, just a fact) while in Romania is basically 0%

9% is low in three ways: lower than most western european countries, lower than many countries with a thriving IT industry and, finally, low enough that it wouldn't change the overall numbers too much
You can enumerate constants. There is syntax to implicitly assign the integer values, just use iota as a value.
Yes you need a daemon reload to discover the new unit files. Is there in issue with doing this? A reload means reread its config, it's not a reexec.
This must be one of those 4D chess things I hear about...
He's pretty bad in The Scarlet Letter, a schmaltzy romance. His performance as Beethoven in Immortal Beloved is quite an acquired taste.

He's also done a long list of terrible B-movies like The Courier, out of necessity (he's been open in interviews about difficulties getting roles), and it often shows in his performances that he's not passionate about them.
I used to click the fork button on repos that I found especially interesting. Sort of a way of “super liking” a repo while also making sure a copy of it exists that I can come back to later.

Eventually I found that having a bunch of forked repos that I wasn’t touching and which became stale quickly only cluttered my GitHub profile, so I removed them from my profile.

Instead what I do now when I find repos that I like is I run a command on my server that adds the repo to a queue for cloning and then the server clones the repo without me having to keep the terminal open and without having to keep a specific tmux session or anything either. It works great.

The queue system I use is called task spooler

https://viric.name/soft/ts/

It’s available in packages on most systems. For example:

- https://www.freshports.org/sysutils/ts

- https://tracker.debian.org/pkg/task-spooler

On some systems it is installed as a binary named “ts” but on some other systems they install it as “tsp” to avoid conflicting with a different binary also called “ts”.

So on my systems I use it as tsp when installed as such and if it’s installed as “ts” then I create an alias named “tsp” that I use, so that I always use it as “tsp” regardless of what it’s installed as on the system.
I always wondered how are the logos were made. I see in the source they're just hardcoded. But they must be made when some tool and imported.
None of that makes sense.

What does getting a certificate through let's encrypt have to do with the server getting overwhelemed?

It's a thing that happens once to renew a cert every couple months.

The performance hit of https on a modern server is negligable. The performance hit on a watch is negligable.
If other species die, we follow shortly. This anthropocentric view really ignore how much of our food chain exists because of other animals surviving despite human activities.
Cloudflare does not cache HTML by default https://developers.cloudflare.com/cache/concepts/default-cac...
Seems like what they actually want to say is: please help us, we have no idea how to host a moderately popular website.

They must've spelled it wrong...
If you compare the GDP per capita of Alabama with Bavaria, Germany they are approximately the same. I'd contend you would be insane to think Bavaria was in anyway poorer than Alabama -- in any respect. All this does is exposes how over dependent we've become on GDP as a metric. Probably time to start using multiple measures to make meaningful comparisons.
They're also implicitly promising to do a bunch of work in the future
> so there is no incentive for any of them to betray their people in that way

Sure other than getting harassed, humiliated or worse on schools / campuses / workplace.
> You will no longer need `cd`, `pwd`, `touch`, `rm`, `mkdir`, `cat`, `grep`, `find`, etc. Instead you do everything through `filectl` commands.

This is not as ridiculous as it sounds. Arguably, the file system is more of an exception, because it is directly exposed by the kernel. But, for example, to manage the files in a tar archive you do everything with the `tar` command and to manage a git repository you do everything with the `git` command.
They have deleted the part of their comment that referred to NY state, presumably because it was incorrect.
Directly booting Linux kernels on EFI has been possible for quite a while thanks to the EFI stub[0], which is maintained by the kernel developers.

I'm not sure if having yet another implementation of EFI booting Linux kernels, such as UKI, especially if done without support from the kernel developer community, will bring anything but useless competition and strife. The whole kdbus controversy comes to mind.

[0] https://wiki.gentoo.org/wiki/EFI_stub
It strikes me wrong to call this a genocide as a survivor of an actual genocide. So i have maybe a narrower definition of the word but i feel obligated because of my experiences to remind to being very careful with this word
> Also, if you can compile to bytecode ahead of time, then that could save the time needed to parse the text of a sql query to bytecode at runtime.

That's exactly how those "prepared statements" work in SQLite - you get a handle to a piece of bytecode, and you can call it with different parameters.
Aurora vs RDS MySQL is a really good and illustrative example!

I just like to add that this is not a flaw, but AGPL working in its intended way. It was never meant to prevent the cloud use case (neither Aurora nor RDS MySQL) but to force beneficiaries to give back. That they often deem this price too high is what effectively would have prevented Aurora.
capital is a stumbling block but even if that were solved in the EU, the bigger problem of language still remains.

The true power of the US is that it operates in the global lingua franca and has access to the world's biggest capital markets.

Machine translation may one day be a solution but we are far from that day.
Their site isn't going down from an attack. It's running out of resources for normal operations. It's not even a large amount of traffic. not really.
In the video I link at the base of this thread multiple participants declare that they did not expect to get fired.

They don't call their firing consequences, they call it retaliation. They end the video by declaring that they should all be reinstated because they did nothing wrong.

Loads of internet posters very strongly and emotionally declared that they all knew that they'd be fired, including in this thread. That they were professional martyrs who heroically gave extremely desirable jobs for a cause with eyes wide open, and of course they knew what would happen. But every bit of evidence from the actual participants betrays the opposite.

And we're going to see the same sort of rhetoric as college students start getting expelled, their academic careers ruined. You'll have the former students on one side crying and gnashing about how unfair and unearned the consequences are, and on the other side third-parties cheering on their self-sabotage as heroic.
What does it mean in American?
Low end jobs definitely exist in EU, low end jobs are the stuff that run the society and were considered essential and were not allowed to stay at home during the pandemic.

Also, the jobs not captured by the "essential workers" also still exist in EU as the wealth scale of EU is very wide, with the lower end being significantly lower than the US lower end in terms of pay.
Now that the charger standard is open, they don’t need to expand the network themselves.
they charge debit, so it's basically an atm withdrawal at point of sale.
Rare editions of Pushkin are vanishing from libraries around Europe
Haven't checked in a long time but I remember you can easily have 2-3 years with only 6 months in actual jail. But it leaves a lasting stain on you, after that nobody will want to give you money for a while. At least 5 years I think.
Let go for cause. It has different severance and benefits status.
Isn't that what fired means?
This is very useful, for example, when you ship your application to the client(s) with SQLite as the main conf/data storage. You don't have to think about whether their drives are encrypted. Also, it assures the clients that all the data in your application is encrypted by default.
That sounds like something you'd see in those bizarre animated cutscenes on the Monty Python show.
Masterful gambit sire.
In the UK this would be done as redundancies with a consultation period and semi-strict laws to adhere to.

In the US it seems like you can let people go for at moments notice with little process - in the UK that looks like what we would call “being fired” generally for cause.
> concern trolling or sealioning, of if those are just woke concepts to be disregarded in its entirety.

Using terms like "concern trolling" or "sealioning" definitely marks cultural identity.

Considering the term "sealioning":
https://www.merriam-webster.com/wordplay/sealioning-internet...
I recall the original comic was along the lines of a sea lion arguing to the point of following someone into their bedroom. -- I think the idea of taking an argument to places where it's not appropriate is universal.

Merriam Webster's definition is much more belligerent: 'something that appears civil, but actually the civility is disingenuous, and they're only arguing to be a jerk to you'. -- I think there's a good reason why e.g. HN guidelines suggest to try and see arguments in a good light.
This account's only posts on HN are this type of SPAM
Much of Europe sees businesses only as employment programs. They see the economy as managed or run by the state - it's the state that (believes it) drives the economy through employment law, tax rates, subsidies, "development programs", etc. Businesses are not there for serving the public, or making money, or advancing technology, or as free enterprise - but convenient as docile employment programs.

And for that purpose it makes sense to prefer giant corporations. It's easier to steer them, talk to them, model them, regulate them (you can talk bureaucrat to bureaucrat), twist their arm, occasionally get services or equipment from them.

And from that point of view, it's useless to try and favor startups: it will be years before just a tiny fraction of these are relevant in number of salaried people.
The same applies for literally any language if you care about error handling except it's way more ergonomic to do. Why do go users try to pass off the lack of language features as as if that's the reason why they care about writing quality code?
Or Topologilinux:

https://topologi-linux.sourceforge.net/
The PS3 and PS4 OS were also FreeBSD based too. I'd guess the PS5 was too, but I don't know.
Elon is very interesting guy, on one side he complains about birth rate, on the other side impacts people's mind to not have a kid, because they're not safe in their workplace and expects they must dedicate large part of their lives to his companies
It's called vandalism on OpenStreetMap too. New users often make mistakes though and some Pokemon Go users might become more productive when they realise the map is used for other things too so a bit of guidance can be useful as the changes get reverted.
https://archive.is/Dx0Lc
Oh come on, i'm not a fan of elon musk but jeez
If you have to behave like an adversary to get a tool to behave properly, “prompting well” is a sort of more confusing term than you’re putting forward here. If everyone started “prompting well” by current standards, I doubt it’d be long before new layers of protection were added, requiring a new adversarial angle in order to get the tool to work properly. Maybe that’s the name of the game, but that doesn’t seem like something most people would be able to keep up with in order to use these tools effectively when dealing with anything even mildly sensitive.
Its a common finding during pentests, but that's just unconvincing anecdote vs. anecdote. Another argument, besides misconfiguration, is the reduced attack surface by removing the huge complexity of sudo entirely. If your argument is basically that its fine because nobody is using the complexity of sudo, then I don't quite understand what your objection is to removing that complexity. You might need to manually restore some env-vars, whats the big deal?

But I suspect this would just turn into a "doing things differently is bad because its doing things differently" argument, its not a very useful conversation to have.
Yes that's what "fired" means. My understanding is that this means the same thing in the US as in Britain, although Britain has much stronger labour protection so a lot of these whimsical "I'll just fire whoever I want" things can't fly here.
It's one thing to want your devs to produce readable code -- as a former CTO I also spent significant effort in teaching people that -- but it's completely another to be a curmudgeon and directly disregard valuable programming tools like the sum types.

Not sure why you are conflating both. Also inheritance was known to be the wrong tool for the job at least 15 years ago, maybe even 20. Back then people wrote Java books that said "prefer composition over inheritance" so your analogy didn't really land.

Everyone who uses sum types in production code agrees they reduce bugs.

Maybe it's time for you to retire.
While I agree with other commenters that a server should be able to gracefully handle the relatively small amount of traffic being generated here, I'm sympathetic to the notion that in this specific instance the problem is exacerbated by all the servers making their requests at almost exactly the same instant, i.e. the Thundering Herd Problem https://en.wikipedia.org/wiki/Thundering_herd_problem . If Mastodon wanted to address this, servers could add a small amount of random delay before fetching a link preview.
It is indeed often used as an amplified star. I often see "fork and star this repo if you find it useful" used similarly to "like and subscribe" on YouTube.
The so-called legislators and “lawmakers” in the USA also don’t write laws. The process is complicated, but at an overview level the real lawmakers hire lobbyists to go find an office holder to rubber stamp a bill they have written and want enacted. The lobbyists are just bagmen of course.