woolion

16 ms·

61.
by woolion 1y ago
So, I was wondering when I would see that... from my experience, I would say it also makes mediocre developers bad ones very fast. The reason being a false sense of confidence, but mostly it's because of the sheer volume that is produc
62.
by woolion 1y ago
>No one in this world ... has ever lost money by underestimating the intelligence of the great masses of the plain people... I think you're disproving your own point. If you look the major flops in all industries (video-games, movi
63.
by woolion 1y ago
The developers are also behind JellyCar Worlds, which I found to be a wonderfully creative physics based "platforming" (there's a twist!) challenges/puzzles. It's ton of fun to play with a kid, yet there's a lo
64.
by woolion 1y ago
This is a very sensible analysis of the problems. On the one hand, people tend to ignore how many bands fail, and how much money and effort is spent on the process. On the other hand, labels have a deathgrip on the industry, using payola a
65.
by woolion 1y ago
I never said it was wrong, nor right. In fact, you might even read that as an excuse for "counter-hypists", as it's a pretty bad look to upvote such a low-quality submission. And I've made my own fun of AGI hype, but wit
66.
by woolion 1y ago
A lot of people see a title that is "subject I want to discuss" and jump to the comment section without even bothering to look at the link. There has been a lot AI hype, so counter-hypists are starved from content and just jumped
67.
by woolion 1y ago
I'm fine with that. I don't think it's much worse than the quirks of what you call non-formalists systems. In your original comment, you mention: All notions about uncountable sets being larger than countable ones, require se
68.
by woolion 1y ago
From the point of view of proof-theory, you can show that PA (arithmetic) is equivalent to the consistency of the omega cardinal (the countable infinite). Basically, everything line up quite well between things you want to be true and thing
69.
by woolion 1y ago
I'm quite convinced humans, unless in an environment that restrict their food intake (e.g. being working outside in the fields), are just generally not able to manage the hunger of the sugar-induced insulin crash. I've switched to
70.
Automated testing is key to the efficiency of 'Like a Dragon' games development(automaton-media.com)
2 points by woolion 1y ago|0 comments
71.
by woolion 1y ago
It's interesting because the main trend in game-design is to 'streamline' and 'simplify'. The result is basically that they did the opposite of what we want to achieve in software design: modern game systems are sha
72.
by woolion 1y ago
You could implement a Turing-machine with humans acting physically operating as logic gates. Then, every human is just a boolean function.
73.
by woolion 1y ago
You OS system theme is dark, so the page uses a dark theme. However, the math is rendered in black... The CSS for MathJAX `mjx-container[data-theme="dark"]` should include to put a white background to avoid this issue. Note that i
74.
by woolion 1y ago
It's unfortunate that Quanta links are so popular, when they include so much pseudo-poetic fluff around the mathematics. Below there's an entire thread to dismiss a misconception introduced by the quanta article. "I think it
75.
by woolion 1y ago
This is the real problem with AI: it generates plausible-sounding slop in absurd quantity, for which verification is very expensive. Beyond that, it would interesting to check how wrong the AI version is compared to the ground truth (the pu
76.
by woolion 1y ago
The winning image entry for "The Yarrctic Circle" by OpenAI 4o doesn't actually wields a cutlass. It's very aesthetically pleasing, even though it's so wrong in all fundamental aspects (perspective is nonsensical an
77.
by woolion 1y ago
Discussed on hn: https://news.ycombinator.com/item?id=43238893 I found it to be the best resource to understand the material. That's certainly a good reference to delve deeper into the intuitions given by OP (it's
78.
by woolion 1y ago
The AUR package is also broken, it doesn't fetch the submodule before trying to build. It would be better to just suggest using the static build, as it works OotB.
79.
by woolion 1y ago
I got RSI after a few years of steadily increasing computer time, culminating in a year of 14 hours per day at the computer, almost every day. The first thing is that having never had RSI, there were signs that I ignored during that last ye
80.
by woolion 1y ago
Funny, I used to think it was bloat but then I got to use it to store passwords for remote servers accessed with ssh, and now it's a nice 'batteries included' for me, as GP mentioned. It has become so because it is nicely and
81.
by woolion 1y ago
I checked in KDE, since I'm generally confused as to why it's not more popular now: in the wallpaper settings you choose `wallpaper type: plain color` and it gives you a color picker to set it. It also shows you the screen you set
82.
by woolion 1y ago
The paper "Making Turing machines useful (Or, how I got Doom to run on a Turing machine)" builds a Turing machine to run Doom (duh), by implementing a RISC-V (RV32I) emulator. While in Sigbovik fashion the utility of the exercise
83.
by woolion 1y ago
Nobody argues about the result of an addition because the computation is mechanistically verifiable. Same with statements that are properly formalized in logic. The goal was to have the same for all of mathematics. So incompleteness is not
84.
by woolion 1y ago
He effectively predicted all the paradigm shifts that the internet entailed. I've thought about his interviews many times as it was a very optimistic view compared to the alternatives -- one being the internet as a generalized tiktok
85.
by woolion 1y ago
Your comments reminds me one time I discussed with a university professor about how evil the eradication of the biosphere diversity was (wildlife but also unique breeds with century-long histories), and he replied that we'd have a &quo
86.
by woolion 2y ago
Although that seems to be the most logical answer, on the PinePhone plugging the most basic wired keyboard (that does not even have a backlight) reduces the luminosity of the screen to the minimum. Small device tend to be very fiddly with p
87.
by woolion 2y ago
I've made https://store.steampowered.com/app/3248650/JOBifAI/ It's in ren'py, so the states are all hard-coded, LLM powers interactions with NPCs --including branching based on being able to co
88.
by woolion 2y ago
Aren't you describing Lulu but for the very niche case of arxiv publications that are small books but not published as books? I think you could do it in a weekend with their API.
89.
by woolion 2y ago
Sure, I did not want to be overly dismissive; I've worked in the space and most options suck and/or are fairly expensive for what they are, so any decent to good OSS option would be really appreciated. However, these points would
90.
by woolion 2y ago
https://github.com/willuhn/hibiscus >Developer Information (in german) Which sends to a Javadoc which is actually a 404. To be honest, I wouldn't work on/with a project that uses not-English as primary lan

More ›