Viewing profile — disconcision

i maintain a codebase that uses Bonzai ( https://github.com/hazelgrove/hazel/ ); agent based development works just fine, though probably a bit more token churn

not exactly the same, but worth noting that in a spectacular display of being too early, microsoft shipped this 30 years ago (active desktop in 1997 merged the windows explorer wit…

i assert that by your evidentiary standards humans don't reason. presumably one of us is wrong. therefore, humans don't reason.

all three are isomorphic. but in some languages if you define a function via something like `function myFun(x: Int, y: Bool) = ...` and also have some value `let a: (Int, Bool) = (…

speed of plane is about 3% speed of satellite so i wouldn't expect handoffs to be much more frequent than with stationary receivers?

i can't speak for everyone, but in the above assertion am using 'roughly exponential' to mean that world population between say 1880 and 1960 followed a curve that is, roughly, exp…

we had nearly 2 centuries of roughly exponential growth. ended in the 60s but not everyone got the memo

> so no operator precedence seems like a massive foot-gun how do you mean? given that spec, ambiguous code just won't compile. that could potentially be inefficient, but not a foot…

not obvious to me this makes things better as opposed to worse? sure, the time bound helps but in the runup to a crunch won't we get vastly more devices in causal range at an asymp…

never thought about it before but after playing with it a while i notice i tend to approach from the right, which means moving out if i'm inside on the right side. i think this is …

for better or for worse, most specific scientific jargon is already going to be in english

I've yet to be convinced by any article, including this one, that attempts to draw boxes around what coding agents are and aren't good at in a way that is robust on a 6 to 12 month…

I actually did something similar recently for my website* and it was actually a Claude failure case; helped a little but ultimately cost me more time than doing it entirely myself.…

with the exception that it doesn't seem possible to fully disable this for grok 4

you can (via the api, or to a lesser degree through the setting in the web client) determine what tools if any a model can use

in defense of my upvote i copy-pasted the title into google in a new tab and then forgot that i had done so

wait until you find out about human programmers...

this is somewhat true but i'm not sure how load bearing it is. for one, i think it's going to be a while until 'we asked the model what bob said' is as admissible as the result of …

OKLCH plus relative colors let me seriously reduce the amount of hardcoded colors from my style sheet: https://github.com/hazelgrove/hazel/blob/dev/src/web/www/sty...

interesting!! is BABLR yours? is there a page that talks about your error-correcting/embedding-gaps approach? couldn't immediate find one in the docs. btw new version of tylr (haze…

there are approaches to ensure you always or almost always have syntactic validity, e.g. structured editing or error correcting parsing, though of course it's true that the more pe…

i feel it's not quite that simple. certainly the changes you suggest make the paper more straightforwardly defensible. i imagine the reason they included the problematic assertion …

it brought my 16-core desktop with 24gb GPU to a crawl, perhaps the only time a website has done that. impressive tbh

this might work https://nitter.space/disconcision/search?q=from%3Adisconcisi...

unfortunately the best source for examples and screenshots at the moment might be a search of my twitter feed: https://x.com/search?q=from%3Adisconcision%20hazel ... we need to upd…