reuben364

9 ms·

61.
by reuben364 3y ago
Stupidly Malfunctioning At cRitical Times. Needs some workshopping.
62.
by reuben364 3y ago
Reminds me of Edward Kmett's talks on monoidal parsing in which he has Dyck languages as an example. I'm confused about the need for "linear types", unless you mean a monoid. I'm not sure of a use case where you wou
63.
by reuben364 3y ago
I'm sure that holds for most people. However I'm not exactly attached to the idea of being alive. If I'm dead I naturally wouldn't have any thoughts on the matter. Dying however does scare me.
64.
by reuben364 3y ago
'can be considered "constitutional"' is a function of the persons interpretation. Is it not the case that whether a law passes is affected by the interpretations of 'can be considered "constitutional"&#x27
65.
by reuben364 4y ago
I think a slightly dark pattern of making a "Yes" more visible (or default on enter in a CLI like Y/n) is an acceptable compromise. Informed consent, but biased.
66.
by reuben364 4y ago
At most it's an error of 'a-b' not in scope. Unless you have dynamic scoping or somehow have a variable 'a-b' and also want to perform 'a - b'. I think the rule that binary operators must be separated by s
67.
by reuben364 4y ago
As far as I recall Meta's Galactica has special tokens to mark working out which can include python code and can run the code during inference to get a result.
68.
by reuben364 4y ago
I wonder if AppleTV's atrocious single-line onscreen keyboard fits into this picture of making things less discoverable, or if it's just an extreme of form over function.
69.
by reuben364 4y ago
The transition from accountability to predictability was rather unmotivated. I guess accountability is a strategy of optimization. You want to identify when sufficient gains can be made by unilaterally adjusting the process of an individual
70.
by reuben364 4y ago
As a South African, I have a engineer friend working for a company that does solar for places like retail complexes. They have a lot of business. Also there is a widely used app for load shedding timetables called "EskomSePush" wh
71.
by reuben364 4y ago
For the StrategyWithSetup example, my FP oriented brain would create another function: withSetup :: IO c -> IO d -> (a -> IO b) -> a -> IO b withSetup mc md f = \ a -> do mc b <- f a md
72.
Show HN: Paragrai – add paragraphs to badly formatted web novel translations(github.com)
4 points by reuben364 4y ago|0 comments
73.
by reuben364 4y ago
If that's the reasoning, then hiding add-ons not ratified for mobile behind a flag that normal users won't ever touch should be an acceptable solution.
74.
by reuben364 4y ago
Is this meant to be a reply to the above comment? My thoughts are as follows: If one can decompose one's subjective experience into an agent and the environment it interacts with, then there are several variations I can think of: - Th
75.
by reuben364 4y ago
But it's always unknowable. The only consciousness/suffering one truly knows is one's own. We just use heuristics like "this human/animal behaves like I do when suffering". Where we draw the line is completely
76.
by reuben364 4y ago
- Web interface is not supported on Firefox, last I tried. I try and avoid installing native clients for occasional uses.
77.
by reuben364 4y ago
In the proof assistants I'm familiar with, such as Lean and Coq, you can write tactics which generate proofs for a goal and potentially produce more subgoals. However there isn't a "one size fits all" tactic for these ga
78.
by reuben364 4y ago
Single-argument doesn't capture the difference between functor and applicative. ex1 :: Functor f => f (Int, Int) -> f Int ex1 = map (uncurry (+)) Applies a multi-argument function within a functor. What applicative allow
79.
by reuben364 4y ago
There is also nix-straight, which is used in nix-doom-emacs, although it is fairly limited and takes ages to build when you make any changes.
80.
by reuben364 4y ago
I have a combination microwave/conventional oven with capacitive buttons as well as a dial for temperature. You can only use the buttons to adjust the timing for the microwave in 10-second increments, leaving the dial completely unused
81.
by reuben364 5y ago
See: this ad from Gov Parson in response to a disclosure about a state website leaking social security numbers of teachers https://m.youtube.com/watch?v=9IBPeRa7U8E
82.
by reuben364 5y ago
Now this comment can neither agree nor disagree. Barber shaving their own head and such. EDIT: now I realize not really since the above being false doesn't force me to agree.
83.
by reuben364 5y ago
The stylus I'm using operates independently from the capacitive touchscreen and is presented as a separate input device by libinput. The stylus needs external power and the input reports not just xy, but z coordinates. Physically I am
84.
by reuben364 5y ago
I've had a few issues (NixOS, sway). Mainly screen capture. XWayland apps can record windows, but not my whole screen. Wayland apps can record my whole screen but not individual windows. I also don't know how to get XWayland to ma
85.
by reuben364 5y ago
I've managed to get the compiler to typecheck const x: Thing = exprA; const y: Thing = exprB; const z = [x, y]; but somehow not: const z: Thing[] = [exprA, exprB]; although exprA and exprB were pretty nasty typing wis
86.
by reuben364 5y ago
As all types in Haskell are inhabited by undefined , any type can be made an instance of a typeclass. True type equality. {-# LANGUAGE GADTs, MultiParamTypeClasses, FlexibleInstances #-} data Eq a b = (a ~ b) => Eq class Revo
87.
by reuben364 5y ago
I understand envy to be more about what others have in relation to you, rather then what they have in relation to their past selves.
88.
by reuben364 5y ago
computerTemperatureWhenFire :: IO (Maybe Double)
89.
by reuben364 5y ago
A human being doesn't solve the halting problem either.
90.
by reuben364 5y ago
Anything using = for a relation that is not symmetric is cursed IMO. More generally, any relation using a symbol that is visually vertically symmetric should be symmetric.

More ›