z5h

6 ms·

1.
by z5h 4mo ago
I’ve actually implemented a TUI in Prolog (because there wasn’t anything in the space and I wanted to make sure it respected the relational/logical nature of Prolog). I’m happy with performance and developer ergonomics. But before I pu
2.
by z5h 5mo ago
So, the S and P in LSP stands for Server and Protocol. The Protocol is to exchange JSON-RPC messages with a server. So to add a new language to Zed, we should just be able to direct Zed to the server to talk to right? No. You have to write
3.
by z5h 7mo ago
Thank you! I've recently become a bit obsessed with the work of Blaise Agüera y Arcas and his BFF experiments (self-replicating (Brainfuck) programs emerging spontaneously from random noise). This got me thinking about running a sim
4.
by z5h 1y ago
Intense. I thought “lose it all” meant wiping your phone.
5.
by z5h 1y ago
I tried exactly this idea a few years ago (inspired by how Bear app did Markdown at the time). But I never solved all the issues to get it working 100%.Eventually I just gave up and moved on. So bravo and thank you for making it work!!
6.
by z5h 1y ago
When is a good time (in the timeline of mankind) to stop being adversarial with AI?
7.
by z5h 1y ago
Apparently I'm a super smeller (always the first to detect gas leaks, food that's off, know the brand of shampoo a person uses if I'm 200ft down wind, know if you use scented dish soap to clean the bowl you used to make cooki
8.
by z5h 1y ago
I’m realized years ago I have full blown aphantasia. But I don’t suffer from autobiographical memory deficiencies. For me it’s akin to what happens when you close your eyes for a moment then open them again. I’m not shocked by everything in
9.
by z5h 1y ago
After spending a lot if time in Prolog, I want a nice way to implement and compose nondeterministic functions and also have a compile time type check. I’m eyeing all of these languages as a result. I’ll watch Ante as well. (Don’t forget dev
10.
by z5h 1y ago
A Prolog TUI library that sticks to relational/logical programming, is conceptually simple, complete, and performant. Only requires some core ansi features that exist or are easily implemented in most Prologs. Currently have stuff lik
11.
by z5h 1y ago
Ok I’m genuinely convinced I’d be happier using Fennel than using Lua in instances where I need to use Lua. I’m not currently using Lua for anything. Maybe if I write a Pico-8 app…
12.
by z5h 1y ago
As a proficient Elm developer with industry experience, I’m wondering what are the biggest challenges in hiring devs? Is it the paradigm, learning the ecosystem, lack of interest? Are you currently hiring?
13.
by z5h 2y ago
> Readability is a property of the reader, not the language. Similarly, the inability of a person to write machine code directly is a property of the person, not the hardware. Yet some of these people admit their limitations and use K.
14.
by z5h 2y ago
> if they haven't surpassed SWI in some performance metrics yet I'd be surprised I was/am also anticipating performance gains from Scryer. Which is why I made a point to request up to date Scryer benchmarks in the SWI foru
15.
by z5h 2y ago
Implementing and using a miniKanren was fun and enlightening. And it helped me appreciate how incredibly optimized and fast SWI-Prolog is for relational/logical programming. If someone knows of a miniKanren/language combination th
16.
by z5h 2y ago
Not at all creative or interesting. Literal and uninspired.
17.
by z5h 2y ago
I’ll add my vote for Roux in terms of pure fun. And there is more freedom to play between fastest solves and fewer moves with more planning.
18.
by z5h 2y ago
For example: the logical core of Prolog along with it's resolution model (for the logical part) are non deterministic (something can have none, one, many solutions) but only one solution is explored at a time. So it's a "meta
19.
by z5h 2y ago
> Hah! Hello fellow PCEmacs >> vim user :D That made my day! Hello!
20.
by z5h 2y ago
> How do you debug DCGs? I get "false." instead of "syntax error at line 23", which is unacceptable for bigger inputs. I also sympathize. "false" as the default failure mode is a challenge with Prolog. Most
21.
by z5h 2y ago
> What is some of your most hard-earned knowledge? 1. If you find yourself straying too often from coding in relations, and instead coding in instructive steps, you're going to end up with problems. 2. Use DCGs to create a DSL for a
22.
by z5h 2y ago
So first, let's keep in mind that with no execution model, Prolog is still a "syntax" for Horn clauses. It's still a way to document knowledge. Add SLD resolution and we can compute. The paper (intentionally I presume) o
23.
by z5h 2y ago
I'm surprised at how readable Prolog is. I've played with and seriously used many languages in my career. My experience is that pure functional (done Elm style) is productive and scales well to a larger team. Dynamic stuff like Ru
24.
by z5h 2y ago
i've come to appreciate, over the past 2 years of heavy Prolog use, that all coding should be (eventually) be done in Prolog. It's one of few languages that is simultaneously a standalone logical formalism, and a standalone repres
25.
by z5h 2y ago
I really appreciate how readable the Privacy Policy is. https://againstdata.com/privacy I do think there should be more details about security. This is all that was mentioned: > DAD constantly evaluates and upgrades the
26.
by z5h 2y ago
I have to use XQuartz for some apps I run in macOS. Magnet (and other apps I've tried) don't understand those windows. ShiftIt does, but it's buggy and no longer maintained.
27.
by z5h 2y ago
Luck. Model an agent that has some odds of doubling wealth, maintaining wealth, or halving wealth per iteration of some game. It's easy to generate downward trends.
28.
by z5h 2y ago
Nevermind the quantity of news read. What about the quality and variety of news read?
29.
by z5h 2y ago
In theory, Prolog is the king of languages. Simultaneously a logical formalism, and (with a resolution system) a language for computation, AND the ultimate meta-programming language as its homoiconic but only goals are evaluated (there is
30.
by z5h 2y ago
I've been using Prolog daily for the past 1.5 years. I've also implemented and used a Kanren in Elm, and there is simply a world of practical difference.

More ›