musa

@musa314

PhD Candidate in Computing Science at McMaster University. Interests: Agda, Category Theory, Haskell, Emacs.

Hamilton, Ontario
alhassy.github.io
Vrijeme pridruživanja: kolovoz 2012.
17 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @musa314

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @musa314

  1. proslijedio/la je Tweet
    prije 21 sat

    My (late) Fatimiyya piece, “The Making of a Widower”

    11 replies 151 proslijeđeni tweet 539 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    3. velj

    Honestly, God bless people who adopt children. It’s easy to give money but taking a child into your home and raising them as your own is the purest love.

    896 proslijeđenih tweetova 4.033 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    prije 15 sati

    We often say, “I wanna do such and such and get such and such so I can serve Imam Zaman”, yet have we stopped to ask ourselves “what does Imam Zaman want me to do?” If we are slaves - as we claim to be - shouldn’t we ask the Master himself what we’re supposed to do?

    5 replies 31 proslijeđeni tweet 219 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    2. velj

    God says: “The moaning of those who are repentant is more beloved to Me than the praise of the worshippers” When was the last time we really showed remorse for our sins and broke a tear in repentance? He’s promised to forgive any sin!

    قال الله: "أنين التائبين أحبّ اليّ من تسبيح المسبّحين" اللهم تب على عبدك المذنب الضعيف المسكين المستكين، يا رباه يا سيداه، يا غاية رغبتاه
    29 proslijeđenih tweetova 229 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    25. sij

    If the Prophet (s) couldn’t please everyone, you’re definitely not gonna be able to. Don’t allow your sense of worth to be defined by the acceptance of others.

    6 replies 650 proslijeđenih tweetova 1.985 korisnika označava da im se sviđa
    Poništi
  6. 25. sij

    Just gave a machine learning workshop at 😊 Slides ::

    4 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    25. sij

    Allah in mind keeps you strong. Allah in heart keeps you humble. Allah in life keeps you happy.

    119 proslijeđenih tweetova 355 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    24. sij

    Uh this emacs region undo thing is kinda blowing my mind. I had no idea!

    14 replies 74 proslijeđena tweeta 295 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    24. sij

    next time someone says you have to understand monads to write hello world in haskell, I'll point out that you have to understand memory layout and pointers to compare strings for equality in java if that an unfair, misleading, and mostly useless phrasing? exactly!

    7 replies 30 proslijeđenih tweetova 167 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    21. sij

    Crash course on higher-order logic, type theory, etc. ~ Theodore Sider. via

    1 reply 9 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    21. sij

    Picard management tip: If crew members have what they need to be comfortable, their work won't be all about money.

    10 replies 230 proslijeđenih tweetova 1.024 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    21. pro 2019.

    Emacs for creative writing [Blog-post]

    2 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    20. sij

    My GTD workflow with Emacs+Orgmode

    3 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    19. sij

    Literate Programming :: Tiny Example of Org w/ noweb-references

    4 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  15. 20. sij

    Amber ---A replacement of for the web! Here's an interactive tutorial, working from the web:

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    15. sij

    The greatest blessing Allah can give you is to put peace in your heart. How do you receive this from Him? By being obedient to Him. He gives the greatest blessing to His most devout servants.

    434 proslijeđena tweeta 1.841 korisnik označava da mu se sviđa
    Poništi
  17. 15. sij

    Impress your loved ones with catamorphisms, anamorphisms, bifunctors, fix points, f-algebras, co-recursion, and more. Any loop can be captured with a fold!

    1 proslijeđeni tweet 5 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    11. sij

    1. Write down all of your problems on a piece of paper 2. For each problem, list all of the options to solve it 3. Pick one option and take action 4. If first option doesn’t work, move on to the next. May Allah empower you to resolve all of your problems

    16 replies 1.049 proslijeđenih tweetova 3.295 korisnika označava da im se sviđa
    Poništi
  19. 13. sij

    ``Lean has real manifolds''

    1 korisnik označava da mu se sviđa
    Poništi
  20. proslijedio/la je Tweet
    11. sij

    Picard management tip: Suppress your inner alarm. Be the calmest person in the room.

    8 replies 300 proslijeđenih tweetova 1.543 korisnika označavaju da im se sviđa
    Poništi

@musa314 još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·