Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
lou1306
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
121.
▲
by
lou1306
1y ago
> teachers, foodservice workers, nurses These are mostly employed positions, where employees have procedures to negotiate their salary with the employer (which might be the government itself). Most artists otoh are self-employed, and the
122.
▲
by
lou1306
1y ago
But you must drive a line somewhere. If "a cosmic ray could mess with your program counter, so you must model your program as if every statement may be followed by a random GOTO" sounds like a realistic scenario software verificat
123.
▲
by
lou1306
1y ago
Linus's law [1]? When it comes to compilers for mainstream languages, the userbases are so large that they will explore a surprisingly large portion of the compiler's state space. But definitely, better engineering and QA practice
124.
▲
by
lou1306
1y ago
Did not know Patreon's tech was lock-in. I subscribe to a podcast on Spotify and they give you a private URL that you can feed to any app. If you are worried about malicious customers sharing the URL you may likely enable some form of
125.
▲
by
lou1306
1y ago
> - Remove it if it hadn’t posted in the last few years. Some people blog extremely irregularly, but the likelihood is that most blogs that are 5+ years old aren’t coming back. This I don't really understand. Following inactive feed
126.
▲
by
lou1306
1y ago
Patreon and Spotify already implement subscription-based podcasts, and I am positive they use RSS/Atom under the hood. So the tech is already out there, you just need to turn it into a self-hosted solution.
127.
▲
by
lou1306
1y ago
I recently started to look at this the other way around. A functional paradigm allows to describe very precisely what a function does through its type. In imperative languages, OTOH, the type signature of a function (which really should be
128.
▲
by
lou1306
1y ago
I agree that a) rejecting a paper that has been recommended for acceptance by _all_ reviewers (something that routinely happens in, say, NeurIPS) is nonsense. However, in-person conferences have physical limits. In the case of, again, NeurI
129.
▲
by
lou1306
1y ago
> The length of tasks AI can do is doubling every 7 months The claim is "At time t0, an AI can solve a task that would take a human 2 minutes. At time t0+dt, they can solve 4-minutes tasks. At time t0+2dt, it's 8 minutes"
130.
▲
by
lou1306
1y ago
I don't know. Trinity might be a good starting point. Zork on the other hand is often suggested but I find it so annoying, if you don't solve a certain quest early you're automatically locked out of victory.
131.
▲
by
lou1306
1y ago
I'm a fan of the 2nd revision myself, it's sooo Web 2.0 https://seeklogo.com/vector-logo/492036/linux-tux But the OG Tux remains undefeated I'm afraid
132.
▲
by
lou1306
1y ago
Thank you for clarifying, but don't you think this puts a rather big dent in the claim that Litex is "intuitive" and "can be learned by anyone in 1–2 hours"? I think the average user would expect the natural/re
133.
▲
by
lou1306
1y ago
I got kind of lost at this part of the tutorial ( https://litexlang.com/doc/Tutorial/Know ): know forall x N: x >= 47 => x >= 17 let x N: x = 47 x >= 17 How does that assumption in the f
134.
▲
by
lou1306
1y ago
This is amazing, in no small part due to the fact that Krankheit literally means "disease" in German.
135.
▲
by
lou1306
1y ago
Yes, in the sense that they can be formalised as such. Given n tokens t1..tn, a transformer computes the probability p(t') that every token t' has of being the next. Each of these probabilities are arcs from a state t1..tn to anot
136.
▲
by
lou1306
1y ago
Okay but that is still not good copy. You always say your _new_ product is the best one yet (see Apple), you don't badmouth your old ones.
137.
▲
by
lou1306
1y ago
The "No bulky boxes. Just 3D presence." tagline must come from an LLM, right? Crazy they chose to go with such cheap copy for a 10kUSD-range product. I am not saying you must call in Don Draper for every single landing page or her
138.
▲
by
lou1306
1y ago
You can do this in Python, today. Whenever you need a package, just add its code in a directory under your project's root. And good luck.
139.
▲
by
lou1306
1y ago
Mozilla is in extremely dire straits right now, so unless this "lot of people" make a concerted donation effort to keep the lights on I would be hardly shocked by the sunsetting.
140.
▲
by
lou1306
1y ago
I can see the point, but repeating the same action for which you are currently being prosecuted will hardly improve your standing before the court. Quite the opposite, in fact.
141.
▲
by
lou1306
1y ago
> Being in line with the bad original design decision is another bad design decision I disagree. Consistently going with the "bad" choice (in this case, leaking the variable to the outer scope) is better inconsistently swinging
142.
▲
by
lou1306
1y ago
A big advantage of QR code is that it's just a square, whereas URLs occupy short, wide rectangles of space. They are also robust to a number of situations where OCR may struggle: small size, low light, fading... And they are human-insp
143.
▲
by
lou1306
1y ago
`printf`/`str.format` are also prone to nasty failures: if you forget a variable (e.g., `str.format("{} {} {}", 0, 1)`), you only find out when you crash with an IndexError at runtime.
144.
▲
by
lou1306
1y ago
> Absolutely no one who knew about that battle would have claimed that Japan was already defeated. On a strategic level they were. The archipelago was being blockaded, they had no way to contest Allied air supremacy, they were reduced to
145.
▲
by
lou1306
1y ago
> the format seems to be focused on how to display some data so that a human can (hopefully) easily read them It may seem so, but what it really focuses on is how to arrange stuff on a page that has to be printed. Literally everything el
146.
▲
by
lou1306
1y ago
> "You might not need tmux" First step, reimplementing the (arguably) one essential thing tmux provides, i.e., persistence: all tools have "varying degrees of success" and "are buggy". Scrollback? In tmux yo
147.
▲
by
lou1306
1y ago
I have good memories of the Parker ones. But honestly I started using a (refillable) Pilot V5 in uni and never went back. It only really smudges if you leave the pen in the same spot for quite some time (very rare). But writing is a breeze
148.
▲
by
lou1306
1y ago
> Has anyone considered that it might've just been a novelty? A fancy paperweight? This just got me thinking, it would likely take us hours to explain an ancient Roman what a "paperweight" is. The fact that paper a) exists
149.
▲
by
lou1306
1y ago
"Magic methods" is just the name people use for these special methods (another is dunder methods). They're "magic" because you do not call them by name, rather they are invoked by the interpreter in specific situati
150.
▲
by
lou1306
1y ago
This is why I have grown to appreciate gradual typing, at least for solo projects. In Python-land I can just riff over a few functions/scripts until I get a rough idea of the APIs/workflows I want, then bring mypy into the mix and
More ›