Lambda the Ultimate Reviews

Geekbot Reviews

Lambda the Ultimate mentions (11)

• XL: An Extensible Programming Language

  Http://lambda-the-ultimate.org/ is one of the only PL-centric websites with discussion I can think of. - Source: Hacker News / 3 months ago

• DARPA Moves Forward on X-65 Technology Demonstrator

  For convenience: http://lambda-the-ultimate.org/. - Source: Hacker News / 5 months ago

• How should I read type system notation?

  Oops. For some reason I confused lexi-lambda (which I didn't know) with lambda-the-ultimate (http://lambda-the-ultimate.org). - Source: Hacker News / 10 months ago

• Ask HN: How do I get the most benefit out of my programming language?

  I suggest posting to a PLT focused resource, such as http://lambda-the-ultimate.org/ That said, a bit confused about the languages you reference in this context (Python, C#, JS) - didn't see any mention here or at your github repo of languages (some relatively ancient) in this space designed. Sandia: Programming Languages for HPC [high performance computing] - is there life after MPI?... - Source: Hacker News / over 1 year ago

• More PL Communities

  There's Lambda the Ultimate where you can often find people discussing papers and more theory-heavy stuff. The TYPES mailing list is pretty type theory and lambda-calculus focused. I think they have a Zulip too. Source: over 1 year ago

Geekbot mentions (13)

• Automating standups using GPT4 and Github APIs

  We think GitReport could replace standup apps like Geekbot. So we're making it into a product. More Git features are coming, like tracking issues and pull requests. Source: 8 months ago

• Agile / Scrum

  We run standups every day, however only 2x of them are a Teams call. The other 3 are run using a tool called Geekbot (Yes scrum masters do hate this) which is basically just a chatbot that sends you the standard standup questions and you can answer whenever you feel like it. This has helped our team heaps due to having such a huge mix of people in our team (Cloud Eng, Database Eng, Software Eng, Network Eng) that... Source: 11 months ago

• What do you really think of your daily standup?

  My new job recently pulled in https://geekbot.com/ to handle stand ups. Answer a couple basic questions when you login, and they’re all sent to a central channel. I’m not big on that type of communication in general, but it takes maybe 30 seconds each morning. Source: about 1 year ago

• As an IC, is there anything I can do about super cheerful team members using up meetings time?

  We use Geekbot to help standups. The feedback from each dev goes into a channel, then we talk about things that need to be addressed or things we're working on. Source: over 1 year ago

• Scrum Has Failed the Developers

  Back in 2005, I remember working on startups running on Scrum principles. It worked well at the time, we where able to ship, grow the team, and move forward with a nice few-features-per-week cadence, working remotely, on a small team; less than 10. Tt always worked fine, but very slow, as all-dev-things were at the time. I worked with ActiveColab in 2007, Skype 2007, Yammer 2009, Trello 2011, Pivotal Tracker 2013,... - Source: Hacker News / over 1 year ago