mdm12

5 ms·

1.
by mdm12 7mo ago
One option is dependent pairs, where one value of the pair (in this example) would be the length of the array and the other value is a type which depends on that same value (such as Vector n T instead of List T). Type-Driven Development wit
2.
by mdm12 2y ago
We're not done building the boring stuff or solving the hard problems either. One is, well, boring and the other is...hard. Easy enough to proxy out prompts to OpenAI for your next funding round, though.
3.
by mdm12 3y ago
Other languages that make heavy usage of non-ASCII Unicode characters (such as Lean) often have tooling support such that one can type '\' along with some combination of ASCII characters to generate characters like '≈',
4.
by mdm12 3y ago
In event sourced systems, you project the event stream into read models, of which there can be many (relational, time series, etc.) If you're familiar with functional programming, it is essentially a fold operation over the stream of e
5.
by mdm12 3y ago
Enjoy your F# journey! I have yet to find a more ergonomic, practical language for daily use :)
6.
by mdm12 3y ago
I would recommend two. F# in Action [1] by Isaac Abraham is a great (and recent) introduction to the F# language. For a more philosophical, domain-oriented book, you can't go wrong with Scott Wlaschin's Domain Modeling Made Functi
7.
by mdm12 3y ago
It may be sacrilege to say this, but I have adopted Retool in my organization for the purposes of quick-and-dirty internal apps that are essentially thin GUIs around internal data stores. It has worked out well for us and even stodgy backen
8.
by mdm12 3y ago
Congratulations on the publication! As a dabbler in strictly typed functional programming languages like Scala and F#, I have always been curious about proof-oriented languages such as Coq or Agda, but found it difficult to justify the time
9.
by mdm12 4y ago
We already have students using AI to generate answers for homework and teachers using automation to grade it. I would say we are already there.
10.
by mdm12 4y ago
I have seen this process described elsewhere as 'reverse system design', and it is my preferred approach to evaluating senior candidates as well.
11.
by mdm12 4y ago
Sounds like Gleam[0] would be up your alley :) As an F# guy myself, I am hoping it pans out, as I miss the BEAM platform! [0] https://gleam.run/
12.
The Racket Manifesto (2015) [pdf](cs.brown.edu)
2 points by mdm12 4y ago|1 comments
13.
by mdm12 4y ago
My understanding is that the 'linear' terminology derives from the field of Linear Logic[1]. But, I am by no means an expert on theoretical computer science etymology! [1] https://en.wikipedia.org/wiki/Linear_
14.
by mdm12 4y ago
In my perusals into the Haskell ecosystem, discovering Hoogle[1] was definitely a revelation on the power of a strongly-typed language. Sometimes, you know the _shape_ of the thing you are looking for, but not the name. The ability to searc
15.
by mdm12 4y ago
Unit of measures are a great example of what a type system can do, and something not enough languages support. F#[1] and Scala[2] are two that I know of that do support UOMs. Like you, I haven't had the need to use them in the domains
16.
by mdm12 4y ago
Not a dumb question at all! The short answer is that a category also satisfies two rules: every object has an arrow to itself (identity) and if there are two arrows (a->b) and (b->c) there is an arrow (a->c) (associativity). Other
17.
by mdm12 4y ago
Not the OP, but I have had success with CDK. The main advantages for me have been discoverability with respect to resource properties, along with proper, higher-level abstractions pertaining to AWS infrastructure. https://aws.ama
18.
by mdm12 4y ago
F# 6.0 added the 'task' computation expression, which is much more performant than the F# 'async' methods. It also makes interop with C# projects and libraries simpler, as is uses the same mechanism that C#'s async&
19.
by mdm12 4y ago
Good on you for taking the road less traveled! I don't have the guts to pursue 'real' entrepreneurship like yourself, but I appreciate those who do!
20.
by mdm12 4y ago
Now if we can only convince VCs that 'web3' really means 'we host the servers again' and not that other nonsense.
21.
by mdm12 4y ago
> In Q2 alone, we added approximately 10,000 Googlers... Maybe it is okay to slow hiring if 'normal' is ten thousand new hires in three months
22.
by mdm12 4y ago
It was the only data point I could find, but fair point. I amended my comment for pedantic's sake :)
23.
by mdm12 4y ago
Apparently, the average investor's position for BTC in Coinbase is around 21k, per some Mizuho survey: https://www.investing.com/news/stock-market-news/survey-show... . So, many folks are underwater on their s
24.
by mdm12 4y ago
Yes, this trivialization of modern software development is annoying. Yes, we are modern-day plumbers. Turns out, plumbing can be hard.
25.
by mdm12 4y ago
And save as much as you possibly can. Nothing beats gaining financial independence to avoid employer dependence.
26.
by mdm12 4y ago
As I like to say, design patterns for strongly-typed functional programming languages is essentially category theory. What matters, from a practical point of view, is that you know how to effectively use such patterns when decomposing syste
27.
by mdm12 4y ago
This was unfortunate timing given the greater macroeconomic environment and other BNPL players getting taken to the woodshed. No surprise, then, that Affirm sees yet another hit (-4% today) down to $24 from their $176 highs...
28.
by mdm12 4y ago
Healthcare is another safe bet.
29.
by mdm12 4y ago
I am sure you have heard this before, but F# sounds like it would be right up your alley. It has sane defaults (non-nullability, algebraic data types, etc.) while still targeting the CLR, enabling the usage of any normal C#/.NET librar
30.
by mdm12 4y ago
Fundamentals matter again. It would be more cathartic if my portfolio wasn't down as much as it was!

More ›