LightNews LightNews
orpheee.bsky.social
@orpheee.bsky.social
86 followers 140 following 590 posts
unironically latinx
Posts Replies Media Videos
orpheee.bsky.social
deleted my cryptography class virtual machines accidentally :(((
photorec output, searching deleted files
November 12, 2025 at 1:46 AM
orpheee.bsky.social
sigur ros, my beloved
November 9, 2025 at 11:18 PM
orpheee.bsky.social
don’t wanna be too much of a hater why is “chestertons fence” even a thing????

pbs.twimg.com/media/G4sh8t...
November 2, 2025 at 7:14 AM
orpheee.bsky.social
u/NectarineOne7473 • 1m ago Nhat are some ways you like to get yourself out of a unk? r/AskReddit • 1 day ago What are some ways you like to get yourself out of a funk? 1 upvote • 12 comments
November 1, 2025 at 11:51 PM
orpheee.bsky.social
#feelthat
“when it’s 2067 and cryogenically seated grand emperor trump sends out the orders for all the pala tie drones ande ICE air units to slime me because I posted edited jd vance pics and criticized ishr4el but the dubai chocolate and crumbl cookie flavored matcha mixed with lebron hennessy i drank earlier while reading prominent feminist literature instills me with the legendary power of "woke for all" so i lowkey soar into the air with my karl marx labubu and fight back while bumping my clairo, mitski and lana del rey on my wired earbuds” text on top of superman scene where he fights all the robots
October 18, 2025 at 4:26 PM
orpheee.bsky.social
i did it this way because apparently that’s how some tex package does it, but my lib also has an indented display option:
gh issue showing a feature request with sample output from latex natural deduction output from typst
October 12, 2025 at 11:22 PM
orpheee.bsky.social
box box box!
typst rendering of a natural deduction with fitch-style diagrams, but with recursive boxes for indentation
October 12, 2025 at 4:41 AM
orpheee.bsky.social
im in love
CSIRAC, by Ninajirachi
October 9, 2025 at 5:23 AM
orpheee.bsky.social
told friend about bad movie i saw, and before i started ranting he said “oh, was there forced inclusion?“ 😭😭
Guy On Doomed Planet Mostly Concerned With Skin Color Of People In Movies © the ONION
September 28, 2025 at 3:04 AM
orpheee.bsky.social
haskell, of course!

lean, in second place, havent been able to write much of it
haskell sticker on laptop
September 12, 2025 at 5:29 AM
orpheee.bsky.social
uwuntu
uwuntu in a text editor as bad ascii art
September 9, 2025 at 5:46 AM
orpheee.bsky.social
teoría del internet vivo
• YouTube soy tu ano Tyler The Creator ring ring ring soy tu ano remix 73K views • 8 days ago ...more Kofy'nt 699 Subscribe 18K Share Save Comments 543 00 teoria del internet vivo
September 6, 2025 at 5:04 PM
orpheee.bsky.social
read the first line and immediately screamed of laughter TRULY AMAZING
Jonathan Blow on Rust Okay, but if I use 'unsafe everywhere, then I de facto don't have memory safety. Why, then should I use Rust and pretend like I am getting memory safety? Why wouldn't I use a lower- friction language with a faster compiler? It looks to me like the Rust community has this weird way of wanting to have its
August 27, 2025 at 12:19 AM
orpheee.bsky.social
i knew i had seen this before!
screenshot of “mirror guide” album, that depicts a figure inside an empty boeing reddit post about a photo of the interior of a boing 787
August 24, 2025 at 5:01 AM
orpheee.bsky.social
i also had this anxiety… i miss my dad
“ They were keenly aware that I was now their only parent, and Willa, my youngest, obsessed about it, asking, "If you "If you die, how are people going to know how to find us?" It was almost a year before I could go out at night without the kids' going into a panic. When I forced myself to make a few tentative forays into the world, within an hour there would be a phone call and I'd be on my way back home.”
August 20, 2025 at 2:34 AM
orpheee.bsky.social
cotorra música
volando voy (rumba)
August 1, 2025 at 5:35 AM
orpheee.bsky.social
'i have very niche interests', my interests:
screenshot of a popular youtuber, with many followers on bsky
August 1, 2025 at 2:01 AM
orpheee.bsky.social
famously, zig is a dependently typed language
fn binaryOP(self: *VM, comptime interT: type, comptime mkValue: fn (interT) Value, comptime op: fn (f64, f64) interT) ?InterpretResult { if (!self.peek(0).isNumber() or !self.peek(1).isNumber()) { self.runtimeError("Operands must be numbers.", .{}); return .RUNTIME_ERR; } const b = self.pop().number; const a = self.pop().number; self.push(mkValue(op(a, b))); return null; }
August 1, 2025 at 1:57 AM
orpheee.bsky.social
coq and rocq
artwork of two roosters
July 26, 2025 at 11:22 PM
orpheee.bsky.social
music of the gods
screenshot of los ángeles by rosalía
July 23, 2025 at 6:00 AM
orpheee.bsky.social
lol i experienced the same thing but with interestellar imax, literally the meme:
oppenheimer imax meme (distorted face due to front row seating)
July 21, 2025 at 11:59 PM
orpheee.bsky.social
why not name instances and use them explicitly as arguments like in lean?
July 21, 2025 at 4:57 PM
orpheee.bsky.social
mi amigo tirando factos
yo: ziglang.org yo: ">que paradigma" es como C pero mejorcito amigo: eso suena a mentira yo: no empecemos amigo: jajaj está bien, hoy no quieres oír la verdad
July 19, 2025 at 1:54 AM
orpheee.bsky.social
every day im amazed by myself
unsafe def showVal : LispVal -> Std.Format | .atom a => .text a | .list a => "(" ++ unwords showVal a ++ ")" | .number a => repr a | .string a => repr a | .fn _ => "(internal function)" | .lambda _ _ => "(lambda function)" | .nil => "Nil" | .bool false => "#t" | .bool true => "#f"
July 15, 2025 at 4:08 AM
orpheee.bsky.social
lmaooo my stupid ass thought haskell's `$` was ONLY present as `<|` in lean so i had to type that everywhere, but then i copy-pasted a bunch of haskell code with `$` and there weren't any errors lololol, i confused, press 'go to definition' AND THERE IT WAS `$` for function application in lean
/-- Alternative syntax for `<|`. `f $ x` means the same as the same as `f x`, except that it parses `x` with lower precedence, which means that `f $ g $ x` is interpreted as `f (g x)` rather than `(f g) x`. -/ -- Note that we have a whitespace after `$` to avoid an ambiguity with antiquotations. syntax:min term atomic(" $" ws) term:min : term macro_rules | `($f $args* $ $a) => if a.raw.isMissing then -- Ensures that `$f $args* $` is elaborated as `$f $args*`, not `$f $args* sorry`. -- For the latter, the elaborator produces `TermInfo` where the missing argument has already -- been applied as `sorry`, which inhibits some language server functionality that relies -- on this `TermInfo` (e.g. signature help). -- The parser will still produce an error for `$f $args* <|` in this case. `($f $args*) else `($f $args* $a) | `($f $ $a) => if a.raw.isMissing then `($f) else `($f $a) unsafe def primEnv : EnvCtx LispVal := Std.TreeMap.ofArray #[ ("+", mkF $ binopFold (numOp (.+.)) (.number 0) ) , ("*", mkF $ binopFold (numOp (.*.)) (.number 1) ) , ("string-append", mkF $ binopFold (strOp (.++.)) (.string "")) , ("-", mkF $ binop $ numOp (.-.)) , ("<", mkF $ binop $ numCmp (.<.)) , ("<=", mkF $ binop $ numCmp (.<=.)) , (">", mkF $ binop $ numCmp (.>.)) , (">=", mkF $ binop $ numCmp (.>=.)) , ("==", mkF $ binop $ numCmp (.==.)) , ("even?", mkF $ unop $ numBool (even)) , ("odd?", mkF $ unop $ numBool odd) , ("neg?", mkF $ unop $ numBool (.< 0)) , ("pos?", mkF $ unop $ numBool (.> 0)) , ("eq?", mkF $ binop eqCmd ) , ("null?", mkF $ unop (eqCmd .nil) ) , ("bl-eq?", mkF $ binop $ eqOp (.==.)) , ("and", mkF $ binopFold (eqOp (.&&.)) (.bool .true)) , ("or", mkF $ binopFold (eqOp (.||.)) (.bool .false)) , ("not", mkF $ unop notOp) , ("cons", mkF Prim.cons) , ("cdr", mkF Prim.cdr) , ("car", mkF Prim.car) , ("quote", mkF quote) , ("file?", mkF $ unop fileExists) , ("slurp", mkF $ unop slurp) -- , ("wslurp", mkF $ unop wSlurp) , ("put", mkF $ binop put) ]
July 15, 2025 at 1:20 AM