greener_grass

4 ms·

31.
Pan – experimental language for image synthesis and manipulation(conal.net)
2 points by greener_grass 11mo ago|0 comments
32.
by greener_grass 11mo ago
This is what F# provides. F# has a similar whitespace syntax to Python, but is statically typed and can be compiled AoT. Bubble sort Python: mylist = [64, 34, 25, 12, 22, 11, 90, 5] n = len(mylist) for i in range(n-1):
33.
by greener_grass 11mo ago
Decorators are just function application with more syntax.
34.
by greener_grass 1y ago
Result is great but it ideally needs extensible union types (polymorphic variants) plus exhaustive pattern matching to work well.
35.
by greener_grass 1y ago
It exists, but as a Haskell library called Reflex . This is why it didn't gain traction ;)
36.
by greener_grass 1y ago
It does just seem to be "down". But such is that state of the UK that I had simply assumed the government had censored it. Remarkable how quickly expectations have shifted.
37.
Composable Error Handling in OCaml (2018)(keleshev.com)
2 points by greener_grass 1y ago|0 comments
38.
by greener_grass 1y ago
If we depend on less then we are capping what we can build to only what we can write and manually integrate. This is dis-empowering.
39.
by greener_grass 1y ago
In an alternate reality maybe Creative went from Audio cards to MP3 players to Smartphones and GPUs
40.
by greener_grass 1y ago
LLM generated variable names would be nice!
41.
by greener_grass 1y ago
More people who are not traditionally programmers are now writing code with AI assistance (great!) but this crowd seems unlikely to pick up Clojure, Haskell, OCaml etc... so I agree this is a development in favor of mainstream languages.
42.
by greener_grass 1y ago
Is this AirDrop but cross-platform?
43.
by greener_grass 1y ago
The designer of the type must manually ensure exhaustive checking but then consumers will be forced to do exhaustive matching. It's not that bad in practice.
44.
by greener_grass 1y ago
I love this sentiment: > There should be one-- and preferably only one --obvious way to do it. But I often don't think the Pythonic way is a very good way to do it. And this leaves you a bit stuck!
45.
by greener_grass 1y ago
Does `pip-compile` solve deps and transitive deps? I thought it only locks down hashes?
46.
by greener_grass 1y ago
If you write out `requirements.txt` by hand, do you also need to resolve deps and transitive deps by hand? This is what pushed me to use Poetry.
47.
by greener_grass 1y ago
Does ML have do notation? In ML do you need to write `List.map` where in Haskell you can write `map` and it infers the type?
48.
by greener_grass 1y ago
UV looks very promising but I can assure you, if everyone adopted it tomorrow we would see a long tail of scenarios that UV does not work well for.
49.
by greener_grass 1y ago
Rust offers a feature-set that neither Python nor C has. If Rust is the right tool for the job, I would rather the code be written in Rust. Support has more to do with incentive structures than implementation language.
50.
by greener_grass 1y ago
I suggest teaching them about the Problem of Induction [1]. Scientific thinking is not the same as mathematical thinking and it becomes quite wishy washy grey if you zoom in too far! [1] https://plato.stanford.edu/entries&#x
51.
by greener_grass 1y ago
I think there is an arbitrage going on where STEM types who lack background in philosophy, literature, history are super impressed by basic ideas from those subjects being presented to them by stealth. Not saying this is you, but these topi
52.
by greener_grass 1y ago
For any speed-runners out there: https://en.wikipedia.org/wiki/Two_Dogmas_of_Empiricism
53.
by greener_grass 1y ago
There was always an underlying Randian impulse to the EA crowd - as if we could solve any issue if we just get the right minds onto tackling the problem. The black-and-white thinking, group think, hero worship and charicaturist literature
54.
by greener_grass 1y ago
Do you think Unison will suffer the same fate?
55.
by greener_grass 1y ago
Mojo's promise is the same code, but faster. They were planning some language extensions but it's more like a compiler project than a programming language project. The truth is, most developers don't want to learn a new langu
56.
by greener_grass 1y ago
OxCaml takes a different approach to encoding locality to Rust. Rust (arguably) overburdens the type-system with this information whilst in OxCaml this is orthogonal to the return types. In that sense it's a bit like algebraic effects.
57.
by greener_grass 1y ago
- NPM could migrate to reproducible builds of artefacts - Trust could be opt-in by default - Dependency installation could be made fully reproducible
58.
by greener_grass 1y ago
So let's put every package under the sun into the client? This approach does not scale. We should make NPM better.
59.
by greener_grass 1y ago
The S3 packages on NPM are maintained by AWS
60.
by greener_grass 1y ago
Can someone explain the advantage of this? If I want S3 access, I can just use NPM If I don't want S3 access, I don't want it integrated into my runtime

More ›