the title is a bit clickbait - mathematicians don't disagree, all the "conceptions" the article proposes agree with each other. It also seems to conflate the algebraic closure of Q (which would contain the sqrt of -1) and all of the complex numbers by insisting that the former has "size continuum". Once you have "size continuum" then you need some completion to the reals.
anyhow. I'm a bit of an odd one in that I have no problems with imaginary numbers but the reals always seemed a bit unreal to me. that's the real controversy, actually. you can start looking up definable numbers and constructivist mathematics, but that gets to be more philosophy than maths imho.
large language models are large and must be loaded into memory to train or to use for inference if we want to keep them fast. older models like gpt3 have around 175 billion parameters. at float32s that comes out to something like 700GB of memory. newer models are even larger. and openai wants to run them as consumer web services.
Maritime shipping software | Full-stack software engineers | UX Designers | Implementation Managers & Customer Success execs | Data analysts | Global REMOTE | UCT-8 to UCT+4
Would you like to help tackle one of the most important sectors for the global economy - maritime shipping?
We're hiring for multiple roles: software engineers, data analysts, UI/UX designers, implementation managers.
Nearly every person is affected by stuff shipping on the seas - whether its energy, ore, or wind turbines, but the industry itself is antiquated and archaic, and hampered by paperwork and bureaucracy. Our customers are crying out for better solutions. We're looking for people to help us build those solutions.
If you're the sort of person who is:
- intellectually curious about new industries
- wanting talking to and getting close to end users
- keen to use LLMs and other AI tools
Then please get in touch.
--
For our SWE roles we have budgeted ~ 90k USD.
Our tech stack for new projects is largely typescript/vue/mysql (we have several fans of fp-ts and EffectT with us and are investing in using more functional programming). But like the industry at large we also have significant legacy code in javascript. If you're the sort of person who likes refactoring complex projects to make them more workable, then we also want to hear from you.
--
For our Data Analyst or Implementation Manager roles:
You'll be helping our customers in maritime shipping get the most from our software. Initially, a lot of that work will be in helping our customers get their data in and out of it. Lot's of MySQL, Metabase, AWS Glue, DBT, or other ETL pipelines.
--
For our UI/UX designer roles we have budgeted ~ 40k USD.
You'll be helping us on three different axes: (1) designing the user interface for new features, (2) fleshing out the user journeys and mockups for our roadmap, and (3) helping us craft a consistent and learnable user experience across all our software.
--
We hire remotely and globally with offices in Houston, London, Singapore, and Joinville (Brasil). You should be fluent in English. The current team is >20 people. You should be in a timezone within 3 hours of one of those offices.
Interested? You can contact me directly from my profile. I'm the CTO.
Flyp Homes | London, UK | ONSITE / HYBRID (flexible WFH) | https://flyp.co
Growth Engineer. Full stack node/react. UX. A/B Testing
If you've ever sold a home in the UK then you have likely felt that no one in the process had any incentive to help you.
Flyp is changing that by building a business that partners with homeowners to help them realize the full potential of their investment into their home, even as far as through renovations to the home.
We're a profitable business and are scaling our operations throughout London and the UK, and to do that we need to be a lot better at educated potential customers on what we do. This role is to help us build apps that can explain how the UK residential real estate market works, how we help homeowners get the most out of it, and how they can better understand the value of their home.
anyhow. I'm a bit of an odd one in that I have no problems with imaginary numbers but the reals always seemed a bit unreal to me. that's the real controversy, actually. you can start looking up definable numbers and constructivist mathematics, but that gets to be more philosophy than maths imho.