Hey everyone involved in #ComputerScience, are you looking for a #job in #academia?

Aalto University in Finland has several positions open for assistant professors. The topics include #MachineLearning, #Programming, #ComputerArchitecture, #CyberSecurity, #SoftwareEngineering and Human-Computer Interactions.

https://www.aalto.fi/en/department-of-computer-science/assistant-professor-positions

Are we tired of social media once and for all?

In my latest blog post, I'm stating my thoughts of this particular topic: Even if there is an almost perfect social media platform, do people still even want to socialize online?

https://www.danielbrendel.com/blog/24-are-we-tired-of-social-media-once-and-for-all

This video is a really pretty visualization of the A* pathfinding algorithm using #OpenStreetMap road network data for #Chicago and #Rome as examples.

https://youtu.be/CgW0HPHqFE8

PODCAST: Amanda Wasielewski explores the convergence of art history and computer science, highlighting how machine learning can analyze art images and revive formalism. This interdisciplinary approach offers new perspectives on data politics, categorization, and the nuances lost in automation. How can such collaborations reshape our understanding of art in the digital age?
#DigitalArtHistory #ComputerScience #Interdisciplinary
https://www.cigionline.org/pp/where-do-art-history-and-computer-science-meet-drawing-lessons-with-amanda-wasielewski/

Mastering Recursion - DEV Community

The article presents recursion as a process of breaking down problems into self-replicating subproblems. The examples a easy to understand and nicely explained. However, the title "Mastering Recursion" feels is a bit too enthusiastic as the article only covers the basics.

https://dev.to/theyashsawarkar/mastering-recursion-think-like-a-recursive-ninja-2pm

Seems like an #introduction is a good idea:

Hello! I am Lukas Müller and a #computerscience student from #Germany. In my spare time I like to create projects and do sports.
Here you can find updates on my projects and everything that’s on my mind. (In current times unfortunately politics too)

36th European Summer School in Logic, Language and Information
https://2025.esslli.eu/

Registration is now open for students!

Boosts are appreciated.

I just published a blog post in which I explore the fascinating world of succinct data structures. I didn't know these existed until recently. If you don't either, this blog post should help fix that.

https://blog.startifact.com/posts/succinct/

Researchers fed AI insecure code, hoping it would then advise its users to write easily hacked code. Teehee!

Bizarrely, this is enough to turn the AI all-round evil: it now wants to conquer the world, enslave humanity, and praises Nazis.

==> Arthur C. Clarke was right! HAL was a victim too

Via @arstechnica

https://www.emergent-misalignment.com/

Long division verified via Hoare logic — https://www.cofault.com/2025/02/long-story-of-division.html
#HackerNews #LongDivision #HoareLogic #ComputerScience #Verification #Algorithms

Is there a term for a graph that changes shape as it is traversed? (You could say that an edge is or isn't enabled depending on which edge was used to enter the node)

Sublinear Time Algorithms — https://people.csail.mit.edu/ronitt/sublinear.html
#HackerNews #Sublinear #Time #Algorithms #algorithms #computationaltheory #MIT #computerScience #efficiency

New account, so new #introduction. Let's do it again!

I have a #MastersDegree in #ComputerScience and #ComputerEngineering. I went to #NMU for undergrad and #MSU for my graduate degree. I currently work at #UChicago for the #TMWCenter, which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop #OpenSourceSoftware such as
- a #SphinxDoc extension that embed #Fediverse comments on your page
- a library to talk to #ManifoldMarkets from native #Python
- a #PredictionMarket manager using the above
- a #transpiler from a subset of Python to #OpenStreetMaps's #OverpassQL
- bug fixes to many other projects, including #mypy, #base58, #attrs, #CPython, & more

I spend a fair bit of my time these days on #MathResearch, specifically into the #ThueMorse Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

#Demisexual, #transfem, and happily engaged to my #enby sweetheart.

We have two cats: #OpheTheLoaf and #MayalaranTheCat (yes, from #StormlightArchive) See here for more on them!

I speak English fluently, Spanish haltingly, and am trying to learn Chinese

#queer #Chicago

Looking for examples and reference networks for qualitative research,

papers and textbooks are very welcome for methodology

Focus on CS, IS, CI

Please boost

#reserch #cybersecurity #computerscience #informationsystemsresearch

Suche nach beispielen und referenzwerken für qualitative forschung,
Paper und Lehrbücher sind sehr willkommen für methodik

Focus auf CS, IS, CI

Bitte Boosten
#reserch #cybersecurity #computerscience #informationsystemsresearch

Hello World!

I'm a Prof. of #ComputerScience at VRAIN/UPV (València, Spain), mainly working on (explainable, symbolic) artificial #intelligence #AI #XAI, (#probabilistic) #logic #programming, term #rewriting, #causality, #concurrency, programming #languages, #reversible computing, program #verification, and #debugging. 


I plan to use this account mostly for scientific matters, but not only. I'm also quite interested in #photography, #sciencefiction, #travel, #movies, #series, etc, etc.

blog! “Some esoteric versioning schemes (monotonic moronity)”

Since time immemorial, software has had version numbers. A developer releases V1 of their product. Some time later, they add new features or fix bugs, and release the next version.

What should that next version be called? Modern software broadly bifurcates into two competing…

Read more: https://shkspr.mobi/blog/2025/02/some-esoteric-versioning-schemes-monotonic-moronity/
⸻
#ComputerScience #shitpost #software

https://medium.com/@screwlisp/live-interview-with-kent-pitman-incoming-216092e24f44
#lisp #live #interview #computerScience Kent Pitman, MIT in the 60s, lisp, everything, the #climateCrisis, #haiku (read *by Kent* this time)

Please do #boost / #retoot ! Ask questions live:

telnet lambda.moo.mud.org 8888
co guest
@join screwtape
"Hey how could lisp's condition system drastically improve #python ?

#lispyGopherClimate @kentpitman #live #interview #computerScience #programming #lisp #commonLisp #python with some special announcements and releases.
#teco #emacs #conditions

https://archives.anonradio.net/202502120000_screwtape.mp3

#archive Thanks for the incredible interview and livechat everyone!

Interview 1 / ?

Please drop questions here beforehand or join us live in #lambdaMOO as always !
telnet lambda.moo.mud.org 8888
co guest
@join screwtape

@nosrednayduj @sacha @hairylarry @pkw @rat @pizzapal