Pawb.Social Reports @transparency

1 post1 participant0 posts today

Jeff HortonVery disturbed by an idea in a theogg video today. "The end of frameworks" and new language ideas because it won't immediately be available in the LLMs and therefore feel more difficult to use. That just feels so gross. Imagine if tech had stopped 10, 20, 30 years ago because magic autocomplete worked sometimes.<a href="https://mstdn.ca/tags/llms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#llms</a> <a href="https://mstdn.ca/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mstdn.ca/tags/frameworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#frameworks</a> <a href="https://mstdn.ca/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mstdn.ca/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a>

IT NewsTrapC: A C Extension For the Memory Safety Boogeyman - In the world of programming languages it often feels like being stuck in a Groundh... - <a href="https://hackaday.com/2025/03/11/trapc-a-c-extension-for-the-memory-safety-boogeyman/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://hackaday.com/2025/03/11/trapc-a-c-extension-for-the-memory-safety-boogeyman/</a> <a href="https://schleuss.online/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://schleuss.online/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#softwaredevelopment</a> <a href="https://schleuss.online/tags/rants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rants</a>

StoryDragon, Cursed by the CalculatorI think I like the D programming language quite well. Though I would say there are certainly still things missing, but that appears to be the case with all langs. D seems to be pretty decent, so far. <a href="https://social.storydragon.nl/tags/dlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dlang</a> <a href="https://social.storydragon.nl/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a>

Rust Weekly 🦀The problem with type aliases<a href="https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html</a>Discussions: <a href="https://discu.eu/q/https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html</a><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rustlang</a>

.:\dGh/:.The more I see Rust, Go, PHP and JavaScript, the more I wonder if I could make my own programming language with the best of each world.Of course, not in this lifetime, but may be I could start making a wishlist.<a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://mastodon.social/tags/ProgrammingLanguage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguage</a> <a href="https://mastodon.social/tags/Coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coding</a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareDevelopment</a> <a href="https://mastodon.social/tags/Rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a href="https://mastodon.social/tags/Go" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Go</a> <a href="https://mastodon.social/tags/GoLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GoLang</a> <a href="https://mastodon.social/tags/PHP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PHP</a> <a href="https://mastodon.social/tags/JavaScript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JavaScript</a> <a href="https://mastodon.social/tags/JS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#JS</a>

‹Programming› 2025If you are researching <a href="https://mastodon.social/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programmingLanguages</a>, submit to the <a href="https://mastodon.social/tags/SCLIT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SCLIT</a> workshop at <a href="https://mastodon.social/tags/prog25" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#prog25</a>Submission deadline: March 7, 2025The workshop aims to provide a forum for research in all areas that include all aspects of computer languages: theory, implementation, and processing and analysis tools. A special focus will be on supporting multilingual software development and dedicated cross-language implementations, techniques and tools.<a href="https://2025.programming-conference.org/home/sclit-2025" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://2025.programming-conference.org/home/sclit-2025</a>

screwlispStrongly worded <a href="https://mastodon.sdf.org/tags/medium" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#medium</a> <a href="https://mastodon.sdf.org/tags/article" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#article</a> on <a href="https://mastodon.sdf.org/tags/programmingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programmingLanguages</a> and <a href="https://mastodon.sdf.org/tags/dialogue" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dialogue</a> relating to <a href="https://hachyderm.io/@nosrednayduj" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@nosrednayduj</a> 's interview today concerning the concerning relative merits of <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> and <a href="https://mastodon.sdf.org/tags/java" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#java</a> . Connection to strong echoes of points Masinter made about Medley Interlisp in an earlier interview.Thoughts, commentary welcome here and on Medium.<a href="https://social.sdf.org/@rat" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@rat</a> this article is specifically addressed to you, if you'll forgive me.<a href="https://medium.com/@screwlisp/lisp-sm0lnet-fedi-medium-and-what-am-i-doing-95db1b51c328" rel="nofollow noopener noreferrer" target="_blank">https://medium.com/@screwlisp/lisp-sm0lnet-fedi-medium-and-what-am-i-doing-95db1b51c328</a>

Overture Rede Private LimitedWe are Hiring!C#.NET, SQL, Python, Azure📍 Location: Pune📩 Submit your CV: resumes@overturerede.zohorecruitmail.in📞 Contact: +917428694900👉 Apply Now: <a href="https://zurl.co/IeK73" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://zurl.co/IeK73</a><a href="https://mastodon.social/tags/CSharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CSharp</a> <a href="https://mastodon.social/tags/DotNet" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DotNet</a> <a href="https://mastodon.social/tags/SQL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SQL</a> <a href="https://mastodon.social/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a> <a href="https://mastodon.social/tags/Azure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Azure</a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.social/tags/SoftwareDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareDevelopment</a> <a href="https://mastodon.social/tags/TechTutorials" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TechTutorials</a> <a href="https://mastodon.social/tags/WebDevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WebDevelopment</a> <a href="https://mastodon.social/tags/DataScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DataScience</a> <a href="https://mastodon.social/tags/CloudComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CloudComputing</a> <a href="https://mastodon.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mastodon.social/tags/Coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coding</a> <a href="https://mastodon.social/tags/DeveloperLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DeveloperLife</a> <a href="https://mastodon.social/tags/TechStack" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TechStack</a> <a href="https://mastodon.social/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://mastodon.social/tags/DevOps" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DevOps</a> <a href="https://mastodon.social/tags/SoftwareEngineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareEngineering</a> <a href="https://mastodon.social/tags/overturerede" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#overturerede</a> <a href="https://mastodon.social/tags/corporate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#corporate</a> <a href="https://mastodon.social/tags/trainingsolutions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trainingsolutions</a>

