Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
0x69420
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
10 ms
·
91.
▲
by
0x69420
4y ago
i would just link you mine but this is a pseudonymous account; however: most nix-darwin users i know have a darwin-configuration.nix that's nearly identical to the one the installer plops down for you, with the exception of more items
92.
▲
by
0x69420
4y ago
hi, nix on macos user dropping in to deliver a PSA for the non-nixer macos users amongst you reading this article: * you are correct to be terrified * you are correct to think “this is a demented amount of busywork; who in their right mind
93.
▲
by
0x69420
4y ago
yeah, unfortunately, despite literally being specified in posix (hell, macos bundles it) one of these days i will go around pestering distro release engineers to include it; after all, it's less heavyweight than any one of their home
94.
▲
by
0x69420
4y ago
"oh no i reinstalled the os on my vps and now ssh has it on good authority (said authority is line 68) that someone is doing something nasty" ed .ssh/config 68d wq done, didnt fill my terminal with vim or emacs, di
95.
▲
by
0x69420
4y ago
here: https://www.youtube.com/watch?v=73mnPBLL_20 be warned, it's from 2017, so there are 5 years of history you'll still need to go looking for
96.
▲
by
0x69420
4y ago
f* (one system on display in this paper) can extract to c/assembler suitable for inclusion in a hand-written c source tree, all the while giving a wider and more interesting set of guarantees with the added benefit that you won't
97.
▲
by
0x69420
4y ago
oh, yeah, sandbox-exec is fun. for the record, the exact scheme they use is tinyscheme. the whole facility is largely undocumented, but it still somehow manages to be friendlier than seccomp -- i remember learning about it in a talk on the
98.
▲
by
0x69420
4y ago
on the front page right now: - a git explainer centered around git internals, serving as an indictment of git's ux - a parser for a restricted subset of yaml, serving as an indictment of yaml's excesses on the front page yesterday
99.
▲
by
0x69420
4y ago
the trouble with "zero abstraction penalty" and "compiles to LLVM" is that you're still paying the penalty of targeting LLVM, which is an abstraction that largely inherits the fraughtness of the C abstract machine;
100.
▲
by
0x69420
4y ago
so if we fly crop dusters full of catalyst over ranches, can we turn cow farts into disinfectant?
101.
▲
by
0x69420
4y ago
having used the preview for a while, when searching across all repos, it's like the standard search box you don't have to sign up for, except occasionally less liable to give you 50 matches in a row on identical files across for
102.
▲
by
0x69420
4y ago
sure, but if it's the reader's first introduction to the language (which rwo is positioned as), the reader is in a uniquely bad position to discern justified best practices from arbitrary ones, and truths about the language from o
103.
▲
by
0x69420
4y ago
dialyzer and a liberal sprinkling of typespecs gets a decent chunk of the way there, meanwhile the problem with gleam and friends is the fact that they're altogether new languages -- the pragmatic solution would be a restricted subset
104.
▲
by
0x69420
4y ago
erlang/elixir programmers would disagree -- we match on ad-hoc dynamically typed tuples that serve broadly the same purpose as ADTs all the time, where the only exhaustiveness you get is the degenerate case ie `_ -> shit_the_bed()`
105.
▲
by
0x69420
4y ago
very grateful that this course is free for all, and the youtube lectures are neat too real world ocaml 2e is nice, but like a lot of oreilly books about $LANGUAGE lately it's a lot of thinly-veiled $COMPANY opinions on $LANGUAGE best p
106.
▲
by
0x69420
4y ago
a good general-purpose multilingual text and graphics layout engine does in fact turn out to be a computationally harder problem than reaching the end of the solar system, sorry
107.
▲
by
0x69420
4y ago
i am in full agreement that, for instance, a shell script consisting of grep piped into sed is as deserving of being called a “program” as grep and sed themselves are it does come down to where you draw the line, though -- is a PaaS subscri
108.
▲
by
0x69420
4y ago
jamulus is positioned as a 21st century take on the conference call jam session; it has a vaguely skeuomorphic mixer like you'd see in a DAW and so on. sonobus on the other hand is a lot more application-agnostic in its presentation
109.
▲
by
0x69420
4y ago
perhaps they meant something like “hmm, couldnt streaming copyrighted music using this app constitute a violation of rightsholders' intellectual property?”, which, on the one hand: haha; on the other hand: lmao
110.
▲
by
0x69420
4y ago
"Part of the myth is thinking that packaging is technology. [...] Microsoft Windows is packaging and conventions. The Macintosh is packaging and conventions. The World Wide Web is packaging and conventions. Underneath these wrappers ar