redbar0n

8 ms·

31.
by redbar0n 2y ago
github link on the landing page seems to have been fixed, and leads to that repo now.
32.
by redbar0n 2y ago
The added value is crossplatform compatibility with SSR, and HMR, all using Vite as the single bundler on all platforms. They baked in their vxrn.dev project to get off of Metro and forked Expo Router to do that. Since Expo Web has a large
33.
How I would do auth (by pilcrow, Lucia author)(pilcrowonpaper.com)
1 points by redbar0n 2y ago|0 comments
34.
by redbar0n 2y ago
If you like Lisp I presume you would prefer Datalog over SQL, as that is used in the Clojure related database Datomic. Datalog is much more elegant and composable than SQL.
35.
by redbar0n 2y ago
«Absence of evidence is not evidence of absence», seems to apply here.
36.
by redbar0n 2y ago
There’s a good response to this article here: https://news.ycombinator.com/item?id=40536581
37.
by redbar0n 2y ago
`bend` is a convenience syntax that "just creates an in-place recursive function, immediately calls it with an initial state, and then assigns the end result to a local variable" ... "in a single statement, rather than needin
38.
by redbar0n 2y ago
Thanks for a masterfully written article, with an excellent overview of the problem and the language design choice. It makes sense to have to opt-in to floats for performance in domains like scientific computing or graphics (where silent pr
39.
From Logic to Functional Logic Programs (2022 Paper)(arxiv.org)
8 points by redbar0n 2y ago|1 comments
40.
by redbar0n 2y ago
Background: While predicate logic (first-order logic) provides the logical foundation for logic programming (Prolog etc.) and databases, functional programming is based on the different formalism of the lambda calculus. There are proposals
41.
by redbar0n 3y ago
Maybe combined with biometrics like FaceID?
42.
by redbar0n 3y ago
Passkeys?
43.
by redbar0n 3y ago
That’s very funny satire! Released over a year after Braid.
44.
by redbar0n 3y ago
I couldn’t tease out from his tweets if he meant that every object in the game was comprised of particles like some kind of VOXEL game or whatnot. If the whole rewind system was based on particles? «Waaaay back in 2010 I gave a talk at the
45.
The unique algorithm behind rewind in Braid(twitter.com)
44 points by redbar0n 3y ago|14 comments
46.
by redbar0n 3y ago
Feedback from a friend who lives in the very West Mongolia who read this article: " This concerns mostly East Mongolia, and it can be a good thing for the nature, even though it is disastrous for many shepherds/herders. It's
47.
by redbar0n 3y ago
Freedom of speech is irrevocably tied to how information actually spreads in a society. Inhibiting someone from accessing the superhighways of information is effectively suppressing their speech. In practise, if not in pedantic principle. I
48.
Technocensorship: When Corporations Serve as a Front for Government Censors(a.devs.today)
72 points by redbar0n 3y ago|26 comments
49.
by redbar0n 3y ago
Expected JIRA to be a worst offender, tbh. In any category, really.
50.
by redbar0n 3y ago
I think he means ‘should be’, and then goes on to show that it in reality isn’t.
51.
by redbar0n 3y ago
«In 1889, Charles H. Duell was the Commissioner of US patent office. He is widely quoted as having stated that the patent office would soon shrink in size, and eventually close, because… “Everything that can be invented has been invented.”»
52.
by redbar0n 3y ago
then you can go further, ask perplexity.ai to: use the documentation at https://www.crockford.com/misty/actors.html to show an actor code example
53.
by redbar0n 3y ago
to see how the language (likely) looks like, try this input into perplexity.ai : show me the 3 simplest examples of rosettacode implemented in crockford's misty programming language
54.
by redbar0n 3y ago
Since the type is inferred, why can't the module name by convention be inferred from the data type in pipe operations? So instead of: ["a", "b", "c"] |> List.append "d" |> List.append &quot
55.
by redbar0n 3y ago
Even coming from Ruby, which uses snake_case, I've come to prefer camelCase over both snake_case or kebab-case. Since camelCase compacts more into a single token (separating it from what comes after), and it better passes the squint t
56.
by redbar0n 3y ago
Carp - https://github.com/carp-lang/Carp - "A statically typed lisp, without a GC, for real-time applications." where it's "Ownership tracking enables a functional programming style while still usin
57.
by redbar0n 3y ago
Yes, it was exceptionally well written and argued! Did you find any of the arguments faulty, or lacking counterweight? Or do you just weigh some drawbacks less harshly so you want some of the features they decided against?
58.
by redbar0n 3y ago
Lol. But it beats Scissors. :)
59.
by redbar0n 3y ago
But then you effectively won’t be able to build on what you already have? Or, you’d have to continue expanding the old code using only the old language/methods (here: JS instead of TS).
60.
by redbar0n 3y ago
They realized so many things!

More ›