instig007

8 ms·

1.
by instig007 4mo ago
> but does it require installing nix on mac? yes: sh <(curl --proto '=https' --tlsv1.2 -L https://nixos.org/nix/install) https://nixos.org/download/ > also many people ar
2.
by instig007 4mo ago
> cabal build --platform=amd64 It's almost a one-liner + a nix derivation import, works within a minute on incremental builds even on large projects: https://input-output-hk.github.io/haskell.nix/tutorials/
3.
by instig007 4mo ago
> But you want to focus on one end of the spectrum? Have you actually checked the contents of the channels? Despite the naming, they do provide a full spectrum. You won't see the Mayfair-Knighstbridge side of things though, as these
4.
by instig007 4mo ago
Don't trust BBC, they are the state propaganda machine. Draw your own conclusions, there's plenty of UK-based channels that provide the current footage from towns and cities around the country. https://www.youtube.com&#
5.
by instig007 5mo ago
> Generic over what? Generic over whatever you decide to compose out of smaller parts into a full algorithm that doesn't produce transient buffered results. Transducers is a dead end of abstractions, they aren't applicable anyw
6.
by instig007 5mo ago
> I said "Clojurians engage with diverse ideas pragmatically". then you said nothing and contributed nothing to your points, as everybody else "engage with diverse ideas pragmatically". It also so happened that engagi
7.
by instig007 5mo ago
> Every type system, schema library, and validation tool in every language is in some sense "patching" the lack of built-in guarantees. > Spec isn't even so much about patching - it's about runtime generative testi
8.
by instig007 5mo ago
> so you're saying "had it existed, you'd get the same thing", you're describing a different language. that's not what I'm saying. I'm saying that Haskell doesn't have it because it's a u
9.
by instig007 5mo ago
They used to say the same thing about text, it turned out that after all training the best thing they could achieve is the `ccc` compiler.
10.
by instig007 5mo ago
> clojure.spec Tape-patches for self-inflicted language design issues isn't innovation, lol
11.
by instig007 5mo ago
Why do you eliminate a library-based solution from the equation if it can actually prove the point that there's no difference in intent as long as my runtime is already lazy by default? > It is not. Take a transducer like `(comp (fi
12.
by instig007 5mo ago
> Haskell's laziness gives you fusion-like memory behavior on lists for free. Haskell laziness & fusion isn't limited to lists, you can fuse any lawful composition of functions applied over data with the required lawful ins
13.
by instig007 5mo ago
> It goes beyond a foldable, can be applied to streams. > Clojure had foldables, called reducers, this was generalized further when core.async came along - transducers can be attached to core async channels and also used in places whe
14.
by instig007 5mo ago
You get this for free in Haskell, and you also save on not having to remember useless terminology for something that has no application on their own outside Foldables anyways.
15.
by instig007 5mo ago
As everybody knows, key strokes and mouse movements are the things that solve problems, definitely the data worth capturing for AI training.
16.
by instig007 5mo ago
As everybody knows, key strokes and mouse movements are the things that solve problems, definitely the data worth capturing for AI training.
17.
by instig007 5mo ago
> Token density If you really cared about that, you wouldn't have picked Rust. Nim or Haskell are terser languages. > Every language we’ve built defaults to sequential execution with parallelism bolted on. False and misleading st
18.
by instig007 5mo ago
Just juggling with balls in the air gets boring very quickly, and the added numbers don't make it much different. Learning statics and flows from contact juggling, but performing them with standard juggling balls is so much more fun. A
19.
by instig007 6mo ago
He argued against putting things in a spectrum in many instances where that would be wrong, including the case under the question. What's your argument against that idea? LLM'ed too much lately?
20.
by instig007 6mo ago
Re. "CAD/BIM", technically speaking CAD doesn't imply BIM, and the industry's promotion of BIM is akin to AI promotion among software engineering teams - the benefits aren't clear upon detailed review of the ad
21.
by instig007 6mo ago
Generalizing with "everything", "all", etc exclusive markers is exactly the kind of black/white divide you're arguing against. What happened to your nuanced reality within a single sentence? Not everything is b
22.
by instig007 6mo ago
I find the other article that the author refers to in his text, to be more thorough and revealing: https://www.wheresyoured.at/the-ai-industry-is-lying-to-you/
23.
by instig007 6mo ago
The industry will adapt quickly, especially the part that's using multiplatform mainstream engines like UE/Unity. Lots of new/recent native MacOS releases nowadays: https://store.steampowered.com/macos
24.
by instig007 6mo ago
He had better spend $250k worth of tokens on it
25.
by instig007 6mo ago
if you don't find currying essential you haven't done pointfree enough. If you haven't done pointfree enough you haven't picked equational reasoning yet, and it's the thing that holds you back in your ability to rea
26.
by instig007 6mo ago
if only there was a difference between native languages aiming at lossy fluency (feels better) and programming languages aiming at deterministic precision.
27.
by instig007 6mo ago
> I feel the successful OS projects will be the ones embracing the change You'll have to embrace the `ccc` compiler first, lol
28.
by instig007 6mo ago
game theory doesn't expand into continuous rounds of interactions over the course of a lifetime where previous rounds' outcomes are either reset or persist based on other actors entering the game from the open world, so it really
29.
by instig007 6mo ago
> It's more about the full IO stack than just making Python faster. Does it mean that your db adapter isn't necessarily DBAPI (PEP-249) compliant? That is, it could be that DBAPI exception hierarchy isn't respected, so tha
30.
by instig007 6mo ago
> But infrastructure stuff like SQL generation, connection pooling, and row serialization is where a systems language makes sense. not really, what makes sense is being JIT-able and friendly to PyPy. > Type safety was a big motivation

More ›