emorning3

I often use Chrome to valid what I think I know.

I recently asked Chrome to show me how to apply the Knuth-Bendix completion procedure to propositional logic, and I had already formed my own thoughts about how to proceed (I'm building a rewrite system that does automated reasoning).

The response convinced me that I'm not a total idiot.

I'm not an academic and I'm often wrong about theory so the validation is really useful to me.

How long until a bunch of Trump's stablecoin is stolen?

That will be... entertaining.

>> [2] to the inevitable responses that say "well I actually learn things better now because the LLM explains it to me", that's great, but what's relevant here is that a large chunk of people learn by struggling <<

I'm using AI to explain things to me.

And I'm still struggling, I'm just struggling less.

That's progress I think.

Yes, it's true, I'm not a fan.

You can put Scala on that list as well.

I know Basic, Fortran, C, C++, Java, Python, C#, Javascript, Typescript, SQL, and Lisp (wrote my own) and probably a bunch that I have forgot.

I have never spend more than a few days learning a language.

I have spent decades mastering several of these.

Any language that takes longer than a few days to learn the basics should be avoided, it will always be difficult to use.

APL being the most famous of such a language.

Its a good question, worthy of consideration.

Because in a couple of months a historically epic amount of shit is gonna hit the fucking fan.

People that belong in the job can do that. Others, not so much.

>>Thought experiments arent science.<<

Thought experiments provide conclusions based on deductive or inductive reasoning from their starting assumptions.

Thought experiments are proofs.

That's science.

Is it possible that these AI models will tell someone what they want to hear rather than the truth?

I mean, that's always been tech's modus operandi....

They made a decision, now let them enforce it

Wow! As someone that's written openscad scripts manually I can get real excited about this.

Oh please, it's a detection of dimethyl sulfide on a planet far far away whose natural chemistry we don't understand.

Morons, I'm surrounded by morons.

Anybody remember OSGi?

I can imagine a plugin-based server where the plugins are applications and AIs that all use MCP to interact. The server would add a discovery protocol.

That seems like the perfect use for MCP.

I see 'Waste Inferences' as a form of abductive reasoning.

I see LLMs as a form of inductive reasoning, and so I can see how WI could extend LLMs.

Also, I have no doubt that there are problems that can't be solved with just an LLM but would need abductive extensions.

Same comments apply to deductive (logical) extensions to LLMs.

The purpose of a system is what it does.

The tariffs are obviously not designed to bring jobs back.

The tariffs are designed to burn down America's relationship to the outside world and thus force us to create new jobs.

And for Trump and friends to make a lot of money bringing these wonderous new times to us. Praise Trump.

Right now it looks like I should learning to grow my own food, fix my own car, build my own weapons, etc.

If you come here then, as a foreigner with no rights that will be respected by the current government, you can be snatched right off the street and deported to a prison in a country that's foreign to you.

Stay the hell away, it's literally 1939 here.

hmmmm, does the SSA have a good automated test suite?

If so then maybe it's ripe for conversion by LLM.

I wouldn't trust any form of symmetric encryption to secure anything.

And I would bet that there used to be people in the govt that could have told you why.

When I entered the job market back in ye olde 1980s there really weren't 'software developers', we were all 'computer programmer'.

Because the higher level stuff; design, devops, agile, hadn't been invented yet.

    $x=a  
    if (condition) then $x=b

If you think of programs as logic then I see the lines above as a logical expression written in CNF conjunctive normal form, where each line is a clause.

whereas this...

    $x = condition ? b : a;

...is like a nested logical expression.

And breaking the program down into clauses makes it easier to understand, for humans and computers.

I like this, I think it's easier to read.

I don't care that its not the most efficient way to do things, programming languages exist to make things easier for me.

Same here, I've had my Brother HL-L234 for 15 years I think.

Bestest cheapest printer I've ever owned except for my first dot matrix.

The laser is way quieter though.

>With a certain (class of) people, their MO is to try a lot of things, break a lot of things, and learn from what they broke.<

...you mean particle physicists

This government doesn't honor its commitments to friend, foes, or citizens

PS: This page does not appear on the home page

Thanks very much the reply, I needed to hear that.

OTOH, clearly HN is for well-heeled tech bros that dont care the world outside is burning down.

I'm outta here.

So, just to be clear, someone at HN is removing these posts from the front page, right?

And this person is blocking them why? Because they dont like the subject matter?

If you want to build yet another language then please one that solves this problem...

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

This is the problem that makes being a corporate software developer really really suck.

My first full-time job out of high school was unloading trucks of coffee and sugar, by hand.

Trust me when I say that the motto on the loading dock is 'fuck me, fuck you'.

I'm not even a little bit surprised.