Rust Weekly 🦀Type Inference in Rust and C++<a href="https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/</a>Discussions: <a href="https://discu.eu/q/https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://herecomesthemoon.net/2025/01/type-inference-in-rust-and-cpp/</a><a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cpp</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rustlang</a>

Abhinav 🌏Writing an <a href="https://fantastic.earth/tags/interpreter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#interpreter</a> for <a href="https://fantastic.earth/tags/Brainfuck" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Brainfuck</a> is almost a rite of passage for any programming language implementer, and it’s my turn now. In this post, I write not one but four Brainfuck <a href="https://fantastic.earth/tags/interpreters" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#interpreters</a> in <a href="https://fantastic.earth/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a>: <a href="https://abhinavsarkar.net/posts/brainfuck-interpreter/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://abhinavsarkar.net/posts/brainfuck-interpreter/</a>Please boost for reach. If you have any questions or comments, please reply to this post.<a href="https://fantastic.earth/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://fantastic.earth/tags/compilers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#compilers</a> <a href="https://fantastic.earth/tags/LangDev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LangDev</a> <a href="https://fantastic.earth/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#plt</a> <a href="https://fantastic.earth/tags/blog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#blog</a>

Lisp & Scheme WeeklyI quit my job to work on my programming language<a href="https://jank-lang.org/blog/2025-01-10-i-quit-my-job/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jank-lang.org/blog/2025-01-10-i-quit-my-job/</a>Discussions: <a href="https://discu.eu/q/https://jank-lang.org/blog/2025-01-10-i-quit-my-job/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://jank-lang.org/blog/2025-01-10-i-quit-my-job/</a><a href="https://mastodon.social/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#clojure</a> <a href="https://mastodon.social/tags/compsci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#compsci</a> <a href="https://mastodon.social/tags/cpp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cpp</a> <a href="https://mastodon.social/tags/plt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#plt</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a>

Unix WeeklyWhy Should a Unix Shell Have Objects?<a href="https://www.oilshell.org/blog/2024/12/objects.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.oilshell.org/blog/2024/12/objects.html</a>Discussions: <a href="https://discu.eu/q/https://www.oilshell.org/blog/2024/12/objects.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://www.oilshell.org/blog/2024/12/objects.html</a><a href="https://mastodon.social/tags/linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linux</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mastodon.social/tags/unix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#unix</a>

Mai :v_trans:Was stuck the past week(s) in my <a href="https://soc.saiyajin.space/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> implementation in <a href="https://soc.saiyajin.space/tags/zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#zig</a> on <a href="https://soc.saiyajin.space/tags/closures" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#closures</a>, as they provide an real challange with their capturing properties. Espc bc I didn't wanted to resort to using things like arbitary "rules" to restrict the language only for closure to work, or already implementing a tracing <a href="https://soc.saiyajin.space/tags/garbagecollector" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#garbagecollector</a> for this.I rather choose to use <a href="https://soc.saiyajin.space/tags/ARC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ARC</a> (Atomically Reference counting) for this, which comes with a few problems. And as I found nobody that has solved this problem, I've come up with a solution to it myself: 'Switchable references with strongchain elemination'. A bit bulky name, and the technique is still in it's beginning, but when implemented in rust the compiler dosnt complain and valgrind dosn't detects any leaks.I've written a fairly big <a href="https://blog.lapyst.dev/posts/11-rollinglisp-001---of-closures-mutability-and-switchable-references" rel="nofollow noopener noreferrer" target="_blank">blogpost about it</a> too, including not only the whole explanation how it works but also alternatives I've considered. Check it out if you're interested!Now I only need to translate it over to zig, but hopefully that dosnt take so long x3<a href="https://soc.saiyajin.space/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coding</a> <a href="https://soc.saiyajin.space/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://soc.saiyajin.space/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#software</a> <a href="https://soc.saiyajin.space/tags/oss" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#oss</a> <a href="https://soc.saiyajin.space/tags/foss" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#foss</a> <a href="https://soc.saiyajin.space/tags/ossdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ossdev</a> <a href="https://soc.saiyajin.space/tags/fossdev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fossdev</a> <a href="https://soc.saiyajin.space/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> <a href="https://soc.saiyajin.space/tags/zig" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#zig</a> <a href="https://soc.saiyajin.space/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rust</a> <a href="https://soc.saiyajin.space/tags/softwaredevelopment" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#softwaredevelopment</a> <a href="https://soc.saiyajin.space/tags/pldev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pldev</a> <a href="https://soc.saiyajin.space/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://soc.saiyajin.space/tags/referencecounting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#referencecounting</a> <a href="https://soc.saiyajin.space/tags/rc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rc</a> <a href="https://soc.saiyajin.space/tags/arc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#arc</a>

