Lightnews — Scholar-powered news

Loris D'Antoni @lorisdanto.bsky.social · 17d

Who teaches an undergraduate principles of programming languages class? Looking for some inspiration to teach one at UCSD

2 1 5

Loris D'Antoni @lorisdanto.bsky.social · 24d

The world’s largest federated conference in logic & automated reasoning, FLoC 2026 (www.floc26.org), will be in Lisbon!
Thousands will attend—an excellent chance for companies to showcase their presence. Interested in sponsoring? Details www.floc26.org/sponsors/FLo...

FLoC 2026: The 9th Federated Logic Conference

www.floc26.org

5 6

Loris D'Antoni @lorisdanto.bsky.social · Aug 9

I've been added to the "girls' mums" group chat of my daughter's school. How to proceed?

1 5

Loris D'Antoni @lorisdanto.bsky.social · Jul 18

Today's Wordle celebrates a person who has provided the inspiration behind much of my work

2

Loris D'Antoni @lorisdanto.bsky.social · Jul 13

I actually only watch anime and do magic tricks in the list. Occasionally build models (but from data and using gradient decent)

2

Loris D'Antoni @lorisdanto.bsky.social · Jul 13

It's a miracle I've found a partner in my life.

Molly White @molly.wiki · Jul 12

Bar chart showing "unattractiveness of male nerd hobbies" from reading (1.8%), building models (32.1%), and stamps (51.3%) to anime (72.6%), crypto (76.9%), and Funko (87.7%)

2 7

Loris D'Antoni @lorisdanto.bsky.social · Jul 13

I'm offended

1

Loris D'Antoni @lorisdanto.bsky.social · Jun 29

Growing fresh tomatoes is hard work, but it really pays off once your 1yo picks them up when you are not watching and squishes them into flat mush

8

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

I can see why the student thinks I always wear the "hooded long blue long-sleeve shirt"

3

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

7/7

2

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

6/

1 1

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

5/

1

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

4/

1

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

3/

1

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

2/

1

Loris D'Antoni @lorisdanto.bsky.social · Jun 11

The last question for my CSE230 final was
“Draw a comic about anything we learned in this class (e.g., Proving theorems with Coq, types, functional programming, Loris, etc.)”
Here are the best ones.

2 4 22

Loris D'Antoni @lorisdanto.bsky.social · Jun 6

What version of the Turing test is
"Can a human pretend to be an AI?"

TechSpot @techspot.bsky.social · Jun 3

Builder.ai collapses after revelation that its 'AI' was hundreds of engineers
– The fall of a unicorn built on hype, humans, and fake AI
www.techspot.com/news/108173-...

2 4

Reposted by Loris D'Antoni

SMBC comic Bot @smbc-bot.bsky.social · Jan 15

Saturday Morning Breakfast Cereal - Applied
https://www.smbc-comics.com/comic/applied

"You are all impure now!"

5 18

Loris D'Antoni @lorisdanto.bsky.social · Apr 17

Teaching my research group how to label their axes

1 23

Loris D'Antoni @lorisdanto.bsky.social · Apr 12

This is wild. And so cool that every so often you can catch her climb in San Diego

Ruth Joffre @ruthjoffre.bsky.social · Apr 10

omg Brooke Raboutou just broke a major glass ceiling to become the first woman to ever climb 5.15c/9b+!!!

for reference, only THREE people in the world have ever climbed a harder grade: Adam Ondra (Silence 9c), Seb Bouin (DNA 9c), & Jakob Schubert (B.I.G. 9c)

www.climbing.com/news/brooke-...

Brooke Raboutou Solves ‘Excalibur,’ Becoming First Woman to Climb 5.15c

The American Olympian said the route forced her to “argue with doubt until it began to doubt itself.”

www.climbing.com

10

Reposted by Loris D'Antoni

Nicole Micheroni @nicolemicheroni.bsky.social · Apr 11

Some personal news: the Department of Homeland Security has given me, an immigration lawyer born in Newton, Massachusetts, seven days to leave the U.S. Does anyone know if you can get Italian citizenship through great-grandparents?

Email from DHS revoking parole, unnamed recipient, received by Nicole Micheroni. Part 1

Email from DHS revoking parole, unknown recipient, received by Nicole Micheroni. Part 2

2.3K 9.9K 26K

Loris D'Antoni @lorisdanto.bsky.social · Apr 10

Why is it called Apple TV+ and not Severance package?

11

Loris D'Antoni @lorisdanto.bsky.social · Apr 3

Is there any implementation of error correcting parsing that gives me minimum edit distance to a string in the grammar?

3

Loris D'Antoni @lorisdanto.bsky.social · Mar 20

Zoom killed academic department cultures

3 7

Loris D'Antoni @lorisdanto.bsky.social · Mar 19

Margus Veanes tells us about derivatives

2