Viewing profile — 5n

TextQL is building full self-driving for the modern data stack. We're automating the day to day job of a data analyst, from pulling dashboards to answering data questions straight …

I made this project for myself over the past two days. It's a web app that lets you build a ChatGPT prompt where you can add code, errors, and symbol definitions from VSCode in one…

I'm pretty sure that the actual Copilot auto completions are still on GPT3 for speed and cost reasons

Sharing dbt documentor, a CLI tool that I built over the weekend to automatically generate dbt docs for models and columns with missing descriptions using the OpenAI API. Would lov…

The simply-typed lambda calculus is modeled by any cartesian closed category. That means we can define categories representing domain specific interpretations such as hardware circ…

Seems like both of them are inspired by Functional Reactive Programing, so yeah, hard to say Elm was foundational

I've found that knowing categories to the extent that Haskell teaches them through osmosis is useful. For example, knowing functions are functors in the return type and cofunctors …

In this post I feed GPT-3 a bunch of high-school level CTF problems to see how well it handles basic security and cryptography tasks.

It would be really cool if this was a browser extension that talked with the AnkiConnect protocol! Then I could just open it up on an article I like, make some cards, and click whi…

I've been at my job for about 1.5 years, and I don't actually use an IDE. Basically I have tmux with one vim window and 1-3 terminal windows. Whenever I want to see the results of …

IMO dataframes are the reason why dynamic typing fits data science so well. It's certainly possible to represent a single dataframe as a static type; but representing all the slici…

Would be interesting if the Chinese-Japanese ones did homographs on Kanji/Hanzi too!