Monday 2024-01-15
- Discovered that we (at work) now have access to GPT-4 Turbo via Azure OpenAI: 128K context and much cheaper than the old GPT-4. Will have to upgrade our private internal assistant, code name StoneGPT.
- Inspired by stefanv, carefully trying out weekly planning, but in a slight deviation I’m doing this in addition to my daily planning, which I only get around to a fraction of the time in any case. I think that this sort of multi-scalar examination and planning will help.
- Went to Bloemhof for the welcoming of the new grade 8 learners. Was really great to see GOU#1 and GOU#2 there, on two very opposite ends of the spectrum.
Tuesday 2024-01-16
- MS Copilot Pro ($20) has been announced, and also Copilot 365 is now available for businesses of all sizes (not just enterprises who can commit to 300 seats): https://blogs.microsoft.com/blog/2024/01/15/bringing-the-full-power-of-copilot-to-more-people-and-businesses/
- Copilot Pro not yet available in South Africa 😥
- $20 per month for integration with some Office apps (which could be useful, will have to see), priority access to latest models such as GPT-4 Turbo, and custom Copilots. I’m not convinced, will stick to my perplexity.ai for now.
- Copilot for 365 can be purchased per seat, but minimum 1 year commitment which is $360 per person per year. Ouch.
- Copilot Pro not yet available in South Africa 😥
- In addition to many meetings (Tuesday = meetings day), did manage to spend some quality time with a new visualization project. Slowly starting to use webcola again, but this time with d3@latest – sorta works, but no dragging. Have found work-around, still need to test.
- Went to bed really early, because must be up at 5:30 to help GOU#2 get ready for school and get to the bus stop on time. (Slept super badly thanks.)
Wednesday 2024-01-17
- Up at 5:30 after a pretty restless night. GOU#2 on the bus at 6 after some serious morning prep multi-tasking, GOU#3 (age 7) so organized and independent, ready to leave for school at 7!
- Nice and early(ish) slightly longer weekday run before work. My hip sent me a Teams message “Hi…” at about 80% of the route somewhere, but fortunately no follow-up. Colleagues on chat, haha.
- Got caught up in GEKKO Optimization Suite due to meetings with colleagues about various simulations. My initial enthusiasm was somewhat dampened upon learning that behind the Python API lies an admittedly useful but quite black-box compiled binary called apm.exe.
- TIL: John Lasseter drew the BSD daemon! See https://www.jacobelder.com/2024/01/17/director-of-toy-story-also-drew-bsd-daemon.html – I remember that daemon from the time when I had FreeBSD on my machine at home instead of Linux (somewhere in the 90s). You might remember that name from the Creativity Inc. book (the one about Pixar!) notes post on this blog
Thursday 2024-01-18
- AlphaGeometry from Google DeepMind is great work combining a symbolic math engine with a language model to solve Olympiad geometry math problems at just under gold-medalist level. See below for my breathless tweet. (twitter is still the uncontested ML firehose)
- News on our in-house GPT-wrapper front:
- Discovered that I now have to upgrade to the new
tool_call
api as the oldfunctions
one has been deprecated. Made use of the opportunity to improve our implementation of the supplied OpenAI type annotations - Note to self, and to you: The
*Params
types areTypedDict
declarations which you can use to work directly with JSON requests and responses, while the non-*Params
types are pydantic models which you can use to (de)serialize JSON.
- Discovered that I now have to upgrade to the new
- Went to see a really good Mohs surgery dermatologist who will soon be removing my basal cell carcinomas. As always, AMA in the comments or via email.
This is such fantastic work! Symbolic engine + language model working together to solve Olympiad geometry math problems at just under gold-medalist level. Also, beautiful illustrations in the paper and posts. https://t.co/DtREuQK5k7