#dsls — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dsls, aggregated by home.social.
-
🎩 Ah, another #Thoughtworks masterpiece! They’ve discovered that #DSLs are the magical glue holding up the wobbly world of #LLMs, like duct tape on a spaceship 🚀. And of course, no tech buzzword salad is complete without a sprinkle of semantic models and diagram-rich PowerPoint presentations, because who doesn’t love overcomplicating the obvious? 😂
https://martinfowler.com/articles/llm-and-dsls.html #techbuzzwords #semanticmodels #HackerNews #ngated -
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Come and work with us! [Patrik Jansson, Koen Claessen, Mary Sheeran]
We are announcing two ProgLang PostDoc positions in the FP group at Chalmers. The underlying projects funding them are flexible, meaning we can tailor the exact research to your unique strengths.
We are looking for people who want to bridge mathematical foundations and practical software development using tools like #Haskell and #Agda. Whether your expertise lies in building #DSLs, property-based testing, or interactive theorem proving, Chalmers provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance.
Some of my recent work, which could be nice to connect to, is posted here: https://patrikja.owlstown.net/posts
Deadline: 2026-08-15. Please apply, or boost to spread the ad to your networks!
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=14954&rmlang=UK#FunctionalProgramming #FormalMethods #PostDoc #AcademicJobs #TypeTheory #ComputerScience
-
𝗙𝘂𝗻𝗰𝘁𝗶𝗼𝗻𝗮𝗹 𝗔𝗿𝗰𝗵𝗶𝘁𝗲𝗰𝘁𝘂𝗿𝗲 𝗮𝗻𝗱 𝗗𝗦𝗟𝘀 𝗳𝗼𝗿 𝗕𝗲𝘁𝘁𝗲𝗿 𝗦𝗼𝗳𝘁𝘄𝗮𝗿𝗲 – 𝗜𝗻𝘁𝗲𝗿𝘃𝗶𝗲𝘄 𝘄𝗶𝘁𝗵 𝗠𝗶𝗰𝗵𝗮𝗲𝗹 𝗦𝗽𝗲𝗿𝗯𝗲𝗿 ⚙️ How can software become more flexible and maintainable? @sperbsen explains how functional architecture and #DSLs help reduce coupling and improve data modeling.
💡 Topics:
• mutable state & coupling
• better data models
• domain-specific languagesMichael will present two German-language sessions on these topics at #SAF2026.
-
ИИ — это революция в создании мини-языков и DSL
Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?
-
Ever wondered how deep #RecordPatterns go? @manojnp walks through nested matching, destructuring, & how #Java internally "unwinds" record components in switch & instanceof.
If you're designing #APIs or #DSLs in Java, this one’s for you. https://javapro.io/2025/01/15/record-patterns-building-on-java-records/
-
Had a great time presenting our paper “Domain-specific tensor languages” today at #ICFP2025 in Singapore 🇸🇬
The images attached are screenshots from the paper as teasers — diagrams for derivative rules, the Riemann curvature 4-tensor in Einstein’s index notation, and the same in diagram form.
📄 Slides: https://www.cse.chalmers.se/~patrikj/talks/2025-10_Jansson_Tensors.pdf
🎥 Earlier (longer) talk: https://youtu.be/81XurNlv5cw
💻 Code: https://github.com/jyp/linear-smc
📘 Paper: https://doi.org/10.1017/S0956796825000048
#Haskell #FunctionalProgramming #DSLs #TensorCalculus #icfpsplash25
-
New blog post just dropped! Programming Language Design in the Era of LLMs: A Return To Mediocrity? kirancodes.me/posts/log-la... #ProgrammingLanguages #LanguageDesign #DSLs
-
-
Starting at 1pm CET: Next session of #DSLS on #GlobalDigitalTransformation!
➡️ Olubukola S. Adesina with her distinguished speaker lecture on #DigitalDiplomacy and African Countries. See you soon! https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL -
Video out now ▶️ Watch Kevin Jon Heller’s incisive lecture “The Concept of ‘the Human’ in the Critique of #AutonomousWeapons” here: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series
Special Edition of #GIGA’s Distinguished Speaker Lecture Series #DSLS on #GlobalDigitalTransformation, chaired by Amrita Narlikar. -
Next #GIGA Distinguished Speaker Lecture #DSLS on #GlobalDigitalTransformation 🌐: Happy to have Olubukola S. Adesina (University of Ibadan, Nigeria) presenting “Digital Diplomacy and African Countries: Opportunities, Challenges, and Future Prospects”. Chaired Amrita Narlikar.
➡️ Join us on 12 December: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series -
Starting at 1pm CET🕐
Next session of #DSLS Special Edition on #GlobalDigitalTransformation! Join Kevin Jon Heller and @AmritaNarlikar online for lecture and discussion on the Concept of "the Human" in the critique of #AutonomousWeapons: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL -
War fought with #KillerRobots more “human” than war fought solely by humans?
Join us for Kevin Jon Heller’s distinguished speaker lecture #DSLS, chaired @AmritaNarlikar.
➡️ Register now for our online event on 15 November: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL #GlobalDigitalTransformation -
Join Kevin Jon Heller’s distinguished speaker lecture on #AutonomousWeapons & international humanitarian law #ihl in conversation with @AmritaNarlikar #GIGA #DSLS, 15 November: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL #GlobalDigitalTransformation
-
Next #GIGA Distinguished Speaker Lecture #DSLS on #GlobalDigitalTransformation🌐: Happy to present Kevin Jon Heller with his insights on “The Concept of ‘the Human’ in the Critique of #AutonomousWeapons”. Chaired @AmritaNarlikar
➡️ Join us on 15 November: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series -
Starting at 1pm CEST: Next session of #DSLS Special Edition on #GlobalDigitalTransformation! Join Jennifer Cassidy and @AmritaNarlikar online for lecture and discussion on the changing #CrisisCommunication in #ForeignPolitics, #DigitalDiplomacy: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL
-
Join us when Jennifer Cassidy discusses the changing nature of crisis communication in an age of #DigitalDiplomacy. @AmritaNarlikar chairs this #DSLS special edition on #GlobalDigitalTransformation.
➡️ Register now for this online event on 11 October: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL -
From political hashtags to social media use: #DigitalAge has changed #CrisisCommunication strategies. Join Jennifer Cassidy’s lecture on best practices for #ForeignAffairs in times of crisis. Conversation with Amrita Narlikar, #GIGA #DSLS, 11 October: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series #DigiTraL
-
Next #GIGA Distinguished Speaker Lecture #DSLS on #GlobalDigitalTransformation 🌐: Happy to present Jennifer Cassidy with her insights on crisis communication in an age of real-time governance. Chaired @AmritaNarlikar Join us: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series
-
Video out now ▶️ Watch Samir Saran’s inspiring lecture “Promise, Paroxysm, Peril: Will #DigitalSocieties Survive?” here: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series Special Edition of #GIGA’s Distinguished Speaker Lecture Series #DSLS on #GlobalDigitalTransformation, chaired @AmritaNarlikar
-
Starting at 1pm CEST: First session of #DSLS Special Edition on #GlobalDigitalTransformation! Join Samir Saran and @AmritaNarlikar online for a lecture and discussion on the future of #DigitalSocieties: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series
-
Will #DigitalSocieties survive, or are they destined for an all-too-brief future? We’re happy to have Samir Saran (ORF) as our distinguished speaker on a digitally mediated world. Chaired by #GIGA’s Amrita Narlikar.
➡️ Join online on 12 September, #DSLS: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series -
#Digitisation shaped new platforms for #SocialMobilisation, while also creating new forms of #SurveillanceCapitalism & the spread of #FakeNews. Will #DigitalSocieties survive? Join Samir Saran & @AmritaNarlikar online for #GIGA #DSLS, 12 Sep: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series
-
Promise, Paroxysm, Peril: Will #DigitalSocieties Survive?
We are honoured that Samir Saran (ORF) will open the Special Edition of our #GIGA Distinguished Speaker Lecture Series #DSLS on #GlobalDigitalTransformation!🌐 Chaired @AmritaNarlikar. Join us: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series -
Save the dates for a thought-provoking journey on #GlobalDigitalTransformation 🌐! As part of our #GIGA Distinguished Speaker Lecture Series #DSLS, 4 international experts will share their insights with us. Find info for online participation here: https://www.giga-hamburg.de/en/events/giga-lecture-series/distinguished-speaker-lecture-series
