woolion

5 ms·

1.
by woolion 5d ago
The idea of the reverse rug-pull is fantastic, I hope it will work out! The ways people abuse open-source is appalling, yet the risible funding that goes to open-source makes thing really difficult for everyone. The whole write-up is quite
2.
by woolion 7d ago
Pangram says 50% human. That seems to check out, heavily edited yet the LLM aha sentences and cadence are still definitely there, but not overbearing. I read some Dostoevsky recently and I found my speech to be substantially altered for a w
3.
by woolion 10d ago
I wholly empathize with the posts. Recently my writing process has become much longer as asking for LLM polish leads to spending more time rewriting to clean up the LLM smell, so I'm unsure of what the future LLM-as-editor will be. Th
4.
by woolion 19d ago
The dream in itself has been destroyed. The idea that you could just have a machine enumerate all valid theorems in a theory is part of it, but it's only a question of form. The point was that it was to prove "all theorems of Ma
5.
by woolion 19d ago
My first experience with a GUI was the HP-40G calculators. By their nature, they only have arrows and accept/cancel buttons. It featured very advanced symbolic computation features (CAS that would step you through intermediary results)
6.
by woolion 2mo ago
Why are you bothering with all that effort if you prefer the quick easy store-bought thing?
7.
by woolion 2mo ago
>My biggest issue is that it’s impossible to engage with and give feedback on an AI written document, because it’s impossible to know whether misconceptions or gaps are because the author doesn’t understand the material deeply enough or
8.
by woolion 2mo ago
FWIW, the only time I ever had emergency brakes kick in are in spurious situations, like tight maneuvers or there is something ahead with plenty of headway to decide whether you should brake or not. A cyclist moved close to the traffic ligh
9.
by woolion 2mo ago
Apparently my definition of tutor is so demanding that it should not be expected at all from a tutor (even if provided with information on the tutees weaknesses, tutors don't use the information effectively). However, the point of thes
10.
by woolion 2mo ago
To me, what makes a game a game is that you can learn how it works simply by interacting with it; you don't need to open a separate wiki. That is not entirely true, as for examples fighting games have been infamous for needing to go on
11.
by woolion 2mo ago
The role of a tutor is to find your weakest point (or points) and give you personalized advice on how to improve on them. It is important that you can put trust on the tutor, as your weak point is likely due to a blind spot. When given crit
12.
by woolion 3mo ago
1. The standard of compromise makes no sense because there "the video-game industry" is not a company with a representative. Any compromise you could find would be dismissed on the basis that it's one lobby groups among other
13.
by woolion 3mo ago
Isn't it the reddit model that absorbed them? Nerds were often seen as poorly social since "logic and reasoning" would go against socially accepted norms. This where the fedora tipping meme comes from: "everybody unders
14.
by woolion 4mo ago
I was personally put off by the fact that the MegaDrive limitations actually negatively impact the gameplay, while there are little gains that I see in that "limited space fostering creativity" that you would expect from the pitch
15.
by woolion 4mo ago
Just looking at the "analog desk" picture, it almost hurts to see the bad posture reading the book. Hunched forward, bent neck... Shouldn't you invest in a book stand, or something that would not cause such discomfort?
16.
by woolion 4mo ago
I was thinking about this recently in order to solve the problem of RPG fights. Deterministic combat is not super exciting, but dice throwing is even worse. What if instead you quickly printed a puzzle that you can do on a timer, and your s
17.
by woolion 4mo ago
If monetization is at odds with open-source, why wouldn't potential customers just wouldn't go to VueScan, as someone posted? I was recently looking at scanners, and saw some brands directly advertise Linux support through this...
18.
by woolion 4mo ago
I don't think the question is stupid, because I kind of consider that to make use of a palette like this, you still need a lot of skills that if you do have, you can probably as easily do your own palette directly from a painting by yo
19.
by woolion 4mo ago
Not sure about the use for it, is it supposed to be design or painting? I've thought about making this for a long time to help me with painting, but in that case I think to be useful you need a bit more ways to see the data -- mostly,
20.
by woolion 5mo ago
https://en.wikipedia.org/wiki/TRON_project I did wonder, reading such a comment, whether it would be a hyperbole, but not only is it documented, it is way worse than that. The free market is only ever enforced in the d
21.
by woolion 5mo ago
To echo your point, there is no "art" at all without "technology"; from cave paintings, paint tubes, to digital tablets...
22.
by woolion 5mo ago
KDE's hard-switch to Wayland broke so many things in my workflows, from what used to be a perfect system. For keyboard expansions espansso/ydotools crash bi-hourly and I couldn't pinpoint the source, clipboard sharing betwee
23.
by woolion 5mo ago
On that matter, wouldn't an AI flag for submissions help hn? I wouldn't flag a submission for LLM style as it is too harsh, but I don't want to read them -- if only because I don't like LLM prose. There are so many submi
24.
by woolion 5mo ago
>talkie is a 13-billion-parameter language model trained on pre-1931 text >It can produce outputs that are inaccurate or offensive >but moderation is [only] applied I don't think you can get even a moderate version of a person
25.
by woolion 5mo ago
At this point I've become paranoid of my own writing. The LLM style seems to have become worse with time, more formatted, having only a few syntactic template it forces everything to go through. So that spurred me to write a lot more w
26.
by woolion 5mo ago
Ok, thank you for the info. Do you have any idea when at some point might be? I'd love to check it out.
27.
by woolion 5mo ago
>As Philippe Schnoebelen discovered in 2002 [1], languages cannot reduce the difficulty of program construction or comprehension. From a model-checking point of view. This is about taking a proof-theoretic approach... Your last paragraph
28.
by woolion 5mo ago
Thank you for your reply. FTR, I find the subject very interesting and I hope there will be more work on this line of approach. >The problem with those methods is that they're inference time I agree, I just thought it was missing so
29.
by woolion 5mo ago
I'm not sure what to make of TFA (I don't have time right now to investigate in details, but the subject it interesting). It starts with saying you can stop generation as soon as you have an output that can't be completed --
30.
by woolion 5mo ago
I've had my digital art flagged a few times for various reasons (automatic copyright infringement and NSFW filters) -- so this is nothing new (in particular the artwork blocked the upload for some artist songs). The only thing is to ha

More ›