#ProgrammingLanguage

TechKeysXTechKeysX
2025-06-13

Tuple Repetition in Python:
Tuple repetition in Python uses the * operator to repeat elements of a tuple multiple times.

2025-06-07

I wanted to know if I could still program in languages I haven't used in 10+ years, so I found a tech test on Glassdoor and did it six times... in six different languages.

🔗 More: danq.me/lru-cache-challenge

Here's what I learned:

🧠 Programming MORE languages can make you better at ALL of them

👍 With solid fundamentals, you never truly forget a language

😵‍💫 Switching between some pairs of languages causes brain-gearshift problems

#programming #programmingLanguage #programmingLanguages

Jan :rust: :ferris:janriemer@floss.social
2025-06-06
2025-05-23

This year H-hat quantum programming language will be part of the hackathon projects at unitaryHACK 2025, with bounties for issues turned into approved PRs for various participating projects!

Check it out at the unitaryHACK website: unitaryhack.dev

H-hat repository: github.com/hhat-lang/hhat_lang

H-hat documentation: docs.hhat-lang.org

#hhat #quantum #programminglanguage

2025-05-21
Thinking of publishing a paper about #Schemacs at ICFP/SPLASH 2025

…except there is not much in the way of original research. But I have received a lot of positive feedback about my project from the Scheme and Emacs community. So let me ask the Scheme/Emacs fediverse: if you would be interested in using or contributing to a Scheme-based Emacs that is mostly backward-compatible with #GNUEmacs , what is it about this prospect that is most interesting to you?

Personally, I live inside of Emacs and program most of my personal workflows in Emacs Lisp, though I feel that Scheme is a more interesting and fun language to use when compared to other #Lisp-family languages. So I would just like to be able to use Scheme as the language in which I program all of my personal workflows. Also I am curious if it is possible to write a large application in #R7RS Scheme such that it runs on many different Scheme implementations.

So does anyone else agree, or are there other things about a prospective Scheme-based Emacs that interest you that might be worth mentioning to a the audience of the Scheme-related chapters of the ICFP?

I was talking with William Byrd, who is one of the conference organizers of ICFP/SPLASH this year, and he says the committee could possibly accept anything of interest to the Scheme community, for example experience reports and “position papers” (helping others understand an opinion or philosophy on the topic). And they would judge these papers on different criteria than a paper about novel scientific research.

Anyone feel free to comment, but I am going to ping a few people in particular who seem to have opinions on this, like @dougmerritt @jameshowell @david_megginson @tusharhero @arialdo @lispwitch @cwebber @dpk and also @PaniczGodek who published on GRASP at this conference last year, if I recall correctly.

#tech #software #FOSS #FLOSS #SchemeLang #ProgrammingLanguage

Jan :rust: :ferris:janriemer@floss.social
2025-05-19

(❁´◡`❁)

#Rust pattern types RFC:
gist.github.com/joboet/0cecbce

Pattern types are a form of refinement types, which allow some subset of #FormalVerification!

en.wikipedia.org/wiki/Refineme

Tracking Issue for #PatternTypes:
github.com/rust-lang/rust/issu

Tracking Issue for generic pattern types OwO:
github.com/rust-lang/rust/issu

Implement minimal, internal-only pattern types in the type system:
github.com/rust-lang/rust/pull

I'm _really_ looking forward to how #RustLang will evolve in this area!👀

#ProgrammingLanguage

2025-05-17

@das_g True. It is certainly magical that there is a programming language which defines a state monad called “IO” (or sometimes “Effect”) which carries around with it a symbol of the entire Real World in order to model the idea that any evaluation of a function of that type of monad may (or may not) create a change somewhere out in the real world, as opposed to “pure” functions which can only ever manipulate the stack.

#tech #software #Haskell #ProgrammingLanguage #TypeTheory #CategoryTheory

2025-05-13

The most hilarious "what your favorite #ProgrammingLanguage says about you" video I've seen yet:
youtu.be/3DvBGGZfH-I

#Programming #ProgrammerHumor

Jan :rust: :ferris:janriemer@floss.social
2025-05-11

#MoonBit looks like a really interesting new #ProgrammingLanguage :awesome:

moonbitlang.com/

Especially its functional, data-oriented design and #WASM support stand out to me.

Looks _a lot_ like #Rust, but more functional in style. ✨

It is expected to reach 1.0 this year. 👀

#FunctionalProgramming #RustLang #MoonBitLang #DoD #DataOrientedDesign

2025-05-10

🛠️ Title: Haxe
🦊️ What's: A libre programming language to produce JavaScript, C++, C#, Java, JVM, Python, Lua, PHP & Flash code
🏡️ haxe.org/
🐣️ github.com/HaxeFoundation/
🔖 #LinuxGameDev #ProgrammingLanguage #Haxe
📦️ #Libre #Bin #Arch #RPM #Deb
📖 Our entry: lebottinlinux.vps.a-lec.org/LO

🥁️ Update: 4.3.7
⚗️ Hotfix 🐞️
📌️ Changes: github.com/HaxeFoundation/haxe
🦣️ From: 🛜️ github.com/HaxeFoundation/haxe

🦝️ youtube.com/embed/S8VFxjQ2crs
🦝️ youtube.com/embed/xePJU7HTNkg
🎮️ youtube.com/embed/ULcpckAJqLc
🎮️ youtube.com/embed/02G3GUt6Nzo

🕶️ The Haxe language logo

📚️ Haxe is a libre and multi-platform programming language allowing to produce JavaScript, C++, C#, Java, JVM, Python, Lua, PHP and Flash code, and to give access to the native capabilities of each platform. It has its own VMs (HashLink & NekoVM) but can also run in interpreted mode. It provides a standardized language, a standard library (working in the same way whatever the platform) and platform specific libraries. The underlying idea is to let the developer choose the best platform for a given job.

Oh dear, I just found #ValaLanguage which closely mimics #csharp syntax but with minimal/no dependencies and compiles to C.

This might be my new #programming language, esp since C# isn't widely used on #Linux systems.

I think this means I have to learn about C though. #Unity3D is quickly becoming a thing of my past, one way or another.

docs.vala.dev/tutorials/progra
wiki.gnome.org/Projects/Vala/V

#Vala #software #programminglanguage #FOSS #softwaredev

2025-04-30

Completed large refactor in my software. Intermediate data can now be formulated as one of two different data structures. Unit tests updated to test both formulations for each test case, effectively doubling the number of test cases.

Run unit tests… and… 100% tests pass.

Younger version of me: “YES!!! I am a hacker god!”

Current version of me: “WTF!!! There is no fucking way EVERY – SINGLE – LAST test case just passed after all that refactoring.”

#tech #software #SoftwareEngineering #ProgrammingLanguage #SoftwareDeveloper

2025-04-24

hex is a minimalist, concatenative, stack-based programming language designed for experimenting with the concatenative programming paradigm.

hex.2c.fyi/spec/

#programminglanguage #stackbased #concatenative

Hacker Newsh4ckernews
2025-04-22

Pike – a dynamic programming language with a syntax similar to Java and C

pike.lysator.liu.se/

NerdNextDoor :Blobhaj:mrmasterkeyboard
2025-04-21

I want to write a … like a mixture of and like syntax. I call it Osmium, like the periodic table element. I’m developing on . This will be a of mine, not anything serious, maybe never published to the net in the end. It could be aimed at enhancing somehow???

Anyone got any ideas and resources they could share with me?

Please so others can see this, thank you!

harryprayivharryprayiv
2025-04-17

What is the most that you know of?

TechKeysXTechKeysX
2025-04-13

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst