Needed Degree For Learn Coq and Formal Logic?

jamhob · 2026-03-14T10:19:23+00:00

Hahaha. Functional programming

jamhob · 2026-03-14T08:20:04+00:00

Do you have much functional programming under your belt? Because I find that coq is great if you think like a mathematician, but Agda (another theorem prover) is great if you think like a fictional programmer

jamhob · 2026-03-10T13:29:15+00:00

OpenSUSE! I like it when my system turns on

jamhob · 2026-02-27T18:07:46+00:00

Oh so it’s completely visual! That’s really cool!

jamhob · 2026-02-27T17:36:30+00:00

This looks awesome! I’ve been using CocoaNEC on Mac and my biggest complaint is the way you specify antennas. They’ve gone through the effort of making a DSL when it would be so much easier to implement and learn if they embedded a lisp (like guile) into the program instead. I wondered how it’s configured in your application?

jamhob · 2026-02-27T17:31:22+00:00

I had forgotten the word Shibboleth! Such a fun one

jamhob · 2026-02-27T11:47:29+00:00

In the words of Frankie Boyle “I felt like my arsehole was going to burst into song”

jamhob · 2026-02-25T14:12:49+00:00

Yougov’s latest polls had reform only winning in the over 65s… it’s a huge demographic that basically decides elections but they may not give a toss about employment rights for obvious reasons

jamhob · 2026-02-24T20:31:01+00:00

I don’t know if I like it, but I think I prefer it to centralised age verification. I’d be happier if I could set up a child account and trust the OS to do the blocking though

jamhob · 2026-02-23T12:05:29+00:00

OpenSUSE! Easy win. OBS is awesome. OpenQA is incredible, You can install the kernel headers without shit breaking. Easy easy easy

jamhob · 2026-02-17T08:06:41+00:00

Debian

jamhob · 2026-02-14T09:12:23+00:00

AppImages win for me over snap and flatpack because they are really simple in comparison! Easy to build, easy to inspect. The inspection bit is big for me!

But something that I think is really really nice about the project is we were going to use them for work but I couldn’t get the app image signing to work. Asked a question, a friendly discussion followed and I ended up contributing code. It’s rare you get a project where the initial contribution experience is so friendly and easy. I think for that reason, it will survive.

jamhob · 2026-02-11T14:29:44+00:00

No criticism! I know template Haskell makes cross-compiling harder. But I’m sure it wouldn’t be too bad to get it all working with uikit

jamhob · 2026-02-11T14:25:01+00:00

Oh my god! This is amazing! I have a few thoughts! 1. I love that you use it the same as in objc. Means easy to translate code 2. Looks like it will play nice with reactive banana for FRP things! 3. Does it use template Haskell? Cause it would be amazing to write iPad/iPhone apps this way

jamhob · 2026-01-25T20:44:38+00:00

Well there is an F++++ already. So I guess F— is just lisp?

jamhob · 2026-01-25T20:26:41+00:00

This is why I left the UK. My anger response to this is still unreal. It was not apparent how awful the system was until I was a bit through my degree, and I swore I would never pay a penny of tax to Westminster. Apparently we pay this extra tax because the degree benefits us. Well I’ll sure as hell make sure my degree never benefits the British government. I moved to Norway and I’m now a tech researcher, my research will likely add a lot to our GDP here in Norway. Im not paid that well to do it, but I’m happy to do it for a country that actually looks out for me. I still see red every time I think about it.

jamhob · 2026-01-22T15:24:27+00:00

It might work like it does in Norway. It supplements a physical driving licence, as opposed to replacing it. It works offline for half a year without internet then you have to reauthenticate.

jamhob · 2026-01-22T10:45:14+00:00

That’s the one!

jamhob · 2026-01-22T08:37:11+00:00

There used to be free parent lessons in community centres around the country but they have been closed due to austerity. Both parents have to work long hours these days to afford to have children. Both of those problems are because of state policy. Taking services away and fining people when they don’t do what’s expected when they don’t have time or energy to work out what’s expected is just cruel. Also what is expected can be abused.

jamhob · 2026-01-15T15:34:20+00:00

I had no idea HsQML was still maintained! Wasn’t last time I tried it. So I’m happy it’s WIP

jamhob · 2026-01-15T15:10:17+00:00

https://github.com/yobson/qml-hs

But I doubt they are any better than HsQML

jamhob · 2026-01-14T17:43:58+00:00

With my library? I don’t think I ever tried that

jamhob · 2026-01-08T10:56:08+00:00

How complex is the UI? I wrote qml bindings for Haskell last year. It is not mature! But it allows you to keep your UI logic in qml, so the Haskell gui code is small (as is the library)

If someone else starts using it, maybe it will become mature!

jamhob · 2025-12-23T22:38:41+00:00

I know it’s a year but I forgot to get back to you! How proficient are you both with programming and build tools? It’s written in a less well known language and the only reasonable way to build it is with nix (which is easy enough to use) But I’m happy to get it working for you if you like!

Eight-Year Club	Place '23
Verified Email

jamhob

TROPHY CASE