#dsls — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dsls, aggregated by home.social.
-
ИИ — это революция в создании мини-языков и DSL
Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?
-
ИИ — это революция в создании мини-языков и DSL
Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?
-
ИИ — это революция в создании мини-языков и DSL
Многие программисты считают создание собственного языка программирования чем-то типа вершины возможного творчества. Но не потому что это требует насмотренности и развитого дизайнерского чутья, а потому что это просто технически сложная задача, требующая многих часов работы редких по интеллекту людей. Но теперь, кажется, это больше не так. А как?
-
ИИ — это революция в создании мини-языков и 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/
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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 -
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 -
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 -
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. -
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. -
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. -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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
-
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
-
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
-
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 -
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 -
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 -
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
-
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