I'm pretty sure he's sarcastic.
What makes you pretty sure he's sarcastic?
Readit Newsthomasdziedzic commented on I don't want AI agents controlling my laptop sophiebits.com/2025/09/09... · Posted by u/Bogdanp
thomasdziedzic commented on Happy 70th Birthday, Artificial Intelligence [pdf] jmc.stanford.edu/articles... · Posted by u/mindcrime
Yesterday, I read a shortened version of this paper at http://www.aaai.org/ojs/index.php/aimagazine/article/viewFil... because I couldn't find the full one. Thanks for posting this!
Impressive. Didn't they just raise a bunch recently?
Their series B was in January: https://www.cursor.com/blog/series-b
thomasdziedzic commented on Implementation of Dependent Types cse.chalmers.se/~coquand/... · Posted by u/fanf2
seems like it's down, getting an ERR_CONNECTION_REFUSED
thomasdziedzic commented on The Future of Comments Is Lies, I Guess aphyr.com/posts/388-the-f... · Posted by u/zdw
LLMs do seem like a major issue for spam, does hackernews deal with any of this? I presume yes but how do you deal with it if so.
How timely, I just finished going through a tutorial that builds a text editor like kilo from scratch: https://viewsourcecode.org/snaptoken/kilo/index.html
Would highly recommend the tutorial as it is really well done.
> On an up to date Ubuntu 24.04
So not very up to date, but I suppose mitigations haven't changed significantly upstream since then.
That version is significant because it is the latest LTS release. Most servers use LTS releases.
"He will be brought back.
To err is human, to forgive divine."
thomasdziedzic commented on The Thrax Programming Language github.com/elijah-potter/... · Posted by u/luu
I'm more interested in why someone created a new programming language.
That tells me way more than snippets ever will.
> I'm more interested in why someone created a new programming language.
The why in this case is "a little toy language ... to learn .. how dynamically-typed interpreted languages worked"