knuckledragger/src/kdrag/theories/sexp.py at main · philzook58/knuckledragger A Low Barrier Proof Assistant. Contribute to philzook58/knuckledragger development by creating an account on GitHub.

In honor of #racketcon I’ve bolted some quotation onto Knuckledragger github.com/philzook58/k... . Might even be sound!

(fifteenth RacketCon)

42 min till RacketCon starts
FREE live stream at con.racket-lang.org
we have a #racketcon chat channel on the racket discord at discord.gg/UCFKsryPkW

If you can afford it: please register for $10 USD to help support the livestream www.eventbrite.com/e/racketcon-...

William Bowman: First class Prompt Engineering with llm lang! (This is a bad idea.) https://github.com/wilbowma/llm-lang"As we all know, generative AI and LLMs have replaced software engineering entirely, so all existing programming language...

“First class Prompt Engineering with llm lang! (This is a bad idea.)” by William Bowman at the (fourteenth RacketCon) is now available at https://buff.ly/4hUUDhK
#RacketCon