Chobbes

@Chobbez

Slowly becoming dependent on dependent types. This twitter is to teach me that my humour does not have widespread appeal. Mighty ball of decision fatigue.

যোগদান করেছেন অক্টোবর ২০১৫

টুইট

আপনি @Chobbez-কে ব্লক করেছেন

আপনি কি এই টুইটগুলি দেখতে চাওয়ার বিষয়ে নিশ্চিত? টুইটগুলি দেখা হলে @Chobbez অবরোধ মুক্ত হবে না।

  1. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    Just found out the car I drive from has an app that enables the car’s location to be tracked. There are good reasons I might not want someone else who drives the car to know my location. Dealership laughed at my privacy concerns. This just seems wrong to me.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  2. পুনঃ টুইট করেছেন
    ১৭ জুলাই

    There's a model of computation based on frictionless billiard balls. Those don't exist, so you have to use solider crabs when implementing the actual computer. Solider crabs. 🦀🦀🦀

    পূর্বাবস্থায়
  3. ১৬ জুলাই

    "So, I can't look up any disassembly videos on YouTube."

    পূর্বাবস্থায়
  4. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    I am looking for an experienced Unity programmer to help me with the final stretch of Manifold Garden development. More details here:

    পূর্বাবস্থায়
  5. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    (...further) - warnings about misuse - pre/post conditions, invariants - relevant algebraic identities - ASCII-art time/structure diagrams - pithy mnemonic key-idea slogan - cross references to related topics - summary of past mistakes - bibliography

    পূর্বাবস্থায়
  6. পুনঃ টুইট করেছেন
    ১৩ জুলাই

    We just posted a brand new Software Engineering job at Code for America. We are especially looking for engineers that have experience with the government programs we work on. Been on food stamps? Have a felony? Write well tested code? Apply.

    পূর্বাবস্থায়
  7. পুনঃ টুইট করেছেন
    ১৩ জুলাই

    Modern smartphones: - so tall you can't reach the top without surgery - made entirely out of priceless crystal - fuck you

    পূর্বাবস্থায়
  8. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    It is important to check in with yourself. Do I feel this way today or is this a general state I've been in? Do I feel lost to it, like I am no longer in control? Do I feel 'off?' Reach out for help. You don't have to be diagnosed to benefit from an appt with a therapist.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  9. পুনঃ টুইট করেছেন
    ১৪ জুলাই

    Depression looks different at different times. When I was about 22, I went through a horrible downswing & weighed 87lbs. 2 years ago, I went through a horrible downswing & weighed 141lbs. Not only are we all different from each other but our reactions can vary.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  10. পুনঃ টুইট করেছেন
    ২৮ জুন

    All I want is product and sum types.. it is amazing how poorly such basic concepts often get treated...

    পূর্বাবস্থায়
  11. ১২ জুলাই

    Documentation must have: - An example - A counterexample - A description - Motivation E.g., Coq docs on match annotatons just include examples that can be easily inferred, but not much else. Why can't it always be inferred? You've given me no motivation / counterexamples.

    পূর্বাবস্থায়
  12. পুনঃ টুইট করেছেন
    ১২ জুলাই

    4am is available for work. Which company is going to be smart here before the others wise up

    পূর্বাবস্থায়
  13. ১২ জুলাই

    I kind of want to just get rid of the parking lot, tbh.

    পূর্বাবস্থায়
  14. ১২ জুলাই

    It's weird coming across books that define a word several chapters after using it. It's not that uncommon, and it should be an easy fix... I wonder why this happens.

    পূর্বাবস্থায়
  15. ১২ জুলাই

    I just discovered Scots wikipedia, and it is precious and I love it.

    Walcome tae Wikipaedia
    The domestic cat[1][2] (Felis catus or Felis silvestris catus)[2][4] is a smaw, teepically furry, domesticatit, an carnivorous mammal. Thay are eften cried hoose cats when kept as induir pets or simply cats when thare is no need tae distinguish them frae ither felids an felines.[6] Cats are eften valued bi hoomans for companionship an thair abeelity tae hunt vermin.

Cats are seemilar in anatomy tae the ither felids,
    পূর্বাবস্থায়
  16. পুনঃ টুইট করেছেন
    ১২ জুলাই

    Looking to hire someone at the intersection of compilers, Haskell, and working with custom ML models. Portland or Bay Area. DMs open.

    পূর্বাবস্থায়
  17. পুনঃ টুইট করেছেন
    ১২ জুলাই

    Some great advice from on crafting effective "📢 I'm looking for a [software] job!" tweets. 📝 She is about the only person that I will actually Google for their threads from time to time (she has *lots* of good threads btw). Thread 👇🏼

    পূর্বাবস্থায়
  18. ১২ জুলাই
    পূর্বাবস্থায়
  19. পুনঃ টুইট করেছেন
    ১১ জুলাই

    I did a comparison of city street network orientations in major US cities, and now I've got a better sense of why I find Boston so difficult to navigate. Visualization uses Python, OSMnx, and data.

    এই থ্রেডটি দেখান
    পূর্বাবস্থায়
  20. পুনঃ টুইট করেছেন
    ১০ জুলাই

    Can you even imagine getting in bed and then easily falling asleep and then waking up feeling rested and then having a good day and then doing it again

    পূর্বাবস্থায়

লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।

টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।

    আপনিও পছন্দ করতে পারেন

    ·