by febin on 1/18/25, 3:45 PM with 45 comments
by robsimmons on 1/18/25, 5:45 PM
Also potentially interesting to this crowd are the underlying editor, which I split out from the online Dusa editor and called "sketchzone" (https://github.com/robsimmons/sketchzone). Some of my motivations and hopes for sketchzone are blogged here: https://typesafety.net/rob/blog/endless-sketchzone
Also, I more-or-less did Advent of Code 2024 in Dusa: journal entries and links to solutions are at https://typesafety.net/rob/blog/advent-of-dusa-2024
by summarity on 1/18/25, 10:38 PM
Logic systems will be a key part of solving problems of hybrid data analysis (e.g. involving both social graphs, embedding spaces, and traditional relational data) - Cozo[1] sticks out as a great example.
[0] https://codeql.github.com/docs/ql-language-reference/about-t...
by gpm on 1/18/25, 7:22 PM
by febin on 1/18/25, 3:45 PM
by wslh on 1/19/25, 12:25 AM
by treetalker on 1/19/25, 12:13 PM
> Answer set programming is a way of writing Datalog-like programs to compute acceptable models (answer sets) that meet certain constraints. Whereas traditional datalog aims to compute just one solution, answer set programming introduces choices that let multiple possible solutions diverge.
Fascinating! I could see useful applications in litigation (e.g., narrowing potential claims; developing the theory of the case; finding impeaching lines of questioning).
by vosper on 1/18/25, 6:31 PM
Why not write it like it’s written in English? It could be one less thing to learn for people trying to adopt the language.
by convolvatron on 1/18/25, 5:46 PM
by Zezima on 1/18/25, 9:27 PM
by temporallobe on 1/18/25, 11:52 PM
by adastra22 on 1/19/25, 12:03 PM
No, what I want is a code example, front and center.
by cybice on 1/18/25, 9:17 PM
by Koshkin on 1/19/25, 1:46 AM
by Syzygies on 1/18/25, 11:34 PM
Even a month ago, I'd have asked "Where's the parallelism?" looking at any new language. AI has upended my world. My subscriptions are getting out of hand, they're starting to look like some peoples' sports channel cable bills. I'll be experimenting with the right specification prompt to get AI to write correct programs in three languages side by side, in either Cursor or Windsurf. Then ask it to write a better prompt, and go test that in the other editor. I'm not sleeping much, it's like buying my first Mac.
One constant debate I have with Claude is how much the choice of language affects AI reasoning ability. There's training corpus, but AI is even more appreciative of high level reasoning constructs than we are. AI doesn't need our idioms; when it taught itself the game Go it came up with its own.
So human documentation is nice, but who programs that way anymore? Where's the specification prompt that suffices for Claude to code whatever we want in Dusa?