Readit NewsI had a professor in a math heavy subject that just started throwing out maths on the blackboard to derrive formula after formula.
It could take 20 minutes until we reach the conclusion, at which point he finally explains what the purpose of the final formula is and why we want it.
I got the habit of reading his book in reverse before the lectures; reading section by section in reverse order from the end. This way the mathematical calculations had a clear goal and were faar easier to follow.
... brilliant maths, but he was fully and utterly incompetent at teaching it. And he had a bit of an ego about how many students fail each year because "they're lazy".
Me and a few friends did deep recaps to de-tangle the explanations using his book, rephrasing it in a easier and shorter format; and he accused us of cheating because our scores deviated from the normal distribution.
All this to say; sometimes clever doesn't correlate well to great with words.... though dont take that as a endorsement of trump.
"As with many books, this one is best read piecewise backwards. In describing the contents, I accordingly begin with Part III."
Intro to one of the maths books I had to reference to do my masters thesis. :)
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.
Please, no recruiters or agencies.
Maritime shipping software | Multiple roles | 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 would like some more). 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... 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.
Please, no recruiters or agencies.
mebassett commented on Getting Started with Category Theory ryanbrewer.dev/posts/gett... · Posted by u/hoping1
I'm not an expert so I write this comment to ask for help. Do you know if there is any relationship between category theory or set theory? I mean is it like category theory is a more general concept and set theory emerges as a specific case of the more general category theory.
I know sets well because well that's what I was taught in school. I'm just trying to understand where set theory fits in category theory or if they are two totally different things.
I would treat them as totally different things. There is a Category of Sets, but a Set of Categories would be a bit harder to define. So axomatic set theory could be a specific case of category theory, I suppose. But you can probably do a Class of all categories. (A Class is sort of a set-theoretic way to get around Russel's paradox, incidentally, you usually use a Class to define categories, so...) Though that's actually quite an irrelevant point. It's a completely different language for describing mathematics. I think describing category theory as an alternative foundation for mathematics (you really mean topos theory here) is a bit of an exaggeration. it's technically true, but most mathematicians I know are using it as a powerful device to prove things in algebraic topology or geometry, etc.
mebassett commented on Apple Smells Blood in the Water petapixel.com/2024/11/14/... · Posted by u/atombender
> In the case of GIMP, the very name itself means it cannot be used in commercial enterprises.
I have no idea where you got this info from but it is 100% wrong. Of course GIMP can be used for commercial purposes. Or any purposes you want, really. The GNU GPL does not prevent commercial use.
see also https://www.gimp.org/docs/userfaq.html#can-i-use-gimp-commer...
First of all, it is C++ OOP style, Java cloned C++, not the other way around.
Secondly, all major surviving C++ GUI frameworks are still using the same style.
Best practice according to well known folks in the computing industry, with more impact than any of us will ever have on our lifetimes.
I think the main point here is that while this style might make sense for a GUI framework it's not so great for a numerical library like this.
For example: my library is really slow.
2024 production was (according to openai/chatgpt) 120 billion gigabytes. With 8 billion humans that's about 15 GB per person.