Lightnews — Scholar-powered news

★ @lexa.qexat.com · 14h

thank you!

1

Reposted by ★

beetle moses @beetlemoses.bsky.social · 9d

25 780 4.5K

★ @lexa.qexat.com · 16h

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

3

★ @lexa.qexat.com · 17h

tyyy

2

★ @lexa.qexat.com · 18h

고마워ㅝㅝ

2

Reposted by ★

Gneiss @gneiss.name · 18h

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 · 18h

okay just applied at tarides gulp

3 14

★ @lexa.qexat.com · 21h

introduction done. 164 lines of markdown

3

★ @lexa.qexat.com · 21h

many such gay cases

1

★ @lexa.qexat.com · 23h

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

★ @lexa.qexat.com · 1d

# let xs = [0; 1; 2]
val xs : int list = [0; 1; 2]
# let ( .%[;..] ) a b = a @ Array.to_list b
val ( .%[;..] ) : 'a list -> 'a array -> 'a list =
# let ys = xs.%[3; 4; 5]
val ys : int list = [0; 1; 2; 3; 4; 5]

chat i dont think we should let french ppl design languages ever again

3

★ @lexa.qexat.com · 1d

This recursive type is not regular. All uses need to match the definition for the recursive type to be regular.

1

★ @lexa.qexat.com · 1d

because i wont maintain them anymore

1 2

★ @lexa.qexat.com · 1d

all my python project repos are now archived 🥲

1 2

Reposted by ★

Reject Convenience @rejectconvenience.com · 1d

This is how my projector works (in blender)! (please note the perspective is insane here, the light sources are actually very close together)

2 4 36