Ceptre: A Language for Modeling Generative Interactive Systems
CS Cabal
Jan
20
Saturday, January 20th
from 12:00AM to 2:00AM UTC
In-Person
Address available to attendees
We missed you this time around!
IN PERSON EVENT. Please RSVP so we can plan accordingly.
Speaker: Paul Tarvydas(https://guitarvydas.github.io)
Topic:
Ceptre is a rule specification language intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation. Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage
Paul's presentation will mainly center around a detailed exploration of the "dungeon crawler" example code found at https://www.cs.cmu.edu/~cmartens/ceptre.pdf.
The talk will delve into connections with relational programming, such as found in The Reasoned Schemer and languages like Prolog. Connections to more common programming languages, like Javascript, Python, Odin, and Lisp will be discussed. The discussion may involve the utilization of Translate and 0D to illustrate these relationships. OhmJS(https://ohmjs.org) and 0D (https://github.com/guitarvydas/0d)
Agenda:
7 to 7:30: Entry and Mingling
7:30 to 8:30: Talk
8:30 to 9:00: Mingling and Exit
Venue: 1RG
2567 Dundas St W, Toronto, ON M6P 1X7 (Street Parking if there is space)
1RG is a co-working community in Toronto. Our location in the Junction offers a shared workspace, meeting rooms, and weekly community events. 1RG Space is designed to foster connections between people who value community, and creativity.
Platform Sponsors
Don't let broken lines of code, busted API calls, and crashes ruin you app. Join the 4M developers and 90K organizations who consider Sentry “not bad” when it comes to application monitoring. Use code “guild” for 3 free months of the team plan.
https://sentry.io
Clerk simplifies the process of adding authentication & user management to get you up and running in minutes. Our product is purpose-built for Next.js, React and the modern web.
https://clerk.comWe missed you this time around!
Platform Sponsors
Don't let broken lines of code, busted API calls, and crashes ruin you app. Join the 4M developers and 90K organizations who consider Sentry “not bad” when it comes to application monitoring. Use code “guild” for 3 free months of the team plan.
https://sentry.ioClerk simplifies the process of adding authentication & user management to get you up and running in minutes. Our product is purpose-built for Next.js, React and the modern web.
https://clerk.comCeptre: A Language for Modeling Generative Interactive Systems
CS Cabal
Jan
20
Saturday, January 20th
from 12:00AM to 2:00AM UTC
In-Person
Address available to attendees
IN PERSON EVENT. Please RSVP so we can plan accordingly.
Speaker: Paul Tarvydas(https://guitarvydas.github.io)
Topic:
Ceptre is a rule specification language intended to enable rapid prototyping for experimental game mechanics, especially in domains that depend on procedural generation and multi-agent simulation. Ceptre can be viewed as an explication of a new methodology for understanding games based on linear logic, a formal logic concerned with resource usage
Paul's presentation will mainly center around a detailed exploration of the "dungeon crawler" example code found at https://www.cs.cmu.edu/~cmartens/ceptre.pdf.
The talk will delve into connections with relational programming, such as found in The Reasoned Schemer and languages like Prolog. Connections to more common programming languages, like Javascript, Python, Odin, and Lisp will be discussed. The discussion may involve the utilization of Translate and 0D to illustrate these relationships. OhmJS(https://ohmjs.org) and 0D (https://github.com/guitarvydas/0d)
Agenda:
7 to 7:30: Entry and Mingling
7:30 to 8:30: Talk
8:30 to 9:00: Mingling and Exit
Venue: 1RG
2567 Dundas St W, Toronto, ON M6P 1X7 (Street Parking if there is space)
1RG is a co-working community in Toronto. Our location in the Junction offers a shared workspace, meeting rooms, and weekly community events. 1RG Space is designed to foster connections between people who value community, and creativity.
Get in touch!
hi@guild.host