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.
To people in the #lisp #emacs #programming space, I'm currently trying to get into learning Lisp as a programming language (as a hobby). My work mainly involves knowing python but like many people in physics, writing good code is never quite taught to us.
I would like to learn Lisp primarily out of interest but also it would benefit me iif the structure of Lisp itself would teach me good programming practices that I could use when writing python.
Keeping this in mind, are there any Lisp dialect recommendations? I've heard good things about Common lisp and Clojure, but would be interested if those (or any other dialect) would serve my purpose.
Gamer+ Events
Chat with DJ Hairy Larry on Gamer+, Saturday night at 10:00 CDT, while we listen to Something Blue.
Every day, tob's Dubious Goals Committee is at 2:30 PM CDT. Something Blue follows Fridays at 3:00 PM CDT. MixRemix Creative Commons Jazz follows Mondays at 3:00 PM CDT.
Enjoy The Lispy, Gopher, Climate Show at zero hundred hours UTC each Wednesday. A
programming show with a focus on lisp and climate change.
Links in part 2
boostedC3 0.8.3 Feature flags https://lobste.rs/s/e9v9qi #programming #release
https://c3-lang.org/blog/c3_0_8_3_feature_flags/
When I first got to know the #Z notation #formal method in the early 1980s, I was very impressed. In those days, imperative languages like C and Pascal ruled the industrial landscape, and pen-and-paper #programming was still an accepted, nay expected, practice. The Z notation and its emphasis on proof obligations fit well with that paper-borne process of specification and design.
Not long after, I got to know #ML and its Hindley-Milner type system. Thereafter, I was no longer impressed with Z's use of an overtly ceremonial and verbose syntax to describe what I could write just one expression in ML.
This superiority of #FP syntax over Z's bloated notation is even more evident in modern descendants of ML, such as Standard ML, OCaml, Haskell, Agda, Idris, Coq, and Lean.
Var Zero on how naming things and focusing on the intent of code helps uncover problematic design and abstraction issues.
What I mean is simpler: be mindful of the intent of the code.
https://var0.xyz/posts/mindful-coding-purpose-and-intention.html
yesterday's mail included vol 4 of Dr Dobb's Journal - a kind of legendary programming and hardware guide of the 70s and 80s that I sadly was too young to find in the flesh as a kid
it took a few years to find this volume, and i'm elated that it is just as witty, fascinating and joyful as its reputation implies. each volume is a collection of previous issues of the journal - this one includes issues 31-40, all from 1979. it's heavy with zilog Z80 related programming, since that was the most popular (and cheap) consumer-hacker cpu in that period, as well as stuff for CP/M and the motorola 6800, MOS 6502, and Pascal.
to be honest, i'm not used to reading such helpful and insightful tips from other computer enthusiasts. there are no replyguys here - just fellow nerds excited about a new technique they want to share with others. this seems like an important lesson for now more than ever.
there are no religious wars over the One True Language or sniping over brands. just a bunch of folks just glad to find out that others are as excited as they are about generating prime numbers and Tiny BASIC.
the editor's preface does such a great job of relating the friendly tone of the journal that i've included it here.
(besides - Running Light with No Overbyte has only become more important in light of recent computing history.)
I'm done using AI – Brett Codes
https://brettcodes.com/im-done-using-ai/
> Why I'm stopping using AI for coding (and anything else) after using it earnestly for a year and coming to understand the harms it causes on personal, societal, and environmental levels.
most cursed Mac thing you've heard all day, a midi file dispatched to the four-tone synth of the Macintosh Sound Driver
There is utility w/ NLTK or spaCy to really get better understanding of code
I'm looking to connect with other developers who are interested in how to apply spacy for analysis on code material.
#programming #analysis #nltk #spaCy #python #languagetoolkids
Gamer+ Events
Chat with DJ Hairy Larry on Gamer+, Saturday night at 10:00 CDT, while we listen to Something Blue.
Every day, tob's Dubious Goals Committee is at 2:30 PM CDT. Something Blue follows Fridays at 3:00 PM CDT. MixRemix Creative Commons Jazz follows Mondays at 3:00 PM CDT.
Enjoy The Lispy, Gopher, Climate Show at zero hundred hours UTC each Wednesday. A
programming show with a focus on lisp and climate change.
Links in part 2
New #blog #post: My Failed Tech Predictions
https://rldane.space/my-failed-tech-predictions.html
1637 words
cc: my wonderful #chorus: @joel @dm @sotolf @thedoctor @pixx @orbitalmartian @adamsdesk @krafter @roguefoam @clayton @giantspacesquid @Twizzay @stfn
(I will happily add/remove you from the chorus upon request! :)
#rlDaneWriting #blost #computing #phones #smartphones #enpoopification #retrocomputing #programming #slop #MacOS #Macintosh #data #InformationAge #SCSI #Mobile #TuringTest #LLM #LLMs #ChatBots
The Fediverse is overflowing with incredible artists, engineers, designers, photographers, and brilliant minds in academia. With the job market on fire globally, let's make a habit of hiring from within our own community, please 🎨📚
Need a designer for a project? A photographer? A researcher? Post your gigs here. Let's create a close-knit support system to help fellow people weather the storm.
If you are hiring: look here first. Post your short-term gigs, full-time roles, and freelance contracts. Give people here a chance.
If you are looking: share your work, follow the hashtags, and connect. Let's take care of each other.
#FediHire #GetFediHired #Academia #MastoArt #art #Photography #Freelance #SoftwareDevelopment #programming #photography
There are many cases of end users who are totally ignorant in LLM use cases
I've been able to educate one with success
When she realized that before her one query
...She realized what Destruction she was causing, on a Global Scale because she knows personally what Global Warming does in her Area of the Country were flooding regularly occurs due to Climate Shifts
#LLM #slop #hallucinations #AI #programming #coding #weather #climate #change
Gamer+ Events
part 1
Chat with DJ Hairy Larry every Saturday night at 10:00 CDT. Join the open music chat on Gamer+ while we listen to Something Blue.
Every day it's tob's Dubious Goals Committee at 2:30 PM CDT. Something Blue follows on Fridays at 3:00 PM CDT. MixRemix Creative Commons Jazz follows on Mondays at 3:00 PM CDT.
Listen at anonradio.net. Join sdf.org for free to join the DJ chat.
Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this #AI Slop Age, life-critical #engineering work still demands #mathematical reasoning and #professional guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, #verified #programming has become an urgent necessity.
By “verified”, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many #IT software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
Finally got all of the GPT and MBR code put together, most of the bugs fixed, and released it as a downloadable Linux binary. Does a pretty good job of reading the data and giving out way too much information regarding the MBR and/or GUID partition table.
Available here: https://git.jamesthebard.net/jweatherly/driveinfo
Tolkien‘s linguistic inventions are startlingly creative. In ordinary story telling, invented languages rarely appear, and if they do, they are just superficial props. But each of Tolkien‘s languages is complete—dare I say, “Turing complete”—equipped with its own origin story, evolutionary history, regional dialects, cultural functions, fully formed script, pronunciation, vocabulary, grammar, idioms.
#Tolkien’s originality, ingenuity, thoroughness, industry, and process could serve as inspirations in designing new #programming languages. We still stand to gain much, even if we #IT practitioners do no more than to look upon Tolkien’s life work as mere aspirations.
Modern computing began when models of computability were invented in the mid 1930s, by mathematicians, like Turing, Church, Kleene, et al. Within a decade, first commercial computers, designed by engineers from top academic institutions, were being sold. Within two decades, high-level programming languages FORTRAN, LISP, COBOL, and ALGOL emerged, also created by academics.
Today, though, the majority of software systems are now being cobbled together by those who know nothing of, and care even less of, the foundational #mathematics of computing—using #AI, but of course. Somewhere along the way, modern #software practices diverged from traditional #engineering practice.
That bifurcation point was when the once-united "computing team" splintered into architect (EE), algorithmist (CS), programmer (CS), coder (IT), operator (IT), etc. It was also at this point in time when the first commercial computers and early high-level #programming languages emerged.
Gamer+ Events
part 1
Chat with DJ Hairy Larry every Saturday night at 10:00 CDT. Join the open music chat on Gamer+ while we listen to Something Blue.
Every day it's tob's Dubious Goals Committee at 2:30 PM CDT. Something Blue follows on Fridays at 3:00 PM CDT. MixRemix Creative Commons Jazz follows on Mondays at 3:00 PM CDT.
Listen at anonradio.net. Join sdf.org for free to join the DJ chat.
ohhh this is just fascinating. it turns out that A Fool's Errand (a very eclectic tarot-themed puzzle game for the mac) by cliff johnson got a sequel 25 years later, called A Fool and His Money.
the sequel was built in Adobe (Macromedia) Director (!) of all things, and required a serial number/key file after 90 days, which you could only buy by emailing cliff and receiving a zipped keyfile
cliff stopped selling the game a few years later, and it completely disappeared.
out of pure frustration, Renzo Pigliacampo decompiled the compiled Director projector, and reassembled a working Director project out of it.
he does a great job of explaining the process of writing a keygen for a 10+ year old game here. it warms my heart to see Lingo code again after decades 😻
By Github PRs and Stars:
Python, Typescript, Rust. 📈
Anything below C is in the noise or in decline.
Lean, Zig, Odin, Mojo are some growing in that noise. 🙈
Someone’s favourite #programming language can be likened to a knife. It could be a well made, but common, Swiss Army knife, or it could be a well made, and pricey, high carbon steel santoku hand forged by the last remaining blade master in Seki, Gifu Prefecture, whose ironworks date back centuries.
A knife user would not think of using his favourite knife, whichever type, to clean the toilet, to dig a trench, or to perform some other task for which the knife was not designed. And although he would use his favourite santoku in the kitchen daily, he would only pocket his SAK on a camping trip. The SAK is as generally applicable as a knife can be, but even this estimable knife has its limits.
Likewise, a programmer should select a #programming language that best fits a particular task. There is no such thing as the definitive GPL for all occasions. Every GPL is designed for a particular purpose with a particular axe to grind. A GPL is but a Turing-complete DSL in disguise.
It, therefore, behoves the programmer to learn, over the course of his career, as many languages from as many paradigms as practicable.
The ML family of #FP #programming languages—both eager (ML, SML, Caml, OCaml, F#, Reason, Idris, …) and lazy (Hope, Miranda, Haskell, Agda, …) varieties—are arguably the most ergonomic to use for offline system programming and for compiler implementation. SML and Haskell dominate amongst the #CS academic research language implementations, and OCaml amongst the #IT industrial strength language implementations.
Also, nearly every language that has become popular in IT since the early 2000s (Scala, Rust, Swift, Kotlin, Python 3, Mojo, Elm, Grain, Moonbit, …) has wholesale adopted ML’s type system and language constructs. Yet, the ML family remains unknown in the industry, and its direct influence upon all modern languages gone unacknowledged. Even OCaml and Haskell, despite their industry-wide notoriety, had somehow escaped broad adoption.
This situation is unfortunate, because the ML family of languages all have the unique ability to transform an average user into an effective theoretical thinker and an efficient practical doer.
pfft trying to figure out how to keep my skills sharp in these days where I'm mostly paid to boil the oceans managing a fleet of clanks, considering various languages I'd work in if I got to choose, circling around the idea of a project, wondering: is there a DICOM library for Haskell? Yes there is, and I'm a maintainer. https://hackage.haskell.org/package/dicom (for what it's worth, it's not nearly mature enough to be useful) #programming #haskell
You are a computer scientist working in interpretable machine learning. How did you end up working with the police to solve crimes?
Find out in #ACMBytecast episode 86, where host Rashmi Mohan interviews 2025 #ACMFellow Cynthia Rudin, a professor at Duke University.
The hardest thing in Dylan or any 🫰quote "normal" unquote🫰lang, is writing algebraic math when you're used to RPN or sexpr. Why am I putting one argument before the operator, the other randomly after, and having to figure out which ones happen first? Do people DO MATH like this‽
In theory I could just use +(a, b) (or does it need \+(a, b)? I'd try that in REPL but there isn't one).
Helix is a free, open-source code editor written in Rust with Vim-style modal editing, built-in LSP support, Tree-sitter syntax highlighting, and multiple cursors, no complex plugin setup required.
A fast, privacy-friendly editor for Linux, macOS, and Windows.
More details: https://digitalescapetools.com/tools/tool.html?id=helix