Dafny: Verification-Aware Programming Language
#HackerNews #Dafny #Verification-Aware #Programming #Language #Programming #Languages #Code #Verification #Software #Development
Original painting made by Mab Graves
RE: https://mastodon.tetaneutral.net/@bikepunk/115696721009079601
WAIT!
how exactly do y’all pronouce axolotl in English?
i don't even bother with the correct pronunciation in nahuatl. i just know them as GUAJOLOTES (if you know El Chapulín Colorado or Cantiflas, you know) and that's what i call them.
EDIT:
in spanish, that X is pronounced as a castillian jota (J). it’s equivalent is the english H. but, technically, that X is more of a SH sound in nahuatl. there’s really no hard X (xk) sound in Spanish.
Dario Castañé 🏴☠️⁂
boosted
Linguists start compiling the first ever complete dictionary of ancient Celtic.
More than 1 000 words used as far back as 325BCE will be collected for insight into a past linguistic landscape.
The vast majority of the material has been lost in the mists of time. But the remnants of a language spoken in parts of the UK and Ireland 2 000 years ago are being collected.
#Celtic #Languages #Archaeology #Wales #Scotland #Ireland #UK #History #Science
AI may help preserve endangered languages, but without community input, indigenous and regional dialects risk disappearing from the digital world. https://www.japantimes.co.jp/commentary/2025/12/09/world/ai-wont-save-dying-languages/?utm_medium=Social&utm_source=mastodon #commentary #worldnews #chatgpt #llms #ai #languages #openai
Linguists start compiling the first ever complete dictionary of ancient Celtic.
More than 1 000 words used as far back as 325BCE will be collected for insight into a past linguistic landscape.
The vast majority of the material has been lost in the mists of time. But the remnants of a language spoken in parts of the UK and Ireland 2 000 years ago are being collected.
#Celtic #Languages #Archaeology #Wales #Scotland #Ireland #UK #History #Science
Java Hello World, LLVM Edition
https://www.javaadvent.com/2025/12/java-hello-world-llvm-edition.html
#HackerNews #Java #Hello #World #LLVM #Edition #Java #LLVM #Programming #Languages #Tech #News
Dane 🇮🇪 ☮️🕉️⚛️☸️
boosted
Nimony (Nim 3.0) Design Principles
https://nim-lang.org/araq/nimony.html
#HackerNews #Nimony #Nim3 #DesignPrinciples #Programming #Languages #NimLang
Thoughts on Go vs. Rust vs. Zig
https://sinclairtarget.com/blog/2025/08/thoughts-on-go-vs.-rust-vs.-zig/
#HackerNews #Go #Rust #Zig #Programming #Languages #Comparison
The Origins of Scala (2009)
https://www.artima.com/articles/the-origins-of-scala
#HackerNews #Scala #Origins #Scala2009 #Programming #Languages #TechHistory
Sylvia Wenmackers 🦉🍀
boosted
Sooooo... thinking about the possibility and feasibility of big life changes, namely studying opera seriously in Europe. Would love to connect with other #Blind language learners, especially those using #braille as a component of their learning. Currently learning #French. Am particularly interested in chatting with people who have taught themselves grade 2 French Braille as well as those who are either conversational or fluent and/or who have worked in or currently live in a #Francophone European country. If this is you or you're in any way adjacent to this world, please reach out. Would love to talk to you. Would also love to chat with people who use #MusicBraille / #BrailleMusic in Europe.
#Francophonie #ClassicalMusic #Opera #LanguageLearning #Languages #Français #LowVision #VisuallyImpaired #BlindMasto #BlindMastodon #BlindFedi @mastoblind
PS: if I missed any hashtags or groups, please let me know and I'll add them.
Sooooo... thinking about the possibility and feasibility of big life changes, namely studying opera seriously in Europe. Would love to connect with other #Blind language learners, especially those using #braille as a component of their learning. Currently learning #French. Am particularly interested in chatting with people who have taught themselves grade 2 French Braille as well as those who are either conversational or fluent and/or who have worked in or currently live in a #Francophone European country. If this is you or you're in any way adjacent to this world, please reach out. Would love to talk to you. Would also love to chat with people who use #MusicBraille / #BrailleMusic in Europe.
#Francophonie #ClassicalMusic #Opera #LanguageLearning #Languages #Français #LowVision #VisuallyImpaired #BlindMasto #BlindMastodon #BlindFedi @mastoblind
PS: if I missed any hashtags or groups, please let me know and I'll add them.
GCC SC approves inclusion of Algol 68 Front End
https://gcc.gnu.org/pipermail/gcc/2025-November/247020.html
#HackerNews #GCC #SC #Algol68 #FrontEnd #Programming #Languages #Compiler #Development
#English native speakers: how is 42km/h a "strong breeze" and not some kind of "wind"? Or is it a mistranslation from #Norweigian / #norsk ?
GitHut – Programming Languages and GitHub (2014)
#HackerNews #GitHut #Programming #Languages #GitHub #2014 #TechTrends #OpenSource
Things I don't like in configuration languages
https://medv.io/blog/things-i-dont-like-in-configuration-languages
#HackerNews #Things #I #like #in #configuration #languages #configuration #languages #programming #software #development #tech #critique
GCC 16 considering changing default to C++20
https://inbox.sourceware.org/gcc/aQj1tKzhftT9GUF4@redhat.com/
#HackerNews #GCC #C++20 #programming #languages #tech #news #software #development