krick

18 ms·

241.
by krick 2y ago
I usually share the sentiment, but, come on, it's packaged as a single binary file...
242.
by krick 2y ago
Honestly, no. They are not great, and it's getting silly to pretend they are. If they were, we wouldn't have stuff like tldr, cheat, bropages, and a good half of StackOverflow wouldn't exist as well, let alone LLM tools to tr
243.
by krick 2y ago
I have nothing to say about Cyc (apart to that the bitter lesson is bitter indeed, but was never debunked so far; and, also, I hate LLMs). But this line (from accompanying github) deserves some attention, IMO: > Due to the lack of long-t
244.
by krick 2y ago
> I optimistically imagine a world where we replace the relatively non-specific asymptotic bounds of an algorithm with a very specific quantification of the work an algorithm will take. My understanding is that it's pretty much how
245.
by krick 2y ago
It's much more problematic how many comments praise it not as a joke. And, honestly, it doesn't seem like it was intended as a joke. It's a legitimately bad idea, that is treated as a good idea by some scary number of people.
246.
by krick 2y ago
Maybe it's just me, since people here in the comments apparently understand what this is, but even after skimming the comments, I don't. Some simplified API example would be useful either in the "marketing post" or (ac
247.
by krick 2y ago
Network effects are network effects. I really feel physical disgust and try to keep it off my devices, but while it's feasible when living normal, uh, "no-lifer" life, it's unfortunately basically impossible when I trave
248.
by krick 2y ago
It's actually only your post that made me realize people don't normally put spaces around em dash. In French, Russian and a bunch of other languages proper typesetting is to use em dash as a standard dash character, and you always
249.
by krick 2y ago
Can it draw the notorious glass of wine filled to the brim yet?
250.
by krick 2y ago
> for education Is there any standard curriculum course for... this? (Actually, I don't know if it's a good idea to use this for learning, instead of learning Lean, because I imagine that 95% of learning Lean would be Learning
251.
by krick 2y ago
This is pretty much how I always wanted formulas in my notes to look like (but was too lazy to implement it myself, I guess). It's not even so much about fast input, it's about that it needs to be at least somewhat readable in pla
252.
by krick 2y ago
Pretty sure it was "Ask ChatGPT". I wouldn't really rely on it. Too many mistakes.
253.
by krick 2y ago
I think I am not exactly the intended audience for these devices right now, so my comment will be a bit general. I don't want "a geeky alternative to apple watch" (or an apple watch, for that matter), I basically want Garmin
254.
by krick 2y ago
I am still kinda on the fence if I should move to Proton or not. I bought a subscription on a sale, but I basically don't use any paid features, because they all are sort of vendor lock-in, in a sense I cannot realistically stop paying
255.
by krick 2y ago
What is the essence of this partnership? I never heard about porkbun, but I see it's a domain registrar, so I suppose the point is that now they offer a custom domain for your proton email... but it was always possible to attach a cust
256.
by krick 2y ago
People always say that, but I don't see why would I want that. I like the idea of a browser engine in Rust, but I actually hope it might theoretically replace Chrome in 10 years, because it's better. Browser Engine is not an opini
257.
by krick 2y ago
Wow, that's pretty high-effort blog post (taking time to compare across 12 mainstream languages).
258.
by krick 2y ago
I understand how USA gains from that. Please explain to me how Europe does.
259.
by krick 2y ago
I don't know what answer you expect. I think you didn't really miss options (broadly speaking), but your interpretation of each option is opinionated, and this is extremely opinionated topic (obviously). So I wouldn't say y
260.
by krick 2y ago
I don't understand why you assume your foreign friends in computing are not in favor of... eh, whatever you are "embarrassed by". And whatever it is, the (small) majority of people in the USA voted for it, so your statement s
261.
by krick 2y ago
Honestly, I am a bit surprised dang didn't change the title, given all the outrage and huge number of upvotes. Regardless of whether your analysis is missing anything, it just says what license doesn't say, and in that sense, yes,
262.
by krick 2y ago
So, what is the practical TL;DR for everyone who isn't neither an employee nor investor? Hashicorp kinda made a lot of significant stuff, but that stuff is mostly FOSS and the commercial product is very niche. I am kinda surprised IBM
263.
by krick 2y ago
Can perhaps someone suggest some resources that are, uh, less advanced undergraduate? Is this possible? Or perhaps just the resources for the prerequisites themselves? Like, what's the route from "not advanced undergraduate"?
264.
by krick 2y ago
Huh, I didn't even know ffmpeg still actively employs assembly in its source code.
265.
by krick 2y ago
I don't understand. How can wind be supersonic? Isn't wind essentially a super-low frequency sound? Well, ok, not exactly, but still, it moves pretty much like sound. For it to be supersonic, air mass behind needs to move faster,
266.
by krick 2y ago
Wow. Setup took 12 GB of my disk. First impression: nice UI, but no idea what to do with it or how to create a project. Tells me "session expired" no matter what I try to do. Definitely not batteries-included kind of stuff, will n
267.
by krick 2y ago
Yes' anecdotally, it's a bit better now. Still nowhere near actually usable OCR software though, unless your use-case is scanning clear hi-res screenshots in conventional fonts and popular langues, without tables or complicated fo
268.
by krick 2y ago
Most comments here either praise IDEA-variants as "outstanding", or blame it for being "slow and complicated", both of which feel odd to me (especially the first one). I strongly prefer JetBrains products over anything
269.
by krick 2y ago
I remember when I first bought a knife either made in USA or just targeted at that market (not sure: I mean, I don't think it was the first thing I bought made by an USA company, but I've never seen that warning before), and found
270.
by krick 2y ago
TBH, while I would like Twitter to be obligated to provide access to any data to anyone, I don't really understand on what grounds the decision was made. I mean, I wouldn't ask, if it was an USA court, where it's considered n

More ›