stschaef

4 ms·

1.
by stschaef 8d ago
I am relatively new to the site, and I guess I’m just surprised by this. I thought the dweebs here would mostly care about the technical content But I guess I totally ignored the YC context in that interpretation
2.
by stschaef 8d ago
I’ve posted a follow up somewhere else in this thread about how I can retroactively see why some people would read rudeness in my comment. Even though this isn’t intended, I agree I need better choice of words What I didn’t understand when
3.
by stschaef 8d ago
Yeah, reading it again it sounds far bitchier than initially intended. Thanks for the response I was writing the comment very stream of consciousness and not really think about how it may come across If I were trying to boil down what I’m a
4.
by stschaef 8d ago
I posted a sharp critique in the original discussion, aiming to be civil while critiquing the project. I may have been a bit terse, and would probably rephrase some of it now to avoid confusion, but I don't think I was ever outwardly d
5.
by stschaef 9d ago
After looking through things a little more, I think I may have had some misunderstandings. Would you be willing to answer a few more questions? I will also take a closer look at the papers at some point, so apologies if these are redundant
6.
by stschaef 9d ago
Again, very strange External parties can’t do any meaningful discrimination between human and agent effort when the agent is doing the communicating. One may only read what’s there I’m not saying that the author is inept or that they have d
7.
by stschaef 9d ago
This is a very strange comment First, I think everything I said was respectful and rooted in the content of the Bend page rather than an assault of Victor as a person. I’m very confused by your random appeal to the author’s reputation here.
8.
by stschaef 9d ago
1. thanks, I'll try to take a look later at this. Most of my skepticism was rooted in a personal-hell I endured when trying to parallelize SAT-solving with GPUs...which didn't go well because its hard to share across workers effec
9.
by stschaef 9d ago
Yes, I'd expect a 2 year old preprint from a rising research in this utlra-niche field to likely be discussed when someone is claiming to have a sweeping solution on exactly the same research question Maybe not necessarily so, but whil
10.
by stschaef 9d ago
This reads very vibecoded, but putting that aside... 1. How does this benefit from GPU parallelism? I don't know much about implementing proof assistant, as I am just a user, but its my understanding that these tasks aren't amenab
11.
by stschaef 12d ago
Do you have any evidence that neoemacs witnesses any speedup? It's a neat idea but I don't quite get why I'd want this without seeing some evidence I've also considered the possibility of a Rust rewrite of emacs, but aft
12.
by stschaef 3mo ago
I immediately received the following error :| This is pdfTeX, Version 3.14159265-2.6-1.40.21 (SwiftLaTeX PDFTeX 0.3.0) (preloaded format=swiftlatexpdftex) I can't find the format file `swiftlatexpdftex.fmt'! Likewise for XeTeX
13.
by stschaef 4mo ago
I don't see what we gain for the mention of category theory here, and I find the categorical content in the book to be pretty buried. If we're talking about categories, then we should be able to provide definitions of objects and