ur-whale

22 ms·

451.
by ur-whale 2y ago
> because it’s mathematically impossible I guess the Lean devs can all pack and go home then. Also: how could they possibly miss Gödel's theorem, how careless of them.
452.
by ur-whale 2y ago
This is fun!! I made a thing, here's the prompt: coffee mug with "I AM THE BOSS" written very large and horizontally on the side. Cup must hold 75 cl of liquid. Funny thing: the tiny icon has the correct words, but the final
453.
by ur-whale 2y ago
> about the same as the gap between us and everybody else My bet: there is a very long list of skills for which the gap between you and a person randomly picked out the whole population is very large, and not in the direction you seem to
454.
by ur-whale 2y ago
> This was already tried, and failed (Hilbert) Who likely underestimated how hard it would be. And who didn't have a 2024 computer on hand.
455.
by ur-whale 2y ago
This article makes me very happy. One of the many reasons I love math is the feeling I've always had that with it, we're building skyscraper-sized mental structures that are built on provably indestructible foundations. With the a
456.
by ur-whale 2y ago
> The most current document is here, but it's text. "but" ???
457.
by ur-whale 2y ago
> But I'll never give up bread, pizza, pasta and chocolate. Give it a few years, and your pancreas might very well come knocking with type II news. At that point, the 'x' in your equation will carry a lot more weight than
458.
by ur-whale 2y ago
> is because it's to be machine read only Why did they bother making it text-only ASCII then ?
459.
by ur-whale 2y ago
Wayyyyy before comments, the one thing I'd want to see JSON support is effing trailing commas.
460.
by ur-whale 2y ago
> ??? ????: ???%. ???? BTC used as El-Salvador style sovereign wealth reserve
461.
by ur-whale 2y ago
> its intrinsic worth There is no such thing as "instrinsic worth". There's only supply and demand. Why there is demand for a certain good is a many-colored and complicated affair.
462.
by ur-whale 2y ago
> Yet the dollar is at record highs The SingleFamilyHome/USD pair begs to differ
463.
by ur-whale 2y ago
Actual links to the github would be much appreciated, as well a half-page tuto on how to get this up an running on a simple Linux+Intel setup.
464.
Set up a Local AI like ChatGPT on your own machine [video](youtube.com)
1 points by ur-whale 2y ago|0 comments
465.
by ur-whale 2y ago
https://archive.is/d30Rz
466.
by ur-whale 2y ago
> See also: “Meow hash” Meow hash may very well be fast on large data, but it completely fails the "small code" criteria, which is one of the clearly stated design goal of Chibi. Generally speaking, the "code as small as p
467.
by ur-whale 2y ago
Fitting!
468.
by ur-whale 2y ago
One thing I've always wondered about elliptic curves is why everything is so centered on degree 3 two variable polynomials. Aren't there rich structures to be explored for curves of degree >3 ? Or is 3 really special ?
469.
by ur-whale 2y ago
Code in jart's version is refreshingly clean and easy to read compared the nlohmann's version. As an aside, I wonder: what are the ThomPike* set of macros actually doing in jart's implem ? Also, a speed comparison of this vs
470.
ClickBench – A Benchmark for Analytical DBMS(benchmark.clickhouse.com)
2 points by ur-whale 2y ago|0 comments
471.
by ur-whale 2y ago
I never really understood what value ligatures even bring to normal text. But for code, they're just an abomination.
472.
by ur-whale 2y ago
Where's monofur ?
473.
by ur-whale 2y ago
> If it's anonymous, we might be surprised. Fully agree. Admitting you supported Trump on HN is suicide. But then more than half of the country voted for him, so I guess ... do the math, even if HN's participants are biased blu
474.
by ur-whale 2y ago
> there are very few here who do not realise Double negatives ought to be illegal, they make muh head hurt
475.
by ur-whale 2y ago
> Is there some statistical analysis on the reason people vote trump ? You could try to ask HN'ers who voted Trump why they did ... statistically speaking, folks on HN do not exactly strike me as fitting the "bunch of redneck r
476.
by ur-whale 2y ago
> I get that "most pc's can run Bitcoin core" Is that true though ? I find that it doesn't take much CPU or bandwidth to run a node, as long as you limit the number of incoming peers. Disk space (if you keep the full
477.
by ur-whale 2y ago
> Soon this will all collapse, reaching all time highs isn't a good thing. Obligatory answers, take your pick: https://99bitcoins.com/bitcoin-obituaries/ https://www.youtube.com/watch?v=XbZ8zDpX
478.
by ur-whale 2y ago
The point is not the built-in search function of Discord, it is to have content such as the work hacker fab is doing globally searchable. By searchable, I mean universally accesible, be it via trad. search engines or LLMs. Instead, any know
479.
by ur-whale 2y ago
> Discord is searchable. From Google ?
480.
by ur-whale 2y ago
Very interesting project, but ... > We communicate entirely over Discord. Walled garden, unsearchable content, for what strikes me as an open source like DYI endeavor. Why ?

More ›