Will Berard 🫳🎤 🫶Remember when there were programming languages specifically for education? Instead, of, IDK, Python, whose strength for actual software development are its very failings as a teaching language, invading Ed on the ground of it's superficially easy syntax?Well, if you're an <a href="https://a.gup.pe/u/edutooters" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@edutooters</a> in <a href="https://mastodon.acm.org/tags/CS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CS</a> in the UK, you should really catch this (at least the recording, all on their youtubes!)<a href="https://www.computingatschool.org.uk/events/2024/december/elan-first-language-for-british-schools-since-1981" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.computingatschool.org.uk/events/2024/december/elan-first-language-for-british-schools-since-1981</a> <a href="https://mastodon.acm.org/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mastodon.acm.org/tags/ProgrammingEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingEducation</a> <a href="https://mastodon.acm.org/tags/ProgrammingLanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://mastodon.acm.org/tags/CSEd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CSEd</a> <a href="https://mastodon.acm.org/tags/Elan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Elan</a> <a href="https://mastodon.acm.org/tags/BCS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BCS</a> <a href="https://mastodon.acm.org/tags/Computing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Computing</a> <a href="https://mastodon.acm.org/tags/CaS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CaS</a>

Rust Weekly 🦀Traits are a Local Maxima<a href="https://thunderseethe.dev/posts/traits-are-a-local-maxima/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://thunderseethe.dev/posts/traits-are-a-local-maxima/</a>Discussions: <a href="https://discu.eu/q/https://thunderseethe.dev/posts/traits-are-a-local-maxima/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://thunderseethe.dev/posts/traits-are-a-local-maxima/</a><a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mastodon.social/tags/rustlang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rustlang</a>

HHG²TG¼²°.. <a href="https://github.com/nimrag-b/emiT-C" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/nimrag-b/emiT-C</a><a href="https://defcon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://defcon.social/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a> <a href="https://defcon.social/tags/imagemagick" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#imagemagick</a> <a href="https://defcon.social/tags/UNIX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UNIX</a> <a href="https://defcon.social/tags/LINUX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LINUX</a> <a href="https://defcon.social/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a>

HHG²TG¼²°@defcon.social.. really classy club here, you politely ask for the blueprints for the time machine and a day later they are delivered ..<a href="https://mastodon.social/@techsplicer" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@techsplicer</a> <a href="https://github.com/nimrag-b/emiT-C" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/nimrag-b/emiT-C</a> <a href="https://www.startrek.com/en-un/news/from-discovery-to-the-original-series-spocks-future-is-clear" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.startrek.com/en-un/news/from-discovery-to-the-original-series-spocks-future-is-clear</a><a href="https://defcon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://defcon.social/tags/imagemagick" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#imagemagick</a> <a href="https://defcon.social/tags/UNIX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UNIX</a> <a href="https://defcon.social/tags/LINUX" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LINUX</a> <a href="https://defcon.social/tags/FOSS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FOSS</a> <a href="https://defcon.social/tags/fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fediverse</a> <a href="https://defcon.social/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a>

TechSplicer🕰️ emiT: a programming language where variables can time travel!The source code itself changes as you run it. This is something interesting, I will get back after a bit of tinkering.🔗 <a href="https://github.com/nimrag-b/emiT-C" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/nimrag-b/emiT-C</a> <a href="https://mastodon.social/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a>

Kiran 🏳️‍⚧️I stayedd at the lab wayyyyy late to finish this off, but I'm pretty proud of this!!! I've been playing with macros in Lean4 <a href="https://transfem.social/tags/Lean4" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> recently, and they make me really exciteddd!!! I've implemented a DSL in lean that uses the grammar of the constraint logic programming language Clingo, and solves queries through the FFI. Honestly really blown away by the macro support in Lean. The way they combine extensible syntax and type system support is just mindblowing, it's honestly the best macro system I've ever used so far, and I can't even believe that I'm writing all this in a dependently typed language to boot. You can check it out here: <a href="https://github.com/kiranandcode/cleango" rel="nofollow noopener noreferrer" target="_blank">https://github.com/kiranandcode/cleango</a> <a href="https://functional.cafe/@leanprover" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@leanprover@functional.cafe</a> <a href="https://transfem.social/tags/ProgrammingLanguages" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a href="https://transfem.social/tags/Macros" rel="nofollow noopener noreferrer" target="_blank">#Macros</a> <a href="https://transfem.social/tags/Lean4" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> <a href="https://transfem.social/tags/TheoremProving" rel="nofollow noopener noreferrer" target="_blank">#TheoremProving</a>

Eugene :emacs: :freebsd:Now is the time for really hot take! :ablobcool: <a href="https://mas.to/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mas.to/tags/programminglanguages" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programminglanguages</a> <a href="https://mas.to/tags/c" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#c</a>

Recent searches

Search options

Administered by:

Server stats:

#programminglanguages