in my walks, every man i meet is my superior in some way, and in that i learn from him · elixir/erlang/ocaml/rust · fintech guy · learning lean and ml
A warm sea near a sunny beach
Joined April 2024
- Tweets 6,985
- Following 840
- Followers 1,056
- Likes 10,467
Not criticizing anything ever doesn't really mean you're "positive", it might mean you're tasteless and probably sorta dumb
The author seems to be trying to make something useful though and I wish them the best of luck but this is going to take a lot of work to actually get to be useful in the real world
It’s a shame bc a DT language on the BEAM would be very cool but this isn’t how you do a preview release
Unfortunately I started actually checking the code out and yeah…
I tried to give it a chance even w the ugly vibe coded language page bc the author seems to be Russian and not very articulate in English but it’s slop
The biggest problem of not understanding how the systems that make your life possible work is that you don't know what the system is optimizing for, and if your continued existence is included in that metric.
octo retweeted
what a sick diagram
i find this 1997 paper "On the dimensionality of spacetime" from @tegmark interesting not only because of the subject but also who contributed to it:
Andreas Albrecht, Dieter Maison, Harold Shapiro, John A Wheeler, Frank Wilczek and Edward Witten.
Modal editing is bad and I’m tired of pretending it isn’t
Embrace modifier keys
There's a certain grating quality to LLM-generated library docs that make me want to not engage with them.
Hence I ask an LLM to read them and ask it questions.
So more and more we've got LLMs writing text for only other LLMs to read.
octo retweeted
It's an interesting problem for theologians - we're quite literally attempting (from a religious perspective) to reverse engineer the soul after all. Fortunately, the endless debates around the nature of consciousness, qualia and intelligence in the AI and adjacent spheres do show people are taking it (somewhat) seriously, whichever side they come out on.
I'd say ensuring that open source wins out as a viable alternative is a part of this - without it, you're at the mercy of the financial interests of a few insiders, and the unknown biases created by their training.
Try to listen to the Holy Spirit as you code anon, you're a participant in Logos even when you're beating your head against your CUDA issues
Technological innovation can be a form of participation in the divine act of creation. It carries an ethical and spiritual weight, for every design choice expresses a vision of humanity. The Church therefore calls all builders of #AI to cultivate moral discernment as a fundamental part of their work—to develop systems that reflect justice, solidarity, and a genuine reverence for life.
octo retweeted
Sure, it's totally for mosquitoes and not assassinations guys why would you think that ahahaha
Tornyol (@tornyolsystems) is building micro-drones that kill mosquitoes.
They use smartphone microphones, car park assist sensors, and some clever DSP and control to transform 40-gram toy drones into mosquito killers.
Since the 80s, yields boomed in key Brazilian crops. Brazil became a major exporter.
Largely due to a few hundred smart people at a research institute, Embrapa, set up in the 70s.
What upper tail human capital can do for your nation.
I don't particularly care if it's going to happen via Rust, Fil-C or something else
I care that we've reached a place where it's not plausible anymore to say that memory safety doesn't matter and that pretty much everyone accepts that better tools will be needed to achieve it