OCaml VS Mint

OCaml Reviews

Mint Reviews

OCaml mentions (30)

• Bringing more sweetness to ruby with sorbet types 🍦

  If you have been in the Ruby community for the past couple of years, it's possible that you're not a super fan of types or that this concept never passed through your mind, and that's totally cool. I myself love the dynamic and meta-programming nature of Ruby, and honestly, by the time of this article's writing, we aren't on the level of OCaml for type checking and inference, but still, there are a couple of nice... - Source: dev.to / 8 months ago

• Notes about the ongoing Perl logo discussion

  An amazing example is Ocaml lang logo / mascot. It might be useful to talk with them to know what was the process behind this work. The About page camel head on Perl dot org header is also a pretty good example of simplification, but it's not a logo, just a friendly illustration, as the O'Reilly camel is. Another notable logo for this animal is the well known tobacco industry company, but don't get me started on... - Source: dev.to / 10 months ago

• What can Category Theory do?

  Haskell and Agda are probably the most obvious examples. Ocaml too, but it is much older, so its type system is not as categorical. There is also Idris, which is not as well-known but is very cool. Source: 11 months ago

• Key takeways from OpenAI CEO's 3-hour Senate testimony, where he called for AI models to be licensed by US govt. Full breakdown inside.

  NEAT is a fascinating algorithm. I've been interested in it ever since SethBling made a video about it playing Mario and this series of experiments about a variant of NEAT that evolves in real-time rather than by-generation. I'm finally getting to be just good enough of a programmer that I am actually considering writing my own (probably in OCaml because there's an unfortunate lack of NEAT implementations in... Source: 12 months ago

• So Hows the Hackathon Going?

  Easier than haskell and easier for writing compilers: https://ocaml.org/. Source: 12 months ago

Mint mentions (80)

• Credit card debt

  A few budgeting platforms to check out. I've tried a couple of these and can vouch for the Intuit, YNAB, and Google Sheet but the others are just ones I found online. The important part is finding one that works for you. Source: 7 months ago

• HN search engine now shows Google's 404 error page

  I think there's an ongoing issue somewhere because, https://mint.intuit.com/ is also dead. - Source: Hacker News / 7 months ago

• What do you use for asset tracking and why?

  Mint - feel they were the original and the first. Investments were always broken for me, but think they still do a great job on the expenses side. Source: 8 months ago

• 25 Best Productivity Apps: 2023 Review Guide

  Money makes the world go round, and managing it well can be pretty time-consuming. After all, entire professions, like financial planners and accountants, are centered around just that. However, Mint is a great tool for productively managing your own money, budgets, and financial goals, bringing together bank accounts, credit cards, loans, and investments into a centralized platform. Its real-time syncing and... - Source: dev.to / 8 months ago

• Is MINT not user friendly or is it just me?

  Https://mint.intuit.com/ scroll down and expand mint help center. Source: 10 months ago