You are viewing archived messages.
Go here to search the history.

Mariano Guerra 2023-07-10 19:47:56

Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023

Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk we'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.

Jason Morris 2023-07-10 22:16:30

Interesting... a lot of things feel very familiar to me given my familiarity with Prolog, but evidently strike functional programmers as odd...

Jason Morris 2023-07-10 23:08:22

I would quibble with what keywords they are using in a few places, but it sure seems interesting. My work is less interested in making sure the program is correct, because I'm trying to do knowledge representation of a thing that might not be. Being able to still run queries when part of the code doesn't make any sense - because the law it models doesn't make any sense - is part of what I need. So verification is sort of worthless to me. The "we don't know, we might convert it to first order logic and throw z3 at it or something" approach seems a bit... sketchy. That doesn't give me a lot of hope that it delivers on the promises of validation. But co-opting a bunch of game developers into testing your language by deploying it as the scripting language for your huge hit game is a unique play.

Mariano Guerra 2023-07-10 20:15:07

AI: First New UI Paradigm in 60 Years

Summary: AI is introducing the third user-interface paradigm in computing history, shifting to a new interaction mechanism where users tell the computer what they want, not how to do it — thus reversing the locus of control.

Greg Bylenok 2023-07-12 03:06:05

There is something to be said here around the difference between expressing "intent" and acting with "intent". I heard recently with respect to craft (not software specifically, but craft in general): "Craft is not just the intent but also the hand of the maker and the process, trial, and error all coming together to make something careful and intentional." Is the intention here shared between programmer and AI? Can we consider the AI to hold intent? Or are we moving into a world where some of that intention is lost?

Paul Tarvydas 2023-07-12 12:30:03

FTR: I think that the phrase “..tell the computer what they want, not how to do it...” does not capture the difference between software-GUIs and AI-based interaction.

📝 2023-07-11-First New UI Paradigm In 60 Years? - Obsidian Publish

... Reading and thinking about: The above article claims that AI is the first New GUI paradigm in 60 years. I think that the phrase "..tell the computer …

Mattia Fregola 2023-07-11 05:05:05

📝 Invisible Details of Interaction Design

What makes great interactions feel right?

Kartik Agaram 2023-07-12 02:04:14

📝 gt4atproto: a dedicated environment for AT Protocol

gt4atproto is an environment for AT Protocol built in Glamorous Toolkit (GT). It covers several things at different levels of abstraction such as: - Creating posts and threads from inside the knowledge management system. - Working with a server through AT Protocol. - Streaming and pagination support out of the box. - Inspecting and visualizing results. - Code generation from lexicons to Smalltalk code. - Dedicated styling and completion support for editing lexicon JSON files.

Mattia Fregola 2023-07-15 19:00:16
Kartik Agaram 2023-07-15 22:51:34

I don't see any animations. Do you?

Mattia Fregola 2023-07-15 23:53:36

Yup, just slow to load (mobile and desktop Chrome)

Kartik Agaram 2023-07-16 00:13:30

Ok let me try it again. I'm on Firefox..