soc.octade.net is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.
This server runs the snac software and there is no automatic sign-up process.
That's cool. I also started with BASIC and LOGO. #HyperCard's HyperTalk was the first language that spoke to me, but it was really #Pascal that made me feel powerful for the first time. ;)
What do you use Forth for today?
Every #programmer, including me, esteems the syntax more than the semantics, when semantics is actually more important than syntax in #programming.
This imbalance even appears in the modern programming language design and implementation textbooks, which cover the grammar of the syntax in nauseating details, but give short shrift to denotational semantics. And none of the currently popular modern languages come with a mathematically proven definition, relying instead on the hand wavy operational semantics baked into the compiler.
Around 2023, I wrote an article called "A Forlorn Hope of #Fortran Modernisation", in which I proposed a cleaner Agda-like syntax for Fortran, the seventy-year-strong scientific computing language, along with dependent types as a semantic crutch. (Yes I, too, pushed the semantics into the background, there.)
https://amenzwa.github.io/stem/PL/FortranModernisation/
Some forty years earlier, when Bailes published his paper "A Rational #Pascal" in 1983, I was still an EE undergrad. In that paper, Bailes proposed a less restrictive syntax for Pascal, then a ten-year-old, popular "first language" for CS undergrads, and industry-born C was still considered uncouth by the ALGOL-fed academics.
https://ro.uow.edu.au/ndownloader/files/50546136
These days, we have Go, Nim, Zig, Odin, and other system programming languages designed as "the replacement" for the {C, Pascal, ALGOL} syntax, but not the semantics.
In our field, times change, but attitudes remain forever the same.
[note] Blaise, a modern Pascal compiler has been released that completely eliminates compiler modes, free, string types, and other bothersome legacy features.
CrabPascal compiler is written in Rust.
Links are in the video description.
https://www.youtube.com/watch?v=IeYBFvTrqd4
"Welcome to the June 2026 edition of Pascal News. In this episode, we look at a surprisingly active month across the entire Pascal ecosystem — from new compiler activity, to the International Pascal Congress starting next week, to Embarcadero’s recent focus on regulation‑aware software development, and more."#Pascal #FreePascal #Delphi #Wirth #Wirthian #BlaisePascal
Rhizome Function Anagram Random Generator
preprint | https://zenodo.org/records/21551292
doi | https://orcid.org/0009-0009-5144-3278
Herein are described principles and a scheme of random number generation styled as, pangrandomonium, or ‘pangrand’. Pangrand is a anagrammatic random number generator that uses rhizome functions as chaotic indexing and shuffling instructions to reorder and sum perfect pangrams. Brief descriptions are given for the principles of pangram summing and rhizome indexing functions, Source code of the random number generator is included herewith. The source code is attached to the PDF file.
Sections:
1. Pangrams (Holoalphabetic arrays) ;
2. Rhizome Functions ;
3. Rhizome Hardness Problems ;
4. Random Generator Methods ;
5. Errata ;
6. Source Code.
#Preprints #Random #Cryptography #RNG #Pangrams #Anagrams #Pascal #Papers #RhizomeFunction #AcademicMastodon #Cryptology #Math #NumberTheory #Papers #Academia #ComputerScience #CompSci #AcademicChatter #OpenScience
Rhizome Function Anagram Random Generator
preprint | https://zenodo.org/records/21551292
doi | https://orcid.org/0009-0009-5144-3278
Herein are described principles and a scheme of random number generation styled as, pangrandomonium, or ‘pangrand’. Pangrand is a anagrammatic random number generator that uses rhizome functions as chaotic indexing and shuffling instructions to reorder and sum perfect pangrams. Brief descriptions are given for the principles of pangram summing and rhizome indexing functions, Source code of the random number generator is included herewith. The source code is attached to the PDF file.
Sections:
1. Pangrams (Holoalphabetic arrays) ;
2. Rhizome Functions ;
3. Rhizome Hardness Problems ;
4. Random Generator Methods ;
5. Errata ;
6. Source Code.
#Preprints #Random #Cryptography #RNG #Pangrams #Anagrams #Pascal #Papers #RhizomeFunction
@cryptography@soc.octade.net
@cypherpunk@soc.octade.net
@papers@soc.octade.net
@crypto@infosec.pub
@cryptography@fed.dyne.org
@cryptography@lemmy.ml
Of all the programming languages that I had to learn over the years, my favourite is still Pascal. Many programmers hate Pascal because it has such a rigid structure, but my Pascal code has much fewer bugs than anything I write in any other language, exactly because that rigid structure keeps me from making a lot of stupid mistakes.
#pascal #programming
Forbiddenhttps://www.gnu-pascal.de/gpc/h-index.html
You don't have permission to access this resource.