Top Tweets for #Programminglanguages
1/ Elixir v1.20 just crossed a line most dynamic languages never cross gracefully:
it is now gradually typed without asking developers to rewrite their code with annotations.
That is a much bigger deal than a normal language release. #Elixir #ProgrammingLanguages
2/ The first milestone is type inference + gradual type checking for every Elixir program.
The compiler can now report dead code and “verified bugs” — type violations that are guaranteed to fail at runtime if that path executes.
No type signatures required.
That last sentence is the whole strategy.
3/ The interesting design choice is `dynamic()`.
In many gradual systems, the escape hatch behaves like “anything goes.”
Elixir’s `dynamic()` is different: it preserves compatibility, but still narrows through ordinary code paths.
Guards, pattern matches, clauses, maps, tuples, and conditionals become sources of type information. #TypeSystems
4/ Example of the direction:
If one clause handles `nil`, the next clause can be narrowed to the non-nil case.
If a guard proves a tuple has at most two elements, accessing element 3 can be flagged.
If a map is checked for a key, later access can be typed more precisely.
The language is mining information from code developers already write.
5/ That is why this release matters beyond Elixir.
Most mature dynamic ecosystems have the same problem:
- too much legacy code
- too much runtime behavior
- too much productivity tied to flexibility
- too much risk in bolting on a “static rewrite” story
Elixir v1.20 takes the more pragmatic route: make the compiler smarter before making developers louder. #OpenSource
6/ There are still real migration details: v1.20 requires Erlang/OTP 27+, is compatible with OTP 29, and the type system is still at its first development milestone.
But the architectural signal is clear.
The future of dynamic languages is not “no types” vs “static types.”
It is compilers extracting more truth from normal code, then surfacing it only when it prevents real bugs. #SoftwareArchitecture
Anker's new earbuds feature an AI chip that improves noise reduction and voice commands.
Read more: https://t.co/IeO3A1Q4ZI
#technews #codingbootcaps #tech #softwaredevelopment #programminglanguages #onlinecoding #fullstack
International Journal of Programming Languages and Applications ( IJPLA)
ISSN : 1839-6291
https://t.co/g8Qe8qxxVn
Contact us
Here's where you can reach us : [email protected] (or) [email protected]
Submission Link
https://t.co/7LGFbXiBgr
#ProgrammingLanguages
Java vs Python: Which Should Beginners Learn First in 2026? https://t.co/8dO9M4MHZI
#Java #Python #LearnToCode #CodingForBeginners #ProgrammingLanguages #JavaDeveloper #PythonDeveloper
Read the full blog here: https://t.co/gHJEoACwke
#WebDevelopment #ProgrammingLanguages #AppDevelopment #TechChoices
¡Serez-Code 2.0 ya está acá! 🤪
Un lenguaje indie hecho 100% en Rust, sin GC, con Region Based Memory y súper FÁCIL de probar y GRATIS.
¿Listo para probar algo nuevo?
Repo: https://t.co/OisUYcBUrR
Instalador: https://t.co/ThBE0dBwMP
#SerezCode #ProgrammingLanguages #Rust #IndieDev #MadeWithRust #DevIndie
Meta’s Ray-Ban Display glasses now support virtual writing and immersive video capture.
👉 Read more: https://t.co/l6vETNjojl
#technews #codingbootcaps #tech #softwaredevelopment #programminglanguages #onlinecoding #fullstack
Call For Papers...!
International Journal of Programming Languages and Applications ( IJPLA)
https://t.co/g8Qe8qxxVn
Contact us
Here's where you can reach us : [email protected] (or) [email protected]
Submission Link
https://t.co/7LGFbXiBgr
#ProgrammingLanguages
Rust vs Go for Backend Development: Which One Wins in 2026 https://t.co/1mj6znHhrz #Rust #Go #BackendDevelopment #ProgrammingLanguages #SoftwareDevelopment
C and C++ are two of the most influential #programminglanguages in the world of #software #development.
Whether you choose #C or #C++, both #languages continue to power some of the world’s most critical #technologies and high-performance systems.
Visit:
https://t.co/vqh4av1EGT
Python Mega Course: Build 20 Real-World Apps and AI Agents - Learn Python from Beginner to Pro. Build 20 Real-World Apps with Python Including AI Agents with LangChain 1.
👉 https://t.co/yXlEA0kxfo
#Development #ProgrammingLanguages #Python #Udemy
Announcing Vow: a programming language for AI agents, not humans.
"The language is not for you. Yours is only the product, plus the vow that it behaves."
Self-hosted. Contracts verified by ESBMC.
https://t.co/2Yu8oFKL4A
#agenticcoding #formalverification #programminglanguages
"Three camps alike in dignity," by me for Negroni Venture Studios. Seventeen programming languages designed for AI agents have appeared in six months. They disagree about everything except the diagnosis. I catalogued them. #AI #ProgrammingLanguages #Vera https://t.co/OxuuUjV6kn
Love trackpoints? Meet Bean - the new take anywhere mouse from Ploopy.
Read more: https://t.co/goEE7Opdmf
#technews #codingbootcaps #tech #softwaredevelopment #programminglanguages #onlinecoding #fullstack
In just 3 minutes and 7 lines of code, you can implement a simple programming language! 🚀 Dive into the power of minimalism and see how concise coding can unleash creativity. Ready to code your own language? Let's get started! #Coding #ProgrammingLanguages
Nifty:
“All Of The String Types”, Lemon Donnell (https://t.co/kNCOCq1FsC).
Via Lobsters: https://t.co/G0AGMl8Ikc
#Programming #PLDI #String #ProgrammingLanguages #Unicode #UTF8 #Characters
Last Seen Hashtags on Sotwe
park sex . video
public
Seen from Peru
ReputationTourMNL
Seen from United States
سیسی_کپشن
GuardiansofTomorrow
Seen from Brazil
sonrisasimpagables
Seen from Sweden
teenagegirls #nolimit #teen #anyage
Seen from Brazil
bursacd
Seen from Turkey
villagegay
Seen from India
นวดกาฬสินธุ์
Seen from Thailand
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.7M followers
Narendra Modi
@narendramodi
106.9M followers
Rihanna
@rihanna
97.2M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.5M followers
KATY PERRY
@katyperry
86.7M followers
Taylor Swift
@taylorswift13
80.5M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.3M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.4M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
60.9M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers