Lightnews — Scholar-powered news

if Th satisfies (a → b) → Th a → Th b and M satisfies (M a → M b) → a → b then that is to say that Th admits modus ponens (a → b, a ⊢ b) as (M a → M b) → (Th a) → (Th b)

technically you could be satisfied with M (M a → M b) → M (Th a) → M (Th b) [Th wouldn't be free, bounded by M, harder to prove]

1 2

Reposted by lexa!

isabel @isabelroses.com · 13h

the sanity of google software

Google wallet is not Google pay is not Google pay is not Google wallet is not Google check out is not Google wallet is not android pay is not Google pay send is not Google pay

13 85 290

lexa! @lexa.qexat.com · 11h

what's funny is that graphic design is merely a side quest for me, and i wasnt very close them, just members of the same discord server that knew each other a bit more as regulars often do

lexa! @lexa.qexat.com · 11h

i mentioned figma to someone half a decade ago and they reached me out last year to tell me that graphic design is their whole life now :')

1 1

Reposted by lexa!

Adopt a Pet @adoptapet.bsky.social · 19h

Could this be your new buddy? Sienna, located in Chesterfield, MO.

Learn more: https://www.petfinder.com/rabbit/sienna-77335710/mo/chesterfield/missouri-house-rabbit-society-mo56/

Sienna is a Satin mix rabbit, available for adoption in Chesterfield, MO.

13 29

Reposted by lexa!

hayleigh @hayleigh.dev · 25d

i've not even released clique yet and someone is already using it to build out their personal site!! the gleam community is just built different i swear

2 7 26

lexa! @lexa.qexat.com · 1d

it's almost 1am excuse the word swapping

lexa! @lexa.qexat.com · 1d

what's up

lexa! @lexa.qexat.com · 1d

implicit modulars fix this

1 1

lexa! @lexa.qexat.com · 1d

🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇🐇

lexa! @lexa.qexat.com · 1d

happy birthday!!

1 3

lexa! @lexa.qexat.com · 1d

yes i see the original :p

lexa! @lexa.qexat.com · 1d

lmfaoooo

1 2

lexa! @lexa.qexat.com · 1d

tyyy

lexa! @lexa.qexat.com · 1d

OUPS was so fun today!! thank you @cyranhoe.bsky.social for the event hehe

1 1 2

lexa! @lexa.qexat.com · 1d

i see ill try it out ty!!

Reposted by lexa!

./alpine/main.ident @alpine.girlfag.club · 4d

Also open to gig jobs, and VR/VRChat stuff!! Let's build something cool together!!!

looking at you vrc music festivals and or clubs

./alpine/main.ident @alpine.girlfag.club · 4d

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

3 3

lexa! @lexa.qexat.com · 1d

basically im planning to write docs as if v1.0 was out, but in reality it will be in the making

lexa! @lexa.qexat.com · 1d

given a project on version 1.4, ahead doc would be describing 1.8 features while behind would document 1.0

lexa! @lexa.qexat.com · 1d

what do we dislike the most? ahead or behind documentation?

3 3

lexa! @lexa.qexat.com · 1d

i got a pds erorr 👍😓

Reposted by lexa!

CJ Camba @cjcamba.bsky.social · Sep 12

I'm looking for work for november and the following months!

CJ Camba @cjcamba.bsky.social · Jul 8

Hi #Portfolioday!

I'm CJ, I work as an interior artist! I'm available to work in new projects. Also I'm developing a creator owned horror project. I'd like to get in touch with editors.

More pages at cjcamba.com

Cover from my creator owned comic project in the works 'Furtivo'

Interiro black and white page from The Future Favors the Bold

Interior black and white page from The Future Favors the Bold

Portfolio black and white piece of Jubilee and Howard The Duck walking through the street

1 25 20

lexa! @lexa.qexat.com · 1d

even the compiler explorer is on 5.2 :(