ogogmad

7 ms·

121.
by ogogmad 9mo ago
P.S. This suggestion would eliminate your pinch points.
122.
by ogogmad 9mo ago
It might be possible to generate mazes with different outlines using this theorem: https://news.ycombinator.com/item?id=46751781
123.
Riemann Mapping Theorem(en.wikipedia.org)
2 points by ogogmad 9mo ago|1 comments
124.
by ogogmad 9mo ago
Have you considered finding a conformal transformation† that maps a square to any other possible shape, as long as the shape doesn't have any holes? Such a transformation always exists by the Riemann Mapping Theorem, and is unique as
125.
Installing Gnome on OpenBSD 7.8(btxx.org)
2 points by ogogmad 9mo ago|0 comments
126.
by ogogmad 9mo ago
Is it possible to fix some of these limitations by building DBMSes on top of SQLite, which might fix the sloppiness around types and foreign keys?
127.
by ogogmad 9mo ago
Fun fact: The term Lingua Franca originally meant something closer to Portuguese than the French spoken at the time. Eventually though, the French language did become the Lingua Franca truly, for some time.
128.
by ogogmad 9mo ago
Alternatives to Amazon.com? I'm totally serious when asking about this. I think delivery apps (like the one comically named "Deliveroo") are all potential alternatives to Amazon, but I think they charge a premium.
129.
by ogogmad 9mo ago
> The EU and Canada is [sic] upset because of Trumps use of force [...] to acquire land via direct negotiations with Greenland natives A lie. Opinion polls suggest 85% of Greenlanders oppose the territory joining the US. > As American
130.
by ogogmad 9mo ago
I think you're failing to get that using a filesystem API to work with things that aren't naturally anything like filesystems might get perverse. And standard filesystems are a pretty unnatural way to lay out information anyway, g
131.
by ogogmad 9mo ago
Operating systems are where device drivers live. It sounds awfully impractical to develop alternatives at this stage. I think OP is right. I think OSes should just freeze all their features right now. Does anyone remember all the weird ch
132.
by ogogmad 9mo ago
You don't see value in having a cheap way to detect when a problem is easy or hard? That would seem unimaginative.
133.
by ogogmad 9mo ago
I just found out that there's a 1D cellular automaton called Rule 54 that is conjectured to be Turing complete, but for which there isn't yet a proof. I think Gemini (an LLM) and me are in agreement that the proof will likely be f
134.
by ogogmad 9mo ago
> The reboot was as hard as the lesson. I'm confused. What happened on reboot?
135.
by ogogmad 9mo ago
Hmm. What if we replaced the whole of bash with the contents of /bin?
136.
by ogogmad 9mo ago
ML languages have a "types, modules, types-of-modules, and functors" approach to ad-hoc poly. It's a bit strange compared to what other languages do. I am wondering whether it's ever been seen outside of SML and OCaml. F
137.
I was placed in the "retarded" class in first grade(perens.com)
2 points by ogogmad 9mo ago|3 comments
138.
by ogogmad 9mo ago
?
139.
by ogogmad 9mo ago
The problem is unclear. I think you have a labelled graph G=(V, E) with labels c:V->R, such that each node in V consists of a triple (L, R, S) where L is a sequence of weights are on the left, R is a sequence of weights that are on the r
140.
by ogogmad 9mo ago
> To me, this sounds like when we first went to the moon, and people were sure we'd be on Mars be the end of the 80's. Unlike space colonisation, there are immediate economic rewards from producing even modest improvements
141.
by ogogmad 9mo ago
I don't think it's just the sheer number of symbols. It's also the fact that the symbol τ means "turn". So you can say "quarter-turn" instead of π/2. I'm not sure why that point gets lost in thes
142.
by ogogmad 9mo ago
I'm using LLMs to rewrite every formula featuring the Gamma function to instead use the factorial. Just let "z!" mean "Gamma(z+1)", substitute everywhere, and simplify. Then have the AI rewrite any prose.
143.
by ogogmad 10mo ago
Is there a proven and guaranteed way to do this? Because otherwise it sounds very idealistic, almost like "if everything were somehow better, then things would be less bad". Doctor time will always be scarce. It sounds like it d
144.
by ogogmad 10mo ago
ChatGPT frequently pushes back against the things I say. I think you can dial down the level of sycophancy.
145.
by ogogmad 10mo ago
I know crypto's unpopular now, but it would be nice to know if Vitalik's claim (about having good security, throughput and "decentralisation" at the same time) is true or not.
146.
Vitalik Says Ethereum Just Solved Crypto's Biggest Problem(cryptonews.com)
6 points by ogogmad 10mo ago|3 comments
147.
by ogogmad 10mo ago
Zig doesn't have operator overloading. This does.
148.
by ogogmad 10mo ago
It's a game of probabilities. Even if it does turn out fine, similar things in recent history have turned out very poorly*. But to be honest, I hate Maduro anyway, so I'd be happy for this to turn out well. * - Claims 2 years ago
149.
by ogogmad 10mo ago
> Islamism seems more potent and durable and always rears its head in instability like in Bangladesh most recently, or the Arab Spring before. My explanation for this durability is that it is tied in with religion and is believed to be d
150.
by ogogmad 10mo ago
What about radical communism as a binding ideology instead of radical Islamism? I swear that I've heard during at least 5 different wars in my lifetime that things would turn out differently. And I'm not old. Now I want consequenc

More ›