Found multiple real bugs in #AshFramework from this, and one of my monolithic applications went from 2 minutes full compile to 1 minute. This is a huge win for our CI pipelines, our agentic flows, and our developer productivity. Every time they release a new #ElixirLang version, we get:
- zero or effectively zero churn/breakages of import
- faster builds
- more correct programs
#ElixirLang ride or die.
This is amazing — Elixir is has now officially achieved gradual typing.
Not only is this valuable for Elixir projects but it’s a genuinely innovative approach that’s interesting from a computer science and language design perspective.
@PlayGuildWars3 Ansiedade a mil para Guild Wars 3! ⚔️ Mas uma dúvida: teremos suporte ao Português Brasileiro (pt_BR)? Vi que não consta na página da Steam e seria incrível poder aproveitar o jogo no nosso idioma desde o primeiro dia. O que vocês podem nos dizer sobre isso? #GuildWars3#GW3
Announcement: https://t.co/Ok2Dyq330h
Tyler Young said this release found ~500 violations in their codebase: https://t.co/4hs9w1Qw4r
The @remote folks reported this release compiles their codebase more than 4x faster: https://t.co/Yn5jgHkto7
Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a faster compiler! Links and reports below.
An early beta of Grok Build, an agentic CLI for coding, building apps, and automating workflows is now available for SuperGrok Heavy subscribers.
Through this early beta, we will improve the model and product based on your feedback.
Try it at https://t.co/bpTHpjivWD
At this point, this is just irresponsible.
Yes, coding agents are leading to an increase of software production, but we are not seeing a similar push or increase in software quality.
If Anthropic focuses on safety and it believes software engineering is going away, then it needs to be doing much more to improve how we design, build, test, and maintain software (aka software engineering). Increasing the production of unreliable, poorly designed, and unverified software directly undermines safety.
Claude Code is claimed to be "fully written by AI". In the last two months, it took three separate postmortem-worthy failures and user complaints to surface what their own testing missed. Yesterday users were being over billed by hundreds of dollars. Software engineering isn't ready to go away and there is not enough progress to argue that case.
I am certain Anthropic would argue that AI progress in other domains is strongly dependent on having proper safeguards in place. I can't wrap my head around the cognitive dissonance when it comes to software.
PS: Mythos (may) improve software security, but that is only a subset of safety.
Do you use Odin commercially? Whether running a business or building a commercial application or game?
We'd love to feature you on the official Odin Programming Language Website.
Reach out at [email protected] or directly on Twitter/X.
SpaceXAI and @cursor_ai are now working closely together to create the world’s best coding and knowledge work AI.
The combination of Cursor’s leading product and distribution to expert software engineers with SpaceX’s million H100 equivalent Colossus training supercomputer will allow us to build the world’s most useful models.
Cursor has also given SpaceX the right to acquire Cursor later this year for $60 billion or pay $10 billion for our work together.
The Linux Foundation is proud to partner with Anthropic to reduce the security burden on open source software maintainers. Together, we are putting powerful AI cybersecurity capabilities directly into the hands of those who secure the infrastructure the world runs on.
Nix is the best way to manage system dependencies (whether with home-manager or NixOS)
It's so much easier to retain a lightweight system when you can see and edit which programs, packages, and services are managed in one place
really can't understate how much of a delight it is to use Odin.
Every gripe that comes with working in C is addressed and a plethora of new well thought ideas make it incredibly robust and powerful to use.
"Proton reads incoming mail in transit"
NO, Proton Mail does not inspect your incoming emails while they are in transit.
Breakdown:
In transit: Inbound emails arrive over TLS encryption (STARTTLS/SMTPS) from the sender's server to Proton's. The server-to-server connection is encrypted, so Proton cannot decrypt or read the content mid-transit.
On arrival at Proton servers:
- Proton-to-Proton: Full end-to-end zero-knowledge encryption from the start (Proton never sees content).
- Non-Proton inbound (e.g. Gmail): TLS delivers plaintext to Proton's edge there's a brief in-memory scan for spam/viruses/malware (temporary server access) then immediately encrypted with zero-access storage using your key.
Per Proton's privacy policy: "Such inbound messages are scanned for spam in memory, and then encrypted and written to disk. We do not possess the technical ability to scan the content of the messages after they have been encrypted."
So there's no ongoing reading or post-encryption access, but a brief plaintext window for filtering on non-E2E inbound emails.