Great article - thanks for sharing.
I was having similar thoughts. Devs are so used to (even love) adapting their tools (e.g. vim/IDEs, shells, themes, snippets, etc, etc) that many just double down on LLMs.
It's unavoidable but, in this case, is rather sad.
Actully studying TLA+ using lectures by one and only Leslie Lamport is a lot if fun!
The classics of CS just have that special something!
lamport.azurewebsites.net/video/videos...
Very nice research direction!
But why is it even reasonable to assume that LLMs can "learn" an algorithm? Not just in the sense of "context" that results from an algorithm's description (or samples of its application), but as a methodology?
I don't know - it all feels scummy to me. A bit of searching around doesn't reveal an reputable source.
Cybernews, who supposedly found it, is a typical "ads driven portal", IMHO.
They talk about their research team, but otherwise have no factual blog posts, etc. that confirm its existence.
Sounds really interesting!
Dumb question, if I may.
Is the idea of "anonymity",when issuer and redeemer are the same entity, to enable "oracle" like verifications? I.e. one gets a credential, presents it to a 3rd party and that 3rd party then check the cred's validity with the issuer?
Rust does make NIF integration API usage both easier and robust. So it's a win.
Another aspect of "safeness", IMHO, is the amount of underlying C/C++ code.
In BEAM it's quite significant. It's well tested, but still, things can go wrong...
Nice talk. However, I really don't agree with their assessment of and positioning of Rust.
Yes, one can easily use unsafe scope, but it's really an exception and doesn't integrate easily with the rest of the code.
I'm actually developing something now using both Elixir and Rust.
Important topic!
That's neat! I didn't realize that flox was nix based.
So you are competing with e.g. devenv?
The analyst's note must have written with the help of an LLM :)
042?
any tips?
"If you wait until the last possible NIST-approved date before you retire algorithms, then you’re a cryptographic jackass."
#CRYTOGRAHY
chasingcyber.com/p/the-winds-...
Perhaps new approach is needed, where config settings of terminals, displays managers, etc allow easy composition?
Not a flat file, but logical, reusable blocks? Maybe that can lead to standardization across components (apps) that do similar things?
It's joy to deploy/define servers with NixOs.
And it's a pain, IMHO, to define a personal workstation.
The former is an utility - easy to define what it does.
The latter is (usually) an evolution. Iterations on Desktop settings are not natural with a declarative config.
🧵
The "Einstellungseffekt" makes it hard though to anticipate/recognize "easy" solutions to the orchestration challenges.
I'm wondering, whether it's possible to build a full featured solution on top, which'll be a lot simpler than K8S in the end.
Thanks for highlighting this talk! The idea is really powerful and, in hindsight, quite natural in the NixOs world.
It kind of goes in the direction of fly.io - deploying and orchestrating micro VMs vs containers.
OMG, finally!
Especially considering that I was explaining the inner workings of KERI/ACDC :)
If anyone is curious here's the repo github.com/vasiliys/ker...
Elixir's Livebook is life saver when it comes to demoing and explaining technical concepts. I had to do two technical deep-dives today for a mixed audience and it wouldn't have worked without it!
#ElixirLang
I thought I was fully comfortable with Vim, until I discovered that by default 'backspace' setting is empty. Meaning that all of a sudden your backspace key goes weird in insert mode.
Frustrating when editing generated 'configuration.nix'. 'set backspace=indent,eol,start' and all is good again :)
One of the unsung heroes of Bluesky’s success is @dominictarr.bsky.social, whose Scuttlebutt protocol was an inspiration for @pfrazee.com (the first dev to join Dominic in 2014). Some of those P2P learnings from Scuttlebutt eventually made their way to Bluesky. thenewstack.io/how-bluesky-...
Apparently, it's quite easy to use a local ML model to do an OCR confidentially!
www.johndcook.com/blog/2024/11...
Fairly exciting to try a social network that is really using a DID method.
I'm looking forward to try and test the theory behind AT Protocol to see if I can move to a self hosted PDS. I plan to follow the whtwnd.com/bnewbold.net... by @bnewbold.net, just need to set-up a VPS first.
I made an update recently that covers accounting for users with a self-hosted PDS. Still very high level and basic: chrismcleod.dev/blog/next-st...
the correct handle is @christophera.bsky.social :)