#compsci — Public Fediverse posts

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

Readings shared May 9, 2026. https://jaalonso.github.io/vestigium/posts/2026/05/10-readings_shared_05-09-26 #AI4Math #ATP #Aristotle #CompSci #CoqProver #FunctionalProgramming #Haskell #History #ITP #IsabelleHOL #LeanProver #Logic #Math #Mizar #Ocaml #RocqProver

students causing me to crumble into dust with essay responses including these gems: "Host files exist because there was no DNS back in your day" and ""there weren't that many websites before the turn of the century" #sre #devops #dns #compsci

students causing me to crumble into dust with essay responses including these gems: "Host files exist because there was no DNS back in your day" and ""there weren't that many websites before the turn of the century" #sre #devops #dns #compsci

students causing me to crumble into dust with essay responses including these gems: "Host files exist because there was no DNS back in your day" and ""there weren't that many websites before the turn of the century" #sre #devops #dns #compsci

students causing me to crumble into dust with essay responses including these gems: "Host files exist because there was no DNS back in your day" and ""there weren't that many websites before the turn of the century" #sre #devops #dns #compsci

students causing me to crumble into dust with essay responses including these gems: "Host files exist because there was no DNS back in your day" and ""there weren't that many websites before the turn of the century" #sre #devops #dns #compsci

It was fantastic to learn from Kylie McColl’s workshop on K-12 outreach at the 2025 IDEATE Summit! 🎓
If we want more diverse students in computing at Australian unis, we need to rethink how we engage with schools.
See the slides: https://ideate.community/resources/outreach/
#HigherEd #Computing #STEM #Diversity #K12 #CompSci #Inclusion #CSed #AussieEd #EdTech

#informationtechnology #it #computers #programming #compurerscience #compsci #cs ​:boosts_ok_gay:​ i have a question for people who studied computer science/information technology through academic institutions (college, uni, etc)

my question is, the thesis. did they need one? what were the theses made about?

i'm currently studying IT (first year) and i just casually thinking about the thesis it's like what do i do with it. how does one write a thesis about this

thanks!

Currently on a side quest to dig deeper into error handling in parsers. Any parser whose diagnostic messages impress you especially (and why)?

#CS #compsci #ProgrammingLanguages #ProgLang #programming

Three fingers plus one thumb would be the norm therefore everyone would count in octal.

#IfCartoonsRuledTheWorld
#HashtagGames #maths #compsci

Question for #PL folks:

Is there any usable work taking the typed assembly languages work and layering it on top of #LLVM ? Been quite a while since I read that work, but from what I remember, TAL two had the intersection / union types you'd need for SSA form.

Reason: I will (eventually) need a low-overhead, direct-to-native, and safe way to distribute executable code in a distributed system.

#CS #compsci #ProgrammingLanguages #ProgLang

It's probably a lost cause and also too short notice, but I'm still thinking about #AlgoApril, which I proposed back in 2022, but it's an incomplete list of prompts and sadly never took off...

https://github.com/algoapril/algoapril-2022

From the readme:

Learning about & applying algorithms and data structures for generative art/design, helping to introduce participants to a wider spectrum of techniques.

Unlike other initiatives like #genuary, #codevember, #nodevember etc., all of which are predominantly using visual/conceptual prompts, the focus of the #AlgoApril initiative is on algorithmic literacy, using technical, algorithmic prompts (of course, with some [visual] references and study materials) without further prescribing how these algorithms should be used. The only aim, goal and hope is for people to creatively engage with these techniques, breaking 'em, hacking 'em and finding interesting uses to create outcomes, which could be considered artistic. Algorithmic layering is encouraged at each turn!

In some sense, this more "bottom-up" approach to creation is maybe alien to some, but the lack of explicit aesthetic or conceptual/artistic goals has the potential to produce a much wider scope of outcomes (hopefully not only visual - audio, text and other outputs are highly encouraged!). There's also hope it could be more educational, helping people to engage with a larger repertoire of fundamental algorithmic tools and then apply & mix them in their own work/practice.

Many of the topics & algorithms selected here will have a more or less known visual representation and we encourage everyone to consciously reject these clichés and make honest attempts to find creative other solutions to visualize/sonify/represent them.

--

In any way, I'll be following the #AlgoApril hashtag and boosting relevant outcomes to help circulation. I'm currently on a few deadlines, so not sure how much I can contribute myself, but might post some of my own prior art related to the prompts...

#Algorithms #DataStructures #AlgorithmicArt #AlgoMusic #GenerativeArt #DataViz #CompSci #Education

#ComputerScience
#CompSci #HowItStartedHowItsGoing #Meme

Edit: I was annoyed with how crappily low-resolution the imgflip version was (and how they use nearest-neighbor for scaling down their images!), so I recreated the meme entirely in #LibreOffice Draw, saved it at roughly 2.5 times the resolution of the original, and used #WebP compression to make it 1,029 bytes smaller than the original JPEG!! 💪

🚨 LAST CHANCE TO REGISTER!

Our FREE webinar on Universal Design for Learning in computing educators at Australian universities starts tomorrow 2pm AEDT!

Secure your spot now:
https://events.humanitix.com/ideate-webinar-udl-in-tech

#UDL #TechEducation #SoftwareEngineering #CompSci #HigherEd #Accessibility

Standard coding curricula don’t always fit every student 👩‍💻👨‍💻

Level up your teaching with IDEATE's free webinar on Universal Design for Learning (UDL) for computing courses

🗓️ Tuesday, 10 March
🎟️https://events.humanitix.com/ideate-webinar-udl-in-tech

#CompSci #EngineeringEducation #UDL #TeachingTech #InclusiveDesign

Release: fsm-toolkit v0.9.5

fsm-toolkit is a Go toolkit for designing and analysing finite state machines. It provides a CLI tool (fsm) and a full TUI editor (fsmedit) supporting DFA, NFA, Mealy, and Moore machines — with multi-machine bundles, cross-machine linking, and a component system backed by reusable class libraries.

Repo:

https://github.com/ha1tch/fsm-toolkit#readme

This is the biggest release since the project's inception bringing a component-oriented workflow to FSM design. You can now drag 74xx-series digital logic parts from a library drawer, assign typed properties to states, link machines into bundles, and manage it all from the TUI. Builds and releases for 12 platforms are now fully automated.

New: Editor Manual

https://github.com/ha1tch/fsm-toolkit/blob/main/cmd/fsmedit/MANUAL.md

New: Workflow Guide

https://github.com/ha1tch/fsm-toolkit/blob/main/WORKFLOWS.md

Highlights

% Multi-document bundles with import and cross-machine navigation
% Class and property system with 7 typed fields
% Component drawer with drag-and-drop instantiation
% 74xx-series class libraries (49 components across 7 families)
% Machine manager with rename/delete and link propagation
% Settings screen with vocabulary customisation and library loading
% Improved TUI layout engine with cell-grid metrics
% CI/CD pipeline targeting 12 platforms (Linux, macOS, Windows, FreeBSD, OpenBSD, NetBSD)
% Separate CLI and editor manuals
% 261+ tests passing

Changelog:

https://github.com/ha1tch/fsm-toolkit/blob/main/CHANGELOG.md

#golang #foss #programming #compsci #fsm #digitallogic #tui #statemachines #electronics

A random link I came across reminded me that one of my FOSS projects' README file references all of the following:

Tru64
HP-UX
Debian
RedHat
SuSE
Ubuntu
FreeBSD
NetBSD
Darwin

x86
AMD64
Alpha
PA-RISC
Itanium
PowerPC

I would like to issue a decades-late "thank you" to Hewlett Packard for operating their "Test Drive" program, that allowed me to do test builds on all of those platforms I had no other access to. [1] I was sad when they discontinued it, even if it was a pretty niche thing at the time.

I must have been one of about 3 people outside of Hewlett Packard, Intel, and Microsoft who'd ever bothered to try to build software on Itanium. [2]

How many of the above phrases would elicit blank looks from newly-minted engineers and #CompSci people these days?

[1] Meaning actual useful Hewlett Packard. The practically unrelated modern HP corporation can, of course, stick their overpriced, DRMed ink and toner in their paper-jam access holes.

[2] a.k.a. "Itanic"

#HP #HewlettPackard #TestDrive #platforms #architectures #OSes #Unix #CPUs #PaperJam #StickIt #WhereTheSunDontShine

A random link I came across reminded me that one of my FOSS projects' README file references all of the following:

Tru64
HP-UX
Debian
RedHat
SuSE
Ubuntu
FreeBSD
NetBSD
Darwin

x86
AMD64
Alpha
PA-RISC
Itanium
PowerPC

I would like to issue a decades-late "thank you" to Hewlett Packard for operating their "Test Drive" program, that allowed me to do test builds on all of those platforms I had no other access to. [1] I was sad when they discontinued it, even if it was a pretty niche thing at the time.

I must have been one of about 3 people outside of Hewlett Packard, Intel, and Microsoft who'd ever bothered to try to build software on Itanium. [2]

How many of the above phrases would elicit blank looks from newly-minted engineers and #CompSci people these days?

[1] Meaning actual useful Hewlett Packard. The practically unrelated modern HP corporation can, of course, stick their overpriced, DRMed ink and toner in their paper-jam access holes.

[2] a.k.a. "Itanic"

#HP #HewlettPackard #TestDrive #platforms #architectures #OSes #Unix #CPUs #PaperJam #StickIt #WhereTheSunDontShine

#rasterizing a series of #vectors from #verticies is relatively straight forward in #computer #graphics #programming, but im interested in the opposite. I.e. taking a raster image and extracting a series of vertices from it. I dont want to use a #library to do it, i want to do it by hand programmatically. Anyone got some good #reading material on how i can develop such an #algorithm? Need it for a project i want to do. #Siggraph #compsci #math #geometry #demoscene

How can #AI and #cognitiveScience improve #healthcare?

We got some answers from the #NudgesInHealthcare Symposium at #UPenn.

Check out this summary of some themes in the write-up below:

https://ldi.upenn.edu/our-work/research-updates/in-the-loop-or-on-the-loop-the-conundrum-of-ai-clinical-decision-support/

#medicine #psych #econ #compSci #tech #LLM #edu #bioethics #xPhi

Here is a cool, novel advanced #algorithm for tracking #stealth and can be used for #asteroid tracking, #spacejunk etc

Also. These mosaiced screen video, you can read the #obfuscated text.
#opsec #infosec implications

"pixel voxel motion projection"

https://m.youtube.com/watch?v=zFiubdrJqqI

#algo #compsci

New paper!
How can we detect the presence of communities in networks with higher-order interactions? For instance, by maximizing hypermodularity! Also, this formulation will allow you to leverage tensor spectral methods to do it. Additionally, the paper also argues that the "overfitting" of modularity methods is actually just people applying them where they are not supposed to be used. And, as a byproduct, there is an explanation of why higher-order SVD works so well in classification tasks in machine learning. Oh, the code is available to use in your own projects (link in the first comment). And moreover, the code includes an efficient data structure for higher-order networks that is independent from the community detection method and that you can also use in your own work. 😎

https://journals.aps.org/prresearch/abstract/10.1103/58dr-wktc

#networks #complexity #physics #maths #CompSci #graphs #higherorder #hypergraphs #community #detection #algorithm #communitystructure #modularity #hypermodularity

Hi folks who #studied a #CompSci degree, can you please tell me what #programming language you learnt in the first year?

#programmingLanguage #studyingComputing #java #python #C #procedural #oop #learning #education

Hi folks who #studied a #CompSci degree, can you please tell me what #programming language you learnt in the first year?

#programmingLanguage #studyingComputing #java #python #C #procedural #oop #learning #education

Hi folks who #studied a #CompSci degree, can you please tell me what #programming language you learnt in the first year?

#programmingLanguage #studyingComputing #java #python #C #procedural #oop #learning #education

Hi folks who #studied a #CompSci degree, can you please tell me what #programming language you learnt in the first year?

#programmingLanguage #studyingComputing #java #python #C #procedural #oop #learning #education

Hi folks who #studied a #CompSci degree, can you please tell me what #programming language you learnt in the first year?

#programmingLanguage #studyingComputing #java #python #C #procedural #oop #learning #education

Finally my actual #introduction; although I'm not new to mastodon, I'm new to this account...

I have a background in #statistics and #compsci, and am a lead data scientist on the Integrated Data Service for the UK government.

I talk a lot about #metadata, open standards, and "data as the #API".

I try to make data Findable, Accessible, Interoperable, and Reusable using #CSVW and #FOSS tools.

#Python > #R; however I don't have time for that flame war—there's so much cool #data about.

Finally my actual #introduction; although I'm not new to mastodon, I'm new to this account...

I have a background in #statistics and #compsci, and am a lead data scientist on the Integrated Data Service for the UK government.

I talk a lot about #metadata, open standards, and "data as the #API".

I try to make data Findable, Accessible, Interoperable, and Reusable using #CSVW and #FOSS tools.

#Python > #R; however I don't have time for that flame war—there's so much cool #data about.

Finally my actual #introduction; although I'm not new to mastodon, I'm new to this account...

I have a background in #statistics and #compsci, and am a lead data scientist on the Integrated Data Service for the UK government.

I talk a lot about #metadata, open standards, and "data as the #API".

I try to make data Findable, Accessible, Interoperable, and Reusable using #CSVW and #FOSS tools.

#Python > #R; however I don't have time for that flame war—there's so much cool #data about.

Finally my actual #introduction; although I'm not new to mastodon, I'm new to this account...

I have a background in #statistics and #compsci, and am a lead data scientist on the Integrated Data Service for the UK government.

I talk a lot about #metadata, open standards, and "data as the #API".

I try to make data Findable, Accessible, Interoperable, and Reusable using #CSVW and #FOSS tools.

#Python > #R; however I don't have time for that flame war—there's so much cool #data about.

Finally my actual #introduction; although I'm not new to mastodon, I'm new to this account...

I have a background in #statistics and #compsci, and am a lead data scientist on the Integrated Data Service for the UK government.

I talk a lot about #metadata, open standards, and "data as the #API".

I try to make data Findable, Accessible, Interoperable, and Reusable using #CSVW and #FOSS tools.

#Python > #R; however I don't have time for that flame war—there's so much cool #data about.