fifth-year PhD student in systems engineering
the current title of my dissertation:
"Seamless Digital Engineering: A Grand Challenge"
I am designing a #LISP programming language, #HALISP, that provides the tools to design systems that are correct-by-design.
background: software and mechanical engineering, consulting
| pronouns | he / they |
this is another reminder to those still on mastodon.social, mastodon.online or universeodon to PLEASE migrate to another instance to chill with a smaller community.
these big instances are federating with Facebook/Meta's #Threads server(s) and as a result are being silenced/defederated by many in the fediverse, meaning people won't be able to see your posts! and you won't be able to chill with cyberpunks. 'nuff said!
There is an alternate timeline where the semantic web took off and there was wide investment in ontological tooling to ensure that the information in academic papers, websites, and applications was structured and accessible to future processing.
We instead live in a world where all the useful data is trapped inside proprietary formats, and entangled in meaningless prose - a world primed for large language models to come along and hallucinate the data that might contained therein.
my conference paper has been rejected. I await the reviewers' feedback.
now I am wondering if this will delay my graduation. the feedback is very likely gonna make me mental, too. 🥴
Happy #BlackHistoryMonth !
Leland Melvin is the only person to have both been drafted in the NFL and been an astronaut. But, frankly, he deserves perpetual fame for his official NASA photograph.
any researchers in computing or an adjacent field, I'd love to connect!
Coordinated cutting of specific fibre cables seems to be quite effective.
> Internet services were down or running slowly in several French cities on Wednesday after fibre optic cables were cut overnight in "attacks" on the crucial infrastructure, telecom operators said.
Sarah Jamie Lewis
Chip_Unicorn
Tom Elliott
tobbsn