Mastodawn

@toddsundsted I don’t thinks so. Why? If this is coming from parallel unsafety sharing there are more things to worry also: like closures union type values accessed from multiple threads.

Brian J. Cardiff Mar 7

If you are on OSX and find yourself needing to compare visually some presentations side by side you might enjoy Scrolly. An app I needed and claude helped me build: a small utility that locks the scrolls of two windows together. https://github.com/bcardiff/scrolly https://youtu.be/HaFi8RsJU8U

GitHub - bcardiff/scrolly: A minimal macOS menu-bar utility that synchronizes vertical scroll across two or more windows

A minimal macOS menu-bar utility that synchronizes vertical scroll across two or more windows - bcardiff/scrolly

GitHub

Show thread

Brian J. Cardiff Mar 3

@lindsey my 4yo daughter had a blast this summer with a telescope we got for x-mas. She was amazed by looking at the craters. Maybe I’ve been maybe over stimulating astronomy 🤏. Enjoy!

Brian J. Cardiff Feb 24

Rebane Feb 24

i built an entire x86 CPU emulator in CSS (no javascript)

you can write programs in C, compile them to x86 machine code with GCC, and run them inside CSS

https://lyra.horse/x86css/

Brian J. Cardiff Feb 16

Beta Ziliani

🏳️‍🌈Feb 16

Based on @CrystalLanguage , I've been toying around the idea of a semantic graph typechecker. The idea is to attach a type to every ast node, and calculate them on a series of iterations (rewrites?) until they're all complete (or an incompatibility happens).

Has anyone seen anything like this before?

Brian J. Cardiff Feb 12

abadidea Feb 12

I can't stop thinking about the LLM-generated compiler that passes all the unit tests but emits inner loops that benchmark over 150,000x slower than a gcc debug build. I couldn't possibly have intentionally come up with such a funny demonstration of the point of genuine expertise https://harshanu.space/en/tech/ccc-vs-gcc/

CCC vs GCC

A Guide to comparing Claude Code Compiler with GCC

Harshanu

Show thread

Brian J. Cardiff Feb 10

@kepano from the docs is not clear to me if it supports resolving references. Eg: given a vault, a path, and a text, to does it resolve to a file in the vault as it will do [[text]]? In the lack of absolute links obsidian does some good heuristics and some tools would benefit from that exposed IMO.

Brian J. Cardiff Feb 5

Show thread

pandoc Feb 4

“pandoc for the people”, the pandoc wasm web-app, is now available at https://pandoc.org/app/
It allows to run any kind of document conversion that pandoc supports in the browser. The documents never leave the computer, thus ensuring *full privacy*.
Conversions to pdf are done via Typst.

#pandoc #wasm #typst

Pandoc in the browser

Brian J. Cardiff Jan 27

Christine Lemmer-Webber Jan 27

This blogpost makes an astoundingly good case about LLMs I hadn't considered before. The collapse of public forums (like Stack Overflow) for programming answers coincides directly with the rise of programmers asking for answers from chatbots *directly*. Those debugging sessions become part of a training set that now *only private LLM corporations have access to*. This is something that "open models" seemingly can't easily fight. https://michiel.buddingh.eu/enclosure-feedback-loop

The Enclosure feedback loop

speculation about the way (paid) software development will become LLM-only

Brian J. Cardiff Jan 26

Talia Ringer Jan 26

We chose a target domain for our Build Your Own Proof Assistant class today. We are going to build a very encouraging and friendly proof assistant for middle/high-school geometry proofs.

Any resources or tips for targeting this domain?