Author | Lightnews

Andy Gill @andygillku.bsky.social · May 22

To whoever called the SIGPLAN podcast "current continuation". Brilliant name!

1

Reposted by Andy Gill

Bookshelfie @bookshelfie.bsky.social · Apr 18

#booksky

100 560 5.1K

Andy Gill @andygillku.bsky.social · Apr 16

Stage far right?

1 1 3

Andy Gill @andygillku.bsky.social · Apr 8

I once understood a POPL talk. Equality Saturation. Great talk.

1

Andy Gill @andygillku.bsky.social · Feb 27

Turns out the TypeScript **types** are DOOM-complete. www.youtube.com/watch?v=0mCs...

TypeScript types can run DOOM

YouTube video by Michigan TypeScript

www.youtube.com

9

Andy Gill @andygillku.bsky.social · Feb 27

Good question. I was not aware of this library. I'll take a look.

1

Andy Gill @andygillku.bsky.social · Feb 27

for planet in ["Earth", "Mars", "Venus", "Jupiter"]:
print(f"{planet}: {firstAgent.sky(planet)}\n")

Earth: The sky appears blue during a clear day ...

Mars: The sky on Mars appears to be a reddish hue, ...

Andy Gill @andygillku.bsky.social · Feb 27

class FirstAgent(Agent):
system: str = "You are a helpful AI assistant who answers questions in the style of Neil deGrasse Tyson"
def sky(self, planet: str) -> str:
return self.ask(f"what color is the sky on {planet} and why?")

firstAgent = FirstAgent(model=connect("mistral"))

1 1

Andy Gill @andygillku.bsky.social · Feb 27

If you’re interested in experimenting with LLM-based agents, I encourage you to give Haverscript a try. Its easy installation process, clean design, and functional programming principles make it ideal for both rapid prototyping. github.com/andygill/hav...

1 1

Andy Gill @andygillku.bsky.social · Feb 27

I've written a number of small agentic applications using Haverscript, and its abstractions seem to be maturing into quite a nice library. The first version focused on context and chat, the second on robust, structured LLM calls, and this version is focused on agents and larger prompts.

1

Andy Gill @andygillku.bsky.social · Feb 27

The newly added support for agents in Haverscript simplifies how developers can encapsulate and reuse LLM-related logic. Instead of juggling multiple prompts across a series of ad-hoc calls, Haverscript’s agent abstraction allows you to define Python classes with methods that map to LLM queries.

1 2

Andy Gill @andygillku.bsky.social · Feb 27

Haverscript (github.com/andygill/hav...) now supports Agents!

Haverscript is a lightweight Python library designed for working with LLMs and has recently introduced agents. The library offers a readable API for crafting prompts, chaining LLM calls, and integrating new AI-driven features.

GitHub - andygill/haverscript: Library for building agents and managing LLM interactions

Library for building agents and managing LLM interactions - andygill/haverscript

github.com

2 5

Andy Gill @andygillku.bsky.social · Feb 26

There is nicegui.io which looks, err, nice. Not sure about the behavior abstractions.

NiceGUI

NiceGUI is an easy-to-use, Python-based UI framework, which shows up in your web browser. You can create buttons, dialogs, Markdown, 3D scenes, plots and much more.

nicegui.io

1

Andy Gill @andygillku.bsky.social · Feb 25

Gradio.app is a disappointing platform. We know how to make better looking and more usable widgets. The underlying programming model is not composable in any real sense. After spending hundreds of hours debugging gradio applications I'm actively looking for something better and perhaps LLM friendly.

Gradio

Build & Share Delightful Machine Learning Apps

Gradio.app

1 1

Andy Gill @andygillku.bsky.social · Feb 21

The type annotations also help the IDE so you can colourize the valid method calls, etc. This does help in practice.

Andy Gill @andygillku.bsky.social · Feb 21

I do find it crazy we call functions and methods and allow write/update access to the things we pass by default. It's not "borrow this book", it's "here is the key to my house and a map to the book on the bookcase." Again, not a problem in Haskell.

1

Andy Gill @andygillku.bsky.social · Feb 21

I quite like Python which is now my goto language. Two things. I do write type annotations and assert isinstance a lot. I wish there was first class support for immutability. Perhaps I'm just a Haskell programmer at heart.

1

Andy Gill @andygillku.bsky.social · Feb 20

fpcastle.com

Hacking Haskell in a Scottish castle

A representative FP Castle

fpcastle.com

1

Andy Gill @andygillku.bsky.social · Feb 16

Spent the morning adding monads to Haverscript.

def bind(self, completion: Callable[[Any], Reply]) -> Reply: ...

The unit tests are the monads laws.

5

Andy Gill @andygillku.bsky.social · Feb 12

Has anyone taken the various ICFP programing content specifications, and given them to LLMs? There are >25 challenging programming problems to input. Yes, some of the solutions are on the web already, but in various languages, and fragmented formats.

www.icfpconference.org/contest.html

The International Conference on Functional Programming

The conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the e...

www.icfpconference.org

1 1 4

Andy Gill @andygillku.bsky.social · Feb 11

It's quite simple (for their point of view) He's identified extensive waste and bloat. He's cutting things that should be cut. NIH was 25% DEI. We trust him to pick and choose. After all should cutting waste be illegal?

No checks no balances. It's going to be a shit show. The fox in the hen house.

3

Andy Gill @andygillku.bsky.social · Feb 10

Here is my monthly bill from together.ai. Inference is cheap. This was from running unit tests for Haverscript, and cost a fraction of what booting up a stand-alone cloud machine for larger models would cost.

1

Andy Gill @andygillku.bsky.social · Feb 9

Scottish national animal. Much like nessie and haggis, they are quite hard to find in the wild.

3 3

Andy Gill @andygillku.bsky.social · Feb 3

The great thing about Zoom calls is you can see everyone's name by default. I've been caught a few times when a conference room has a group in it, and I can't see everyone clearly. In person I have no excuse. I use the line "what have you been working on since we last chatted?".

Andy Gill @andygillku.bsky.social · Jan 29

If the world burns, I'd rather be on Scottish soil.

1 1