brokenix @ brokenix @emacs.ch

\> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard

---

Read more

Posts

2

Comments

16

Joined

2 yr. ago

@rust @learningrustandlemmy
I might have missed some subtle syntactical difference here, I guess
aas in Vec<...> is a type definition, and Vec::<...> is referring to the struct itself, but with a type parameter given.
context - https://www.reddit.com/r/learnrust/comments/exmqyc/whataretherulesforturbofish/

@BBC disclaimer - no llm , I am following a book

@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

@jmdakbar 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

@jmdakbar I don't see a thing on my lemmy post

@danielfgom @thecrabman bing + 10 auto bookmarked paves which i dont care about

@BaumGeist @nathris try zsh plugins/ widgets in term, that helped me

@ultra @vosjedev yc hn 5yr ago
problems people seem to be stating about xonsh were similar to a lot of the early bugs with Fish, but those things tend to go away once more people start using the shell and reporting issues.

@kirschner @islamicaudiobooks @fdroid @delta @AntennaPod there too
what ll your firewall be to access

<sup>

@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

@InverseParallax @TCB13 hon mention
https://grahamc.com/blog/erase-your-darlings/

@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?