Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
catern
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
17 ms
·
151.
▲
by
catern
5y ago
No, because then you have to trust those other people to not build the package maliciously.
152.
▲
by
catern
5y ago
Ah, thanks, makes sense! So it's just a bandwidth-saving device - still, sounds quite useful.
153.
▲
by
catern
5y ago
But that SHA hash of the built artifact doesn't go in the package recipe. So how do I know what the SHA hash of the built artifact should be, if all I have is the Guix repo? I can always rebuild the artifacts myself using "challen
154.
▲
by
catern
5y ago
>Opportunistic use of neighboring substitute servers is entirely safe, thanks to reproducible builds. How does this work? Just because the builds are reproducible doesn't mean that the artifacts published by substitute servers are a
155.
▲
by
catern
5y ago
The built-in tutorial is, I think, the best way to learn the game. After that, playing with hints mode on (as the tutorial suggests).
156.
▲
by
catern
5y ago
Just to be clear, the death clock is hidden and is intended to be impossible to trigger if you're not actively cheesing with one of the very few exploits that depend on waiting for a very long time. IIRC to tune the clock, they took th
157.
▲
by
catern
5y ago
>yes, if you stop flying and thereby fall into an unsurvivable place, you will die. In recent versions, you just suffer severe draining (temporary max HP reduction, removed by gaining XP) for every turn you're on an unwalkable tile
158.
▲
by
catern
5y ago
There's a built-in tutorial, that's the best way to learn.
159.
▲
by
catern
5y ago
Food is far more important in nethack than it ever was in DCSS, it was never a key part of the game in DCSS, just an annoying (and sometimes spoilery) minigame.
160.
▲
by
catern
5y ago
>But there isn't really ever a reason to mix futexes and event loops. Futexes are not a synchronization primitive, just a waiting strategy. Decouple the two and you can integrate your synchronization primitives with an event loop wh
161.
▲
by
catern
5y ago
Yes, I agree - you had much fewer pre-existing ideas to guide you, and really good new ideas were coming out all the time and you could pick between them - you could do all kinds of innovative things and they would really be novel. Although
162.
▲
Inheritance was invented as a performance hack
(catern.com)
3 points
by
catern
5y ago
|
0 comments
163.
▲
by
catern
5y ago
Scale isn't everything. If each of 200000 employees used 10 salt packets a week, at a cost of $0.003 per salt packet (from https://www.warehouse115.com/single-serv-flat-salt-packets-p... ), then if they cut their salt e
164.
▲
by
catern
5y ago
>The userspace fast path can in principle be implemented on top of any kernel only synchronization primitive (a pipe for example). >The nice thing about futexes is that they do not consume any kernel resource when uncontended, i.e the
165.
▲
by
catern
5y ago
>Grain aims to modernize innovative features from functional and academic programming languages and bring them to the masses. What are these features? This could be things like "pattern matching and sum types", or it could be t
166.
▲
by
catern
5y ago
That's one of the things I use this kind of primitive for in https://github.com/catern/rsyscall
167.
▲
by
catern
5y ago
I believe those are libraries for using these services (e.g., connecting to them and allocating resources inside them), not launching them and setting them up.
168.
▲
by
catern
5y ago
I hope Pulumi eventually develops a "bare-metal" mode. I'm very much in favor of using a real programming language to set up systems[0], but I don't like to use cloud services beyond basic hosting. It would be nicer if P
169.
▲
by
catern
5y ago
The conceit of this article reminds me of http://ngnghm.github.io/index.html which has the same conceit - examining programming practices in a different universe.
170.
▲
by
catern
5y ago
The server side license stuff doesn't prevent shared hosting providers from using software. It just requires hosting providers to open source their infrastructure. I think the internet would be even better today, if shared hosting prov
171.
▲
by
catern
5y ago
More about this can be found in the literature on using capabilities to provide/implement effect systems. For example: - "Capabilities: Effects for Free": https://www.cs.cmu.edu/~aldrich/papers/effec
172.
▲
by
catern
5y ago
Yes... the comment above is describing a way to evade such laws, used by food trucks. But I've never seen such that workaround in action, hence my question.
173.
▲
by
catern
6y ago
Where are food trucks with touch screen terminals common? I've never seen one in NYC.
174.
▲
by
catern
6y ago
nix-env (including nix-env -u) is purely a user-facing UI helper for new users. One would never use it in production, or even for development, even when it was first released; it's only ever been for new user onboarding. So it's a
175.
▲
by
catern
6y ago
My favorite dired feature is that if you C-x C-q (the standard Emacs binding to toggle the read-only status of a file), it makes the directory buffer writable. You can then edit the buffer like a regular file, including changing file names
176.
▲
by
catern
6y ago
I've wondered the same thing! In particular, the highly polished and powerful interfaces of some roguelikes (DCSS comes to mind) strongly remind me of Emacs. It seems like the scriptability and power of Emacs interfaces is a natural fi
177.
▲
by
catern
6y ago
Crashes, as in actually exits without you triggering it? That's definitely very unusual; most lisp shouldn't be able to do that. Is there anything particularly unusual about your config? Are you maybe using a loadable module? If y
178.
▲
by
catern
6y ago
Hm, I've been searching for a good replacement for Google Play Music, and this looks like a compelling option - the library of youtube, the recommendations of last.fm, and the UI of Emacs - an excellent set of ingredients!
179.
▲
Your users are a test suite
(catern.com)
2 points
by
catern
6y ago
|
0 comments
180.
▲
Deploying a distributed system? A type system helps a lot
(catern.com)
4 points
by
catern
6y ago
|
0 comments
More ›