@pauldaoust Hobestly might replace it with the default textbox implementation in QT/GNOME next. Syntax highlighting is too many cycles!

@j3rn Jeeze that's so true. The main reason I avoid too many layers is people keep breaking them ans forcing me to update/refactor 🤣

I wanna go the other direcrion and code in prolog or something zany just to see what life is like in that world.

@mauve Yes, exactly! The whole "people keep changing things and now my stuff is broken" idea is actually something I hadn't been able to fully articulate until I saw @neauoire's talk at Strange Loop this year, but I now see it everywhere!

I've done a little Prolog—and it's fun!—but my programs are always super slow and there's always these little idiosyncrasies in the language that annoy me. I've been thinking about trying miniKanren or datalog for my next logic programming project.

@j3rn @mauve Have you had a look at Fleng? It's parlog only moreso :)
http://www.call-with-current-continuation.org/fleng/fleng.html

@neauoire @mauve I'd not heard of it—thanks for the tip, I'll check it out!

@j3rn @mauve have fun :) felix only recently added SDL bindings to fleng ^__^

@neauoire @j3rn Oh my god. I love how this is a text file on an unsecured connrction with ascii text in the header. This is bound to be gold

@neauoire @j3rn very cool. What are folks using this for in the wild? :O Would love to see a large peogram written in it to see how folks decompile problems into it 🥰

@mauve @j3rn there's a game of life in the example folder, have a look. Fleng is super parallel, the evaluation scheme is mind boggling. Joe Armstrong said Strand was "too-parallel"

@neauoire @j3rn Are there any conpanies using it ti ship stuff? :O Also how is it's file/network IO?

@mauve @j3rn I doubt it, it's based on an idea that was largely forgotten by industry.

I recommend having a read of: http://www.call-with-current-continuation.org/articles/the-joy-of-concurrent-logic-programming.txt

@neauoire @j3rn Fuck. This is what the word "cyber" should mean in the vernacular. Cybernetics came out of modelling systems, not tracking todo lists. This would be great for system modelling and simulations.

@neauoire Yeah it'd be neat to do compilers or parsers or transformations over top of this stuff. The part about how to do concurrent streams is interesting.

@j3rn @neauoire Mobile is the worst part in my experience! I'll take a thousand "python module version mismatch" issues over an xcode upgrade 🤣

Neat! What sort of stuff do you even use it for? I've only really looked into it as a curiocity since my job is mostly shoveling bytes around in weird ways rather than working with data.

@mauve @neauoire Almost exclusively for puzzle solvers, so far. I wrote a 2x2 Rubik's Cube solver which is fine, though slow. I originally wanted to extend it to 3x3, but if the 2x2 version takes 5 minutes to run, so...

Recently I wrote a solver for the game Letter Boxed. That program can check your solution in milliseconds, but I don't think it's ever successfully computed a solution even when given 30m to run.

I don't use any logic programming for work—unless you count SQL constraints 😁

@j3rn Siiick. Is your source published for those? Would love to read it.

@mauve Absolutely!

https://github.com/J3RN/rubiks/
https://github.com/J3RN/letter_boxed

Let me know if you find any performance improvements! 😁

@j3rn @mauve Can I show y'all this thing of mine? https://github.com/akkartik/mu

Low level: check (program with registers but get good error messages when you make mistakes)

Better C: check (memory-safe like Rust)

Few layers: check (exactly 3, and each built strictly using lower layers)

Here's a paper that tries to lay it all out: https://akkartik.name/akkartik-convivial-20200607.pdf

@akkartik @j3rn Any chance you have this in markdown or some other text format so I can more easily run it through my reader?

@mauve @j3rn You mean my paper? Would LaTeX sources help?

@akkartik @j3rn Yeah LaTeX would be great :) PDFs are just uniquely hard.