3 comments

  • ilsubyeega2 hours ago
    i like this website, it shows documentation when hovering the code while i see similar stuffs really rare in web blog areas
    • md2241 hour ago
      I believe you can thank Verso for that:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;leanprover&#x2F;verso" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;leanprover&#x2F;verso</a>
  • zem1 hour ago
    this is the log post that put lean on my radar, though I haven&#x27;t played with it yet: <a href="https:&#x2F;&#x2F;kirancodes.me&#x2F;posts&#x2F;log-ocaml-to-lean.html" rel="nofollow">https:&#x2F;&#x2F;kirancodes.me&#x2F;posts&#x2F;log-ocaml-to-lean.html</a>
  • spankalee2 hours ago
    What is up with so many people doing weird capitalization now? Is this some Bay-tech flex? Alok writes their own name, and other names, with leading caps, but not the first word in sentences? It makes it so uncomfortable to read.
    • losvedir1 hour ago
      Wow, I read the whole thing without noticing that.<p>But as someone who came of age in the AIM &#x2F; ICQ &#x2F; IRC days, it feels pretty normal. That&#x27;s just how we wrote. I still fall into it by accident when the context is right and I&#x27;m not thinking about it (eg Slack at work). I hope youngsters aren&#x27;t judging me for it.
    • JuniperMesos1 hour ago
      I think this is just applying the same informal writing style used in, for example, online chats with friends, to a relatively-informal blog post. I don&#x27;t think this has anything to do with the Bay Area or its tech industry in particular.
    • trueno18 minutes ago
      i notoriously ignore using my shift key when im typing informal stuff (comments, chats to coworkers, friends, etc). big ol emails = you&#x27;ll see me using my shift key.<p>most of this comes from me noticing how funny sql looks with all the people trying to use caps all over the place as if anyones working in a place without syntax highlighting in 2026. sql is the wild west and everyones sql looks like shit there is no shame. i was told i needed to use caps more early on in sql and i lmfao&#x27;d, but i was new to the career and that scarred me. i write lower case sql just to spite others now and if you see something capitalized you know i meant it, but for the most part you have to pay me to use my shift key.<p>my trauma is now your trauma
    • giancarlostoro24 minutes ago
      The swearing is another thing I keep seeing more of.