@without.boats - srrrse bsky.app

The problem with effect typing is that if you “just” don’t have global (including bare syscalls) you the same rigor: instead of a function declaring its effects...

bsky.app·16w·Bluesky

So I’ve been doing this the past few weeks. Or rather writing the control plane for the home automation systems I already own but have never used effectively be...

bsky.app·16w·Bluesky

This classic talk by Brett Victor feels very relevant to programming by in the age of LLMs

bsky.app·16w·Bluesky

What I think: where the puck is moving is end user programming, with the source code generated by LLMs. But this will depend on a thriving ecosystem of professi...

bsky.app·16w·Bluesky

lol if anyone who contributed to this is not a vegan istg

bsky.app·16w·Bluesky

I don’t know how you can look at the output of your LLMs and think the days of humans touching code are over but maybe I take my job too seriously

bsky.app·16w·Bluesky

How the party of Cory Doctorow went from anti-copyright with Creative Commons to pro-copyright with LLMs has always confused me, but I guess what should be obvi...

bsky.app·16w·Bluesky

Bluesky will have “the juice” when I stop seeing people posting about how it has “the juice” every day

bsky.app·16w·Bluesky

Damn it’s not possible to deadlock a spreadsheet is it. Truly a technology ahead of its time

bsky.app·17w·Bluesky

I think this take is obviously right & an important question for PL is how we can enable correct, high quality programs to be generated by LLMs when the user ca...

bsky.app·17w·Bluesky

gender reveals getting next level

bsky.app·17w·Bluesky

I am not convinced by either the dystopian or utopian exponential AI trend predictions any more than I think they’re useless or non-functional. It’s not been th...

bsky.app·17w·Bluesky

These are literally the preconditions for operating any industrial mechanism, are forklifts useless? What are we on about

bsky.app·17w·Bluesky

maybe this is snobbish but when someone describes their test suite as “proving correct” their code I immediately stop reading

bsky.app·17w·Bluesky

extremely cool shit github.com/kip-dili/kip

bsky.app·17w·Bluesky

the value of hand written code is that i like it, same as it ever was

bsky.app·17w·Bluesky

soon we will pass the inflection point and we will begin being nostalgic for things that haven’t happened yet. I am already feeling the twinge of nostalgia for ...

bsky.app·17w·Bluesky

guis are OUT in 2026, we are making a programmable text based interface to everything

bsky.app·17w·Bluesky

This resonates. One thing I’ve been particularly enjoying with LLMs the last few months is using them to “talk to recipes” - to discuss modifications and substi...

bsky.app·17w·Bluesky

the people yearn for phpBB threads

bsky.app·17w·Bluesky

Log in to enable infinite scrolling