Lightnews — Scholar-powered news

jhemann.bsky.social @jhemann.bsky.social · 2d

I am!

jhemann.bsky.social @jhemann.bsky.social · 3d

But didn't we find out that "classic Google search" isn't classic Google search? Like they got the idea to dumb their search down so that ads were easier to sell?

Reposted

Racket @racket-lang.org · 4d

42 min till RacketCon starts
FREE live stream at con.racket-lang.org
we have a #racketcon chat channel on the racket discord at discord.gg/UCFKsryPkW

If you can afford it: please register for $10 USD to help support the livestream www.eventbrite.com/e/racketcon-...

(fifteenth RacketCon)

con.racket-lang.org

2 3

Reposted

Ilya Sergey @ilyasergey.bsky.social · 4d

One week until ICFP/SPLASH’25!

conf.researchr.org/home/icfp-sp...

ICFP/SPLASH 2025

Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...

conf.researchr.org

3 9

Reposted

Shriram Krishnamurthi @shriram.bsky.social · 6d

OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...

SPLASH 2026 - OOPSLA - SPLASH 2026

Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! In the meantime, please consider this overview of th...

2026.splashcon.org

1 23 19

jhemann.bsky.social @jhemann.bsky.social · 6d

Or is the magic part that prolog is awesome and it's really cool to have an executable specification?

1 2

jhemann.bsky.social @jhemann.bsky.social · 8d

The one I heard that seemed catchy was Properly Implemented Tail Call Handling

jhemann.bsky.social @jhemann.bsky.social · 10d

I have no idea about the rest of the context. But It's worth noting that R5-D4 deliberately malfunctioned because he knew how important R2-D2's mission was. That self-sacrifice gets an entire section on the Wookiepedia. starwars.fandom.com/wiki/R5-D4.

R5-D4

R5-D4, also referred to as R5 (Arfive) and called "Red" by Luke Skywalker, was a red and white-striped R5 astromech droid owned by a group of Jawas on Tatooine in the early days of the Galactic Civil ...

starwars.fandom.com

1 2

Reposted

Dan Garisto @dangaristo.bsky.social · 12d

New: After a long wait, the GRFP solicitation is live! Deadlines have been extended to early November, so applicants have a bit over a month to submit. www.nsf.gov/funding/oppo...

NSF Graduate Research Fellowship Program (GRFP)

www.nsf.gov

2 110 110

jhemann.bsky.social @jhemann.bsky.social · 11d

Yes

1

Reposted

Per Axbom @axbom.com · 13d

Happy Petrov Day to those who celebrate. On September 26, 1983, Stanislav Petrov made the correct decision to not trust a computer.

I've attached a short clip from a reenactment of the situation in the documentary The Man Who Saved the World.

1/11

5 90 190

jhemann.bsky.social @jhemann.bsky.social · 15d

con.racket-lang.org ??

(fifteenth RacketCon)

con.racket-lang.org

1

jhemann.bsky.social @jhemann.bsky.social · 16d

My Bleeps, do you have any git games you find better learning tools or more fun than ohmygit ? What else is there in this space?

jhemann.bsky.social @jhemann.bsky.social · 22d

Unless it's a line of work by the same cohort of folks, right? Probably not what's happening in the case you have in mind.

1

jhemann.bsky.social @jhemann.bsky.social · 22d

Or sortcites=true , right?

1 1

jhemann.bsky.social @jhemann.bsky.social · 26d

munihac.de/2025.html

1

jhemann.bsky.social @jhemann.bsky.social · Sep 5

I assume I'm misinterpreting "continuation class".

1

jhemann.bsky.social @jhemann.bsky.social · Sep 5

What are some examples you have in mind?

1

jhemann.bsky.social @jhemann.bsky.social · Sep 4

Reposted

Mike Sperber @sperbsen.bsky.social · Aug 26

The Call for the 2026 International Symposium on Functional and Logic Programming (FLOPS) is open - the symposium will be May 26-28 in Akita, Japan. Deadline for the CfP is Dec 8 (abstracts) / Dec 16 (submissions).
Send us your best on the best of both worlds!
functional-logic.org/events/flops...

FLOPS 2026 - Call for Papers | Functional Logic Programming

18th International Symposium on Functional and Logic Programming

functional-logic.org

7 5

jhemann.bsky.social @jhemann.bsky.social · Aug 25

I'm not directly familiar with the former, so not fully sure this fits. But it sounds like it does: slate.com/culture/2019....

How an Internet Obsession Resurrected a Long-Lost Sesame Street Cartoon

"Cracks" spooked children in the 1970s. Then it disappeared.

slate.com

1

jhemann.bsky.social @jhemann.bsky.social · Aug 25

Who @github.com decided that the default setting for a repo generated from a private template should be to create a public repo? That seems like a dangerous choice.

GitHub · Build and ship software on a single, collaborative platform

Join the world's most widely adopted, AI-powered developer platform where millions of developers, businesses, and the largest open source community build software that advances humanity.

Github.com

jhemann.bsky.social @jhemann.bsky.social · Aug 24

OCapN, my CapN ?

1 2

jhemann.bsky.social @jhemann.bsky.social · Aug 22

I would have missed this link too had you not mentioned it here!

1

jhemann.bsky.social @jhemann.bsky.social · Aug 21

This is so darn well written. If I was teaching a sort of a history of programming languages course, this would be on my reading list.

1 3