Lightnews — Scholar-powered news

Reposted by ★

./alpine/main.ident @alpine.girlfag.club · 2h

Hey y'all! If you, or someone you know, is/are looking for:

- Broadcast Engineer
- Camera Switching Technician
- Graphics Operator

Please let me know!
I can work internationally! (I am based in the Netherlands)

Please let me know!
#mutualaid #forhire #transmutualaid #helpsky #broadcast

1 5 5

★ @lexa.qexat.com · 3h

congrats!!

1

★ @lexa.qexat.com · 3h

this documentary is fantastic (allegedly)

The Onion @theonion.com · 13h

The Onion Investigates: Jeffrey Epstein

YouTube video by The Onion

www.youtube.com

2

Reposted by ★

The Onion @theonion.com · 13h

The Onion Investigates: Jeffrey Epstein

YouTube video by The Onion

www.youtube.com

23 210 1.1K

★ @lexa.qexat.com · 5h

what the fuck.

1

★ @lexa.qexat.com · 19h

thank you!

1

Reposted by ★

beetle moses @beetlemoses.bsky.social · 9d

25 780 4.5K

★ @lexa.qexat.com · 21h

The article will probably not be out today, I'll try to publish it tomorrow

3

★ @lexa.qexat.com · 22h

tyyy

2

★ @lexa.qexat.com · 23h

고마워ㅝㅝ

2

Reposted by ★

Gneiss @gneiss.name · 23h

Several years ago while working in Madagascar I came across these small floating plants. I sketched them and the Malagasy name was Ramilamina. When I got back home I learned the English name is Azolla and are actually ferns. They fix nitrogen, can double in mass in two days, and caused an ice age.

sketch of azolla, ramilamina in Malagasy.

Azolla in Minecraft. Model created by prehistoric fauna mod team.

2 6 34

★ @lexa.qexat.com · 23h

okay just applied at tarides gulp

3 14

★ @lexa.qexat.com · 1d

introduction done. 164 lines of markdown

3

★ @lexa.qexat.com · 1d

many such gay cases

1

★ @lexa.qexat.com · 1d

i love implementing the lambda calculus *twice* just for an article

7

★ @lexa.qexat.com · 1d

www.youtube.com/watch?v=jlzg...

Deathpact - SOOTHSAYER (Official Audio)

YouTube video by Deathpact

www.youtube.com

2

Reposted by ★

Lilja Draws Girls @yuurei-lilja.bsky.social · 1d

share your couples' art

17 87

Reposted by ★

maianne @maiannerouge.bsky.social · 1d

iel-euh, tu m'avais pas dit qu'c'était un'e magicien'ne-euh

1 3

Reposted by ★

I suggest selfcest @isuggest.selfce.st · 1d

hey so you can now sponsor me thx <3

Sponsor @NekoDrone on GitHub Sponsors

Support NekoDrone's open source work

github.com

3 2 13

★ @lexa.qexat.com · 1d

Just joking, I only have some ideas about proof inference / automation that I want to try out.

★ @lexa.qexat.com · 1d

This odd data structure, the typed tree, is a tool that will be useful to me later... but I can't tell much for now. (Mostly because I'm not sure how bad my idea actually is)

★ @lexa.qexat.com · 1d

This also means I will probably be able to finally finish my implementation of the lambda calculus fully written in continuation-passing style, since I was stuck out of frustration with this very issue.

★ @lexa.qexat.com · 1d

I think that I will write tomorrow about binding monads inside continuations, the syntactical frustration we currently have with that in OCaml, and propose a (probably over-engineered) nice-ish working solution that I came up with while working on a function to connect typed lists.

2

★ @lexa.qexat.com · 1d

Something I won't explore, but that I find interesting and worth mentioning, is the usefulness of typed binary trees in the context of subtyping, in which case `equal` has the type 'ty -> 'ty -> bool option (and probably has a better name, e.g. `check_bound`).

★ @lexa.qexat.com · 1d

This odd data structure, the typed tree, is a tool that will be useful to me later... but I can't tell much for now. (Mostly because I'm not sure how bad my idea actually is)

1

★ @lexa.qexat.com · 1d

What I call typed lists here are single-child trees where every node has a blank, and a subtree that wishes to attach to it must have a tab that matches

connect : equal:('ty -> 'ty -> bool) -> ('a, 'ty) tree -> ('a, 'ty) tree -> ('a, 'ty) tree option

(i was implementing this function in CPS)

1

★ @lexa.qexat.com · 1d

I think that I will write tomorrow about binding monads inside continuations, the syntactical frustration we currently have with that in OCaml, and propose a (probably over-engineered) nice-ish working solution that I came up with while working on a function to connect typed lists.

1 1 5