oliver
LightNews LightNews
banner
eikopf.com
oliver
@eikopf.com
1.5K followers 610 following 10K posts
absolutely will not shut up about programming languages. apparently also now the calendar guy

(he/him)
Posts Replies Media Videos
eikopf.com
world's most elegant programming language strikes again
-- | A tuple of 64 elements. -- -- @since 0.11.0 -- data Tuple64 a b c d e f g h i j k l m n o p q r s t u v w x y z a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 r1 s1 t1 u1 v1 w1 x1 y1 z1 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 = (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,a1,b1,c1,d1,e1,f1,g1,h1,i1,j1,k1,l1,m1,n1,o1,p1,q1, r1,s1,t1,u1,v1,w1,x1,y1,z1,a2,b2,c2,d2,e2,f2,g2,h2,i2,j2,k2,l2)
November 24, 2025 at 4:35 PM
eikopf.com
i was looking to see if ghc does any niche optimisations and what do you mean a tuple can have at most 64 elements
import qualified GHC.Internal.Data.Coerce import GHC.Internal.Data.String import GHC.Internal.Data.OldList import GHC.Internal.Data.Data import GHC.Internal.Data.Ord import qualified GHC.Internal.Debug.Trace import GHC.Internal.Unsafe.Coerce ( unsafeCoerce# ) -- just for re-export -- XXX This should really be in Data.Tuple, where the definitions are maxTupleSize :: Int maxTupleSize = 64
November 24, 2025 at 4:30 PM
eikopf.com
here’s a page from the middle of the book
page 221 of the story of proof by john stillwell
November 23, 2025 at 5:10 PM
eikopf.com
first snow!
an evergreen tree lightly dusted with snow an evergreen tree covered in snow
November 21, 2025 at 8:03 AM
eikopf.com
It's definitely problematic if Gru bangs a minion only because of the power imbalance. There's no way those little dipshits can consent and even if they could he's their boss and it's coercion.
November 18, 2025 at 8:21 PM
eikopf.com
valve you cannot be putting USB-A into a new consumer device in the year of our lord 2025
USB Two USB-A 3.2 Gen 1 ports in the front Two USB-A 2.0 High speed ports in the back One USB-C 3.2 Gen 2 port in the back
November 12, 2025 at 6:37 PM
eikopf.com
This post was fact checked by real American patriots TRUE
November 11, 2025 at 7:38 AM
eikopf.com
freyja-lynx.dev @freyja-lynx.dev • now • she/it awrrrufff ① • • • teq 'r treat @quilling.dev .3m O they/them saw a dog today 2 07 • • •
November 9, 2025 at 10:02 PM
eikopf.com
from the death stranding 2 wikipedia article: We have a problem. I'm going to be very honest, we have been testing the game with players and the results are too good. They like it too much. That means something is wrong; we have to change something. If everyone likes it, it means it's mainstream. It means it's conventional. It means it's already pre-digested for people to like it. And I don't want that. I want people to end up liking things they didn't like when they first encountered it, because that's where you really end up loving something.
November 6, 2025 at 11:06 AM
eikopf.com
a screenshot of the quoted post
November 3, 2025 at 11:13 AM
eikopf.com
what did they know
CHAPTER X CLAUDE FINDS A COMPANION "Twilm, there not ain"t be any soon." said William, "They jus' aren't goin' to make 'em soon.
November 1, 2025 at 8:02 PM
eikopf.com
oliver@pilatus in ~ took 1m13s λ python3 Python 3.11.0 (v3.11.0:deaf509e8f, Oct 24 2022, 14:43:23) [Clang 13.0.0 (clang-1300.0.29.30)] on darwin Type "help", "copyright", "credits" or "license" for more information. >>> import enum >>> class Nat(enum.Enum): ... O = enum.auto() ... S = enum.auto() ... >>> Nat.O.value 1
October 31, 2025 at 11:39 AM
eikopf.com
crying in my bed because i’ll never get the good Borrow instead i must tolerate the bad Borrow
Lucretiel @Lucretiel X.com Wait is it really that simple? We didn't need GATs at all for a slightly better borrow, we just needed to reverse the trait order? • } trait NewBorrow<'a, Owned> { fn borrow( target: &'a Owned) → Self; impl<'a, T> NewBorrow<'a, T> for &'a T f fn borrow( target: &'a T) -> Self { target } impl<'a> NewBorrow<'a, String> for &'a str f fn borrow target: d'a String) → Self ( target. as_str() } } impl<'a, A, B, AA, BB> NewBorrow<'a, (A, B)> for (AA, BB) where AA: NewBorrow<'a, A>, BB: NewBorrow<'a, B>, fn borrow( (a, b): &'a (A, B)) → Self { (AA:: borrow(a), BB:: borrow(b)) } fn foo() { let x: (String, String) = ("a".to_owned(), "b". to_owned( )); let bx1: &(String, String) = NewBorrow:: borrow(&x); let bx2: (&String, &String) = NewBorrow: : borrow(&x); let bx3: (&str, &String) = NewBorrow:: borrow(&x);
October 27, 2025 at 4:08 PM
eikopf.com
oomf might have selective amnesia
& Reposted by Robbyte VoiceZ * Jasper + # @weevillle.bsky.social • 1h • they/them Me when i remember certain things twenty one pilots lyr... @twent... • 1h i remember, i remember certain things. 1 8 ... • Reposted by Robbyte VoiceZ mae manted to fIn @lady-of-sorr..•1h O she/they me when I don't remember certain things twenty one pilots lyr... @twen... • 9d no i don't, no i don't remember, remember, remember. 1 $ 5 9 • ••
October 26, 2025 at 9:49 AM
eikopf.com
a headshot of the “i just wasn’t expecting it to be chinese” guy
October 26, 2025 at 8:03 AM
eikopf.com
checks out
the results of a political quiz
October 24, 2025 at 8:19 PM
eikopf.com
i would make this account up as a parody
+ Follow •.. autisticforacure @thewhalenebulae.bsky.social 4 followers 7 following 258 posts 43/male/homosexual Actually autistic and pro cure or prevention Gay not queer LGB without the T Sex not gender Posts Replies Media Videos autisticforacure @thewhalenebulae... • 22d The moment you support a Muslim for public office is the moment you lose your Democrat/Leftist card. 1 ฿2 2 企 ...
October 24, 2025 at 3:04 PM
eikopf.com
this 20 year old scammer still sends threatening emails the old-fashioned way!
You're good to go. About few weeks ago I have ga ined a full access to all devices used by you for in te rnet bro wsin g. Sh ortly after, I started re co rding all internet act ivities done by you. Below is the seq uence of events of how that hap pened: Earlier I purcha sed from hackers a unique access to di versified email accounts (at the moment, it is really easy to do using inter net). As you can see, I mana ged to log in to your email account without breaking a sweat (<redacted>@icloud.com). Within one week afte rwards, I installed a Trojan virus in your OS available on all devices that you utilize for logging in your email. To be frank, it was so mewhat a very easy task (since you were kind enough to open some of links provided in your inbox emai ls) . With help of that useful softw are, I am now able to gain access to all the controllers located in your devices (cam, mic, ke ybo ard). As result, managed to download all your phot os, personal data, history of web browsing and other info to my se rvers wi thout any proble ms. Mor eo ver, I now have ac cess to all accounts in your mes se ngers, social networks, emails, contacts list, chat history - you name it. My Tr ojan virus co ntinues re fr eshing its si gnatures in a no n-stop manner, hence it remains undete cted by any antivi rus software in stalled in your devi ce. So, I guess now you finally understand the reason why I could never be caught until this emai l. During the proc ess of your personal info compi lation, I could not help but notice that you are a huge admirer and regular guest of websites with adult conte nt. You endure a lot of pleasure while ch ecking out porn websites, watching nasty porn movies and reaching breat ht ak ing orga sms. Let me be frank with you, it was really hard to resist from recor ding some of those naughty solo sc enes with you in main role and compi ling them in special videos that expose your mas turbation sessions, wh ich end with you cumm in g. In case if you st…
October 24, 2025 at 7:25 AM
eikopf.com
it’s so over for me
78% 95% 98% 98% 98% 99%
October 21, 2025 at 8:55 AM
eikopf.com
2. BRITISH ENGLISH a pair of straps that pass over the shoulders and tasten to the top of trousers at the front and back to hold them up. 3. a pair of something, typically of birds or mammals killed in hunting. "thirty brace of grouse" Similar: pair couple duo 4. a hand tool used in carpentry for boring or drilling holes, consisting of a U-shaped handle with a socket for the bit. Similar: drill drilling tool 5. PRINTING either of the two marks i and j, used either to indicate that two or more items on one side have the same relationship as each other to the single item to which the other side points, or in pairs to show that words between them are connected. Similar: bracket parenthesis • MUSIC a similar mark connecting staves to be performed at the same time.
October 19, 2025 at 9:27 AM
eikopf.com
a crow in flight
October 18, 2025 at 8:01 AM
eikopf.com
found something worth playing
a screenshot of two characters; the text above their heads reads "I seem to have dropped the feminist literature I was just reading, any chance you've seen it around?"
October 16, 2025 at 7:34 PM
eikopf.com
i don’t want to become a screenshot poster but good fucking lord mate
"Captain" "Ruck" "Cohlc... @captainruck.bsky.social Follow Twitter is the Republican Party (openly Nazi) and Bluesky is the Democratic Party (ostensibly a place for people who don't want to be in the Nazi party to go, that inexplicably disregards those people in favor of trying to win over Nazis) nattie winters @utilitylimb.bsky.social • 2h can't believe it took you this long to leave that website run by admitted nazis and join this website run by closeted nazis 15 October 2025 at 22:34 • Everybody can reply
October 15, 2025 at 9:11 PM
eikopf.com
i wish to put this person in an enclosure and study them
oliver @eikopf.com • 1d O he/him spamming the steam recommendation queue just to feel something 2 21 企 Typo Marx @victorleblanc59.bsky.social Follow © Rude Was your father also a dick free shit stained boy? Genetic? Quit letting women fight for you, coward SINCE THE 1980S WOMEN VOLUNTEER REGISTERED VOTED MORE
October 14, 2025 at 12:39 PM
eikopf.com
is this performance art
ayla computer @aylac.top • 5h • she/her i hate this site's userbase 2 30 Typo Marx @victorleblanc59.bsky.social Follow Rude Keyboard warriors l've witnessed activists under actual blue skies and many here are clearly why GOPigs out organized dems since the 70s SINCE THE 1980s WOMEN VOLUNTEER REGISTERED
October 14, 2025 at 12:20 PM