![](https://media.emacs.ch/accounts/avatars/110/459/554/144/491/284/original/f72f5d4486857d10.jpg)
![](https://lemmy.world/pictrs/image/0943eca5-c4c2-4d65-acc2-7e220598f99e.png)
@breadsmasher Hmm first post there. In such a case , i never had any intention of posting there again .
hope that helps
λα.λy.y : Πα:mono.Πy:α.α (small types)
given predicates {P_i} Imagine a computation C st \forall P_i :T => C=> T
if f :: t then f ℛ(t) f
@breadsmasher Hmm first post there. In such a case , i never had any intention of posting there again .
hope that helps
@breadsmasher True , its just that there s no such norm that every instance ll have a community name by the same keyword -test
But i admit its spam and i am willing to delete that if that helps
that said, its still a useful discussion of the user issues , i m sure maker of undo-tree emacs d ve thought so
@jmd_akbar Whoa , appreciate man . I just checked my own profile for new posts. How did you search for this post of yours ? Aha it so happened that you were tagged in this thread from your lemmy handle
let me check. Nope i see the thread on your profile not mine
@xameer
this confusing for me till settled
@jmd_akbar I don’t see a thing on my lemmy post
@canute @nixos Lookup for
nix for impatient
https://fasterthanli.me/series/building-a-rust-service-with-nix
ryantm s posts and repo
@spauldo @moonsnotreal what do you say to load everything from dotemacs ? :D
@danielfgom @the_crab_man bing + 10 auto bookmarked paves which i dont care about
@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me
@kirschner @islamicaudiobooks @fdroid @delta @AntennaPod there too
what ll your firewall be to access <sup>this</sup> from a country which the admin has blocked
@kirschner @islamicaudiobooks @fdroid @delta @AntennaPod yes except that I ve no contact , who want to do an encrypted chat with me outside #signal
This could be on my for not using it in a way, which is convenient for others.
It has happened , when I encrypted my twitter DM , emails with #gpg , without fully understanding gpg and I had to step back from that. #keyoxide has brought some hope , but I am yet to get there, where I can use it efficiently even for work
@s20 @throwawayish whats the difference between idiom and boilerplate code
-– pardon my ignorance , haven’t read the article yet
@patatahooligan @prettydarknwild keyword here is average users , else glibc hardly compares to musl
@islamicaudiobooks @kirschner @fdroid @delta @AntennaPod vi music , rethink is amazing. Kryptey is cool too , except that idk how to disable vibration for tapping ut. Thats a drain , is there a clear reason to why is this tricky? Ir i should just recheck settings?
@islamicaudiobooks @kirschner @fdroid @delta @AntennaPod naive question, what’s krept-ey?
@velox_vulnus I am trying out=of-tree package , for related purpose