isaacimagine

12 ms·

61.
by isaacimagine 4y ago
Does anyone know what the two unproven theorems he proved were?
62.
by isaacimagine 4y ago
If gcc supports Rust as a frontend ootb, I could see existing C/++ projects incrementally adopting components written in the language.
63.
by isaacimagine 4y ago
It's still a long way from being complete, but I'm working on something like that[0]. Eventual plans are to have good Rust library interop (e.g. bindings to hyper for http) while also being able to compile to Wasm (to run on an er
64.
by isaacimagine 4y ago
Have any similar 'attacks' been pulled off in practice?
65.
by isaacimagine 5y ago
I love the snap and flow of these animations. So crisp, how does one learn to animate like this? Practice, I'm sure. Another animator whose work I enjoy is kekeflipnote.
66.
by isaacimagine 5y ago
I'll bite, but I'd like to preface my response by saying that I'm not particularly a fan of Joe Rogan, even having watched a couple of his shows. The issue with saying that someone is a 'moderate liberal' is that th
67.
by isaacimagine 5y ago
If I'm conservative, but my friends are liberal, am I a liberal? Or maybe I'm not a conservative, and they're not liberals: we all hold different nuanced opinions based on our own life and personal experience. Binning someone
68.
by isaacimagine 5y ago
I live in Italy and can attest that the high-speed rail running along the backbone of the Italian peninsula is really nice: it's clean, faster than a regional flight (no need for security, etc.), quiet, and it's fun to watch the h
69.
by isaacimagine 5y ago
Any archives?
70.
by isaacimagine 5y ago
I love the metacommentary on this thread, in that it matches the pattern of original commentary.
71.
by isaacimagine 5y ago
> In America you need a VPN to be able to serve information that isn't blocked by the great firewall. I'm pretty sure this is true in China too. What point are you trying to make?
72.
by isaacimagine 5y ago
> > I had the VPS for another project, so stuff was running there, but Minecraft was just too much for it Presumably the pi is just running Minecraft
73.
by isaacimagine 5y ago
From the domain name I confused this with the Zed editor[0] for a second. Despite both being editors written in Rust with zed* domain names, they are different. Really interested in both projects though. [0]: https://news.ycombin
74.
by isaacimagine 5y ago
> JS engines probably have tens of millions of dollars of dev effort poured into them by now And JS engine JIT codegen modules are put to good use compiling wasm.
75.
by isaacimagine 5y ago
Why is the author's sibling comment[0] that answers the parent's question [dead]? > Hey thanks! It's built with Jekyll and Netlify. The galleries are all driven from a Google Sheet as a sort of DIY database. Is there some
76.
by isaacimagine 5y ago
https://slightknack.dev Static site using Zola + custom theme. Something between a blog and a portfolio. (Yeah I really need to cut down on the image sizes on the home page.) Here's the source: https://github.com
77.
by isaacimagine 5y ago
Am I missing something? Is this just pure linkspam?
78.
by isaacimagine 5y ago
A single Blockchain is pretty slow. Sharing is processing transactions in parallel (potentially on different chains), while maintaining consistency between shared chains. Or something.
79.
by isaacimagine 5y ago
My favorite colorscheme is Molokai, which is like Monokai but softer on the eyes. I use a modified variant more similar in layout to Atom One Dark. https://vimcolorschemes.com/tomasr/molokai
80.
by isaacimagine 5y ago
There are a number of patterns that have arisen over the years to deal with these problems. For the large-object problem, look into persistent data structures or the 'Functional but in Place' paradigm (compiler optimizes modificat
81.
by isaacimagine 5y ago
I did about 20 questions and didn't miss one. Because most plants, animals, etc are made of water, you really just have to compare volume. I found that visualizing the order of magnitude of the volume was a pretty good strategy for est
82.
by isaacimagine 5y ago
Really fun game! There's no social incentive to share with others, or hook to return to play again, though. I learned a lot about how much thing weigh though.
83.
by isaacimagine 5y ago
Go!
84.
by isaacimagine 5y ago
I feel like AGI will be an emergent property of a network of computers rather than an individual analog-or-digital one.
85.
by isaacimagine 5y ago
Try training for things you would click on. Or the opposite of things you would click on.
86.
by isaacimagine 5y ago
FIDL could become the defacto standard for cross language communication. I really like where fuchsia is headed. Edit: I say this because fuchsia seems to be an attempt to build an OS from scratch. Introducing a new IPC layer built specifica
87.
by isaacimagine 5y ago
If you were able to physically manufacture an object with inversely decreasing index of refraction, would you observe light bend as it does around a black hole? Or do impurities in the substance / difficulty of manufacturing w/ di
88.
by isaacimagine 5y ago
I use Zola (static site generator) + GitHub pages for my personal blog[0]. Here's the repo / build action for those interested[1]. It's suprising how easy and cheap it is (free!) to set up a globally distributed website is th
89.
by isaacimagine 5y ago
And tcc, and quickjs, and tinygl, and... Honestly his output is insane in terms of both quality and quantity. There's a list of his projects on his homepage ( https://bellard.org ).
90.
by isaacimagine 5y ago
You're thinking of asm.js: http://asmjs.org/faq.html

More ›