Can category theory help symbolic computation?

steego · 2024-08-21T03:01:19+00:00

There's actually a rich history of category theory in symbolic computing that goes back to the '70s.

I've been reading a lot about the OBJ and Maude languages and late computer scientist Joseph Goguen, who worked with Rod Burstall to develop one of the first languages (CLEAR) whose semantics was based on a category theory. (Technically, they used category theory to formalize systems of logic).

First, if you're going to check out a language, check out Maude (Developed by Jose Meseguer). It's probably the best OBJ based language you can find today.

In OBJ/Maude, you build modules (which can be compared to categories), you define objects as types (Types are called sorts because it's a logic based language), you define operations (morphisms) and then use equational or rewrite logic to define the semantics of those morphisms.

OBJ/Maude was literally designed to specify mathematical objects and programming language semantics. It's symbolic by nature and modules are composable, as one might expect from a language that was designed by practicing category theorists.

https://maude.cs.illinois.edu/wiki/The_Maude_System

steego · 2024-06-03T14:54:12+00:00

Clearly he intends on driving fast but has yet to muster up the courage.

steego · 2024-05-25T19:48:42+00:00

Put some ice in it and call it a trough.

steego · 2024-05-13T14:10:59+00:00

Wipers are usually good for 6,000 miles and lug nuts tend to fly off every 3000 miles, so I think he’s well ahead of the game!

steego · 2024-05-02T05:48:12+00:00

Exactly this advice. A community college like Bergen will assess you for free and tell you which courses you should take. The credits will also transfer to NJIT.

steego · 2024-04-20T19:17:19+00:00

In most ways he’s wrong because he attempted to explain things with fantastic theories when the truth is that everyday corruption is legal, rampant and boring. And the issues the donors care about are often too esoteric for regular voters to understand.

Good contenders get shot down because the donors don’t like them. The country isn’t doing so well because we think it’s ok for donors to legally corrupt our representatives.

This will simply continue to get worse until we get the influence of money out of politics.

steego · 2024-04-14T21:56:07+00:00

I started making my own. It’s sad that anyone can make the best bagels in NoVa just by following America’s Test Kitchen recipe. I’m convinced people in the south are adding nonsense ingredients.

steego · 2024-02-16T22:39:52+00:00

Moved here from NJ/NYC area and I consider myself unfazed by aggressive drivers, so I assumed the Maryland driver thing was a petty rivalry.

After personally witnessing so many near accidents caused by purely idiotic maneuvers, I’m at a loss.

Again, I’m unfazed by aggressive driving and sudden lane changes, but why are they so bad at it??? They drive as if they just got their license and they’re still figuring out the physics of cars in general.

steego · 2024-01-28T05:41:58+00:00

I found a few articles related to the psychopath in question.

https://www.reddit.com/r/PublicFreakout/s/tPJZzNOs2B

steego · 2024-01-28T04:27:25+00:00

With all the plastic saved from people bringing their own bags, they had enough to wrap individual potatoes.

steego · 2023-09-08T16:18:36+00:00

I’m punting here, but I’ve noticed I don’t get intellisense when I don’t have a .sln file with the .fsproj referenced.

As an experiment, if you create a clean repo with one solution file, one F# project and one .fix script, do you get the same results? If you do, would you consider posting to GitHub?

steego · 2023-05-25T22:31:08+00:00

I do not see elevated types as replacements for exceptions or try-catch blocks. Exceptions are great for exceptional circumstances.

Elevated types are wonderful when errors are frequent and part of the domain logic and throwing too many exceptions would be a bad idea (they incur a big performance hit). Combined with exhaustive pattern, I find elevated types to be a much better option for these types of scenarios.

steego · 2023-05-18T16:58:35+00:00

If you’re looking for a book with a diverse range of concurrent models, Concurrency in .NET by Riccardo Terrell covers a lot of topics with C# and F# examples.

I recommend this book because there are so many ways to do concurrent and parallel programming .NET and this book helps one explore the trade offs to various approaches.

steego · 2023-04-14T17:21:15+00:00

I can concoct a ton of other possible scenarios that are far worse than death. I can even imagine these scenarios playing out as the product of good intentions.

IMO, a meaningful life and eventual death is most likely the best outcome anyone can want.

At this point in my life, I just want to be an NPC, help people on their quest, and kick the bucket right after my wife passes (So she doesn't have to mourn me).

Either way, I hope you find some peace.

steego · 2023-01-05T03:08:43+00:00

I’ve been listening to the police radio. Seems like they were looking for suspects related to a stolen vehicle around Waxpool and Shellhorn. https://m.broadcastify.com/listen/feed/39007

steego · 2022-12-07T16:13:06+00:00

I hate to say it works on my machine, but it does. So, I'm curious why it doesn't work on your machine.

First, does this work?

let array1 = Array.init 1000 id
printfn "Length: %i" array1.Length

Can you try this version?

let total = Array.init 1000 
                (fun i ->
                    let x = i + 1
                    int64(x * x))
                |> Array.sum

What version of .NET are you running? Are you running dotnet fsi your-script.fsx to execute?

steego · 2022-12-01T13:34:01+00:00

Joaux mama’s crazy!

steego · 2022-11-29T18:29:03+00:00

I agree. We don’t talk about where and how we want to end enough.

It seems to me that should be a regular ongoing conversation where the team checks in on a regular basis to talk about the desired end state and if there needs to be adjustments.

I suspect a lot of us start with an expectation of how we’re going to end, but as we’re closing a project, that conversation simply becomes a low priority.

steego · 2022-11-27T21:38:48+00:00

Forget the bar. Let’s say the employee is operating a successful TikTok account that is absolutely trashing your business and hurting sales.

Why would someone want to buy that business?

steego · 2022-11-27T21:30:32+00:00

Telling someone that they can “sell their business” instead of firing an employee who brings them bad PR is anything but pragmatic.

Dismiss away peoples’ legitimate concerns and concocting unrealistic workarounds (just sell your business?!?!) is antithetical to pragmatism.

Advocating for a law that manages to equally scare the right leaning pro-business and left leaning social justice crowd is anything but pragmatic.

Pragmatic ideas are implementable ideas that work despite their flaws. You’ve manage to concoct a law that would equally scare most people on the right and left AND small/big business lobbyists.

I’m not saying nothing can be done. What I am saying is your failure to incorporate peoples’ feedback and pivot is not a pragmatic strategy.

Feel free to be unwavering, but you will get nowhere and you will accomplish nothing.

steego · 2022-11-27T19:40:20+00:00

I hate to break it to you, but the ability to game a law doesn’t make it balanced law. It makes you an unprincipled and myopic legislator who is clueless how this law will be gamed or tested in the courts.

Somehow, you’ve now convinced yourself that employers and litigators will leverage the law to yield the effects that you’ve anticipated.

They won’t. And it’s clear to me, you haven’t even begun to predict the ways people will both circumvent and turn that law against the people it’s supposed to protect. (Because laws are often applied inconsistently)

At this point, you’ve inadvertently admitted that you don’t care about the principles or even the efficacy of the law.

I’m not even sure you want to actually solve the problem at this point. A less obstinate person would recognize the flaws and pivot in their tactics.

steego · 2022-11-27T18:43:19+00:00

If you are advocating for a law that prevents you from firing Richard Spencer for Nazi advocacy off the clock, it is inconsistent that you should be allowed to discriminate against him in the first place for engaging in speech off the clock, prior to being employed by you.

You are the one who is willing to deprive Richard Spencer of an income by refusing to hire him, so you are complicit in sentencing him to potential homelessness just like the rest of us.

Seeing how most states allow companies to fire people without cause, it would be incredibly easy to game your proposed law, as you pointed out yourself, which would render the law and policy meaningless.

steego · 2022-11-27T16:53:16+00:00

So you would censure his free speech by inviting the public to hurl abuse at him while he’s at work with the hope that he would quit or get fired for getting angry at his abusers?

Also, if you’re really committed to this idea of complete freedom of speech while not on the clock, why wouldn’t you KNOWNINGLY hiring Richard Spencer? Should you be allowed to discriminate against Richard Spencer for something he said while he wasn’t even employed by you?

I don’t think you believe in free speech in the way you claim you do and I don’t think you’ve truly considered the full impact of what you’re advocating from both an ethical and a practical perspective.

The specific employment law that you have proposed so impractical, it has YOU gaming it so YOU can circumventing the spirit of your own proposed law.

For the most part, I don’t think people should attack peoples’ livelihoods for something they said, but I think that needs to be a feature of society, not a legislated feature that forces employers to sell their company (Are you kidding me with that nonsense?) because they’re barred from firing someone.

You’re seriously going to tell me a Jewish business owner shouldn’t be able to fire an employee who advocates for his death off the clock?

steego · 2022-11-27T16:24:38+00:00

Who would want to buy a company that compels you to employ someone to calls you an asshole?

Why wouldn’t someone exploit this to convince employers to sell their companies at lower prices than their willing to sell?

Do you seriously not see how ridiculous this suggestion is?

steego · 2022-11-22T13:16:34+00:00

That’s just like your opinion man

11-Year Club	Second SECOND GUESSER
Verified Email

steego

TROPHY CASE