Hey there! I’m Renata (though I much prefer being called Rê). I’m a 20-something from São Paulo, Brazil.
I hold a degree in Psychology but decided to challenge myself by starting a second degree in Computer Science. I’m still a beginner in tech, but the journey has been exciting so far — and I gladly welcome encouragement (and tips!) along the way.

Outside of code, I’m into crochet, writing, gaming, and admiring all kinds of artists. If you’re a creator of any sort, you’re more than welcome here.

I’m also a polyglot — I speak Portuguese, English, Italian, and Spanish (though I might trip over my words sometimes :p ). Happy to chat in any of them!

Neurodivergent, bisexual, curious soul feel free to interact with me.

#introduction

Atrium on top floor -- at the far side you can see a corridor that leads into Gates Hall, while a workman is still painting the wall next to the staircase down to the next level

They just opened the door at the new CS and Information Science building across the street this Monday, Tuesday I brought my wide angle Zeiss over

Types of #Programmers in #CS and #IT:

• Theorist—seek new discoveries in computability theory, complexity theory, and type theory (Church, Turning, Kleene, Cook, etc.)
• Inventor—design, analyse, prove, and publish an original algorithm (Knuth, Dijkstra, Karp, Tarjan, etc.)
• Engineer—devise a correct, efficient implementation of a published algorithm (implementers of DSP, DIP, etc.)
• Translator—convert an algorithm's mathematical description directly into a programme (CS undergraduates)
• Cobbler—cobble together APIs into a programme that might, or might not, work (senior IT practitioners)
• Cutter—cut and paste existing bits of code into a programme that just might do something unexpected (mid-level IT practitioners)
• Cleaner—clean up senior team members' messy, buggy code, while leaving the existing bugs intact and adding a few new ones (junior IT practitioners)
• Generator—ask AI to write direct-to-production code that no IT practitioner in the team could be bothered to read (senior IT managers)

My old introduction was very outdated, so it's time to reintroduce myself:
#introduction

Hi , I’m Laura.

I am a transfeminine person, somewhat in the middle of my transition. #trans #transbubble

A major part of my time I spend as a Postdoc in computer science, working on embedded AI and low-power IoT communication. #cs #TinyML #IoT #academia #science

Outside of work, I am active in the local #queer center (board member, GER: Vorstand), I enjoy playing board games, and I listen to too many #podcasts.

CS degrees now have one of the highest rates of unemployment.

https://www.newsweek.com/computer-science-popular-college-major-has-one-highest-unemployment-rates-2076514

How are concepts like 'reasoning' and 'inference' defined?

#Philosophy has definitions that go way back (e.g., in #epistemology and #PhilMind). Now #computerScience are realizing a need for definitions.

This #openAccess #CS review takes a crack at them: https://doi.org/10.48550/arXiv.2504.15900

Hey fedi, I need some advice regarding managing identities online:

I am now studying CS, and as much as I dislike it, GitHub and LinkedIn "profesional" profiles have become a requerimient.

My conflict arises when that need clashes with not wanting to have PII on my profiles. But not wanting to segregate my contributions on two different accounts.

What do you folks do?

Explicit Substitutions #pl #typetheory #cs #phd

#Princeton's biggest crypto boosting computer scientist Jaswinder Pal Singh has somehow ended up in the middle of an alleged corporate fraud involving (yet another) member of the Forbes 30 under 30.

I don’t know any details about this but the fact that JP Singh has been using Princeton's name to provide legitimacy to cryptocurrency for years and has now somehow landed in the middle of what looks like an egregious and massive corporate fraud going on at CaaStle is… interesting.

https://www.axios.com/2025/04/07/caastle-let-ceo-remain-after-learning-of-alleged-fraud

A permanent "computer science research engineer" position is open within my research team at Télécom Paris (Palaiseau, France): https://institutminestelecom.recruitee.com/l/en/o/ingenieure-ou-ingenieur-de-recherche-en-informatique #cs #joboffer Boosts apreciated!

CMU research shows compression alone may unlock AI puzzle-solving abilities

https://arstechnica.com/ai/2025/03/compression-conjures-apparent-intelligence-in-new-puzzle-solving-ai-approach/

Does anyone have an electronic copy of the CMU tech report of Michael Wayne Young Ph.D. thesis
"Exporting a User Interface to Memory Management from a Communication-Oriented Operating System"?

This is CMU technical report CMU-CS-89-202. The CMU tech report server has no entries for 1989...

I've moved over from mastodon.design, so it's time for another #introduction toot!

Hi

I'm Dominik, a young coder from Switzerland.

I work as a web dev (mainly with #webflow) and study #cs (in #bern) by ​day, while working with #laravel and on my #personalwebsite by night.

Some things I'm into:
#running
#photography
#blogging
#indieweb
#minimalism

My main home on the internet is https://dominikhofer.me – you're invited to pay me a visit over there :)

Cheers!

Hearing about a young hacker whose being extorted by the University of Washington, not cool UW.

The student claims they built an app to help kids get the course schedules they want, a hack as old as time, and the university decided to expel him until he ports his app to the university's internal systems.

This would be unpaid labor.

Until then his class registration is on hold and he can't register or attend his last few classes.

https://www.linkedin.com/posts/jdkaim_github-jdkaimhuskyswap-huskyswap-project-activity-7282891503142641664-nA8Y

Registration is open for the first SIGCSE Virtual conference (on computer science education):

https://sigcsevirtual.acm.org/

In the name of time, money, and carbon, we should be attending more virtual conferences.

If I give you a big ol’ integer and say “I think this might be a combination of nCr something… but I don’t remember n or r— or maybe it’s just some integer.

How do you efficiently test to see if it’s a possible result from that formula?

I mean I could make a list up to the needed digits and search, but that isn’t very elegant. Other ideas?

1. 42503 (easy)
2. 7413705167549733 (harder)
#math #cs #annoying #