lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

66
active users

#softwareengineering

4 posts4 participants0 posts today

New blog post: MSc theses on connecting RTLola via FMUs and a bit of a null-result on using LLMs for code generation

Two of my MSc students at #UIO finished this summer, Selleban M. Farah on “FMUs for runtime monitoring in RTLola”, and Jonas da Silva on “Towards Automated Language Server Synthesis”.

Click on through for more details!

selabhvl.github.io/science,/ll

Software Engineering Research Group @ HVL · Theses on connecting RTLola via FMUs and a bit of a null-result on using LLMs for code generation
More from Volker Stolz

#alife #ai #reflection #BDI #crows for my #commonLisp #emacs #slime #eepitch #caisor #softwareIndividuals #programming (I guess this is particularly #softwareEngineering ).

screwlisp.small-web.org/comple

I consider the scenario where one vehicle tells another one where to get food, and run a #thoughtExperiment with crow tool use. I find programs want to alternate autonomous action with human-in-the-loop interpretive collaboration.

@ksaj @shizamura

Unsung heroes @dougmerritt @mdhughes & everyone.

screwlisp.small-web.orgAfter alife talk practical reflections

#programming #softwareEngineering #computerHistory #bibliography #Sandewall #softwareIndividuals #LISP #CAISOR
screwlisp.small-web.org/comple

My promised bibliography of open-access CAISOR #AI articles from the 1960s-2010s. Each citation links into codeberg.org/tfw/pawn-75 's collected oddities. Because I focused on preserving rarities such as draft versions of papers from the 60s and a single sentence article with JOHN overwrote onto it, my collection should be regarded as a primary archive.

screwlisp.small-web.orgSandewall’s Combined Agenda for Information Analysis, Software Systems, Open-Access Publishing and Knowledge Representation bibliography and links

Filled in a questionaire.

"What should urgently change within your area?"

My answer from the top of my head: "The avoidance of complexity should be seen as a top skill. "Corporate agile" should make way for "real agile". Value for humans should be the center of attention."

Anyone has other (maybe better?) answers?

#programming #softwareEngineering #commonLisp images as communicating #automata screwlisp.small-web.org/comple screwlisp.small-web.org/comple

Article with one minute video showing four lisp images chattering unattended.

There is no leader- they're just talking. However, they are using #emacs #slime #eepitch and sleeps so you can usefully watch them.

A precursor to next week's episode featuring @ksaj discussing breitenbergian vehicles etc.

Do you use a cluster of #lisp images?

#programming #softwareEngineering #emacs #automation from #commonlisp #swank #slime via #eev
screwlisp.small-web.org/screwn
I'm really, really, really happy with how this turned out to work.
CLIM-USER> (eepitch-expr '(get-decoded-time))
(GET-DECODED-TIME)
T

Lisp receives an instruction from emacs to send an instruction to emacs to pitch an instruction to the lisp image, which gets executed, and control returns to the lisp image.

@eduardoochs I pulled the insides out of eepitch-do.
@akater@shitposter.world <- CL-EL

#programming #softwareEngineering article screwlisp.small-web.org/progra #commonLisp #asdf #systemsProgramming #series #pathnames #packaging

Really simple... Sort of... But so intricate to write. I deal with (writing a smidge of #interactive #lazyEvaluation #functionalProgramming ) :

- Tangling markdown into an asdf :class :package-inferred-system lisp system
- Doing so with scan-file and collect-file from series
- Working with lisp’s make-pathname directories.

screwlisp.small-web.org:screwlisps-knowledge/tangle common lisp asdf package markdown tangling and lisp pathnames

I am finishing work on an ongoing project and will be available for freelance full-stack software development from August.

Need someone with 20+ years experience to take your business idea off the ground? Have a team that needs temporary augmentation? Want to outsource something? Need a shiny front-end to be built? Got slow back-ends, front-ends or SQL queries to optimize? Cloud services too expensive?

Get in touch: salomvary.com/

Márton SalomváryMárton SalomváryI am a Europe based freelance full-stack developer and consultant who has been building web applications for over 20 years.
Continued thread

#AI coding tools can be time-saving automation at the hands of an already-senior developer, but that’s only because it utterly relies on the motivation and depth of experience already found in the HUMAN that’s using it to shape it into something worthwhile. Like a seasoned musician toying with analog synthesizers and sequencers, finding serendipity in the semi-random stream of patterns that are suitable to be molded into actual works requires a human editor. AI itself cannot offer that wisdom.

AI will never be a replacement for expertise. It does not compensate for a lack of skill. It offers nothing to replace an understanding of the fundamental principles of the craft. It will not turn a junior engineer into a senior one.

And it will not create a complex product, at least not one that won’t crumble the moment you have to maintain it.