mpoteat

8 ms·

31.
by mpoteat 4y ago
You don't need to prove anything in court to send someone a cease and desist. It's often cheaper to settle. There does exist the concept of 'originality' in copyright law, which I was erroneously conflating with length.
32.
by mpoteat 4y ago
This is the code of the future to ensure your code remains original: https://twitter.com/TylerGlaiel/status/1611115741809627139
33.
by mpoteat 4y ago
If this lawsuit succeeds, I have a startup idea that I think would be effective. Create a for-profit copyright registry for code snippets that are long enough to qualify for copyright protection. You can be the canonical owner of the copy
34.
by mpoteat 4y ago
You'll have to pry my meta type garbage out of my cold dead fingers. :) I agree with you - while neat types are cool from a mathematical perspective, they impose a huge maintenance burden. Most times, it's much smarter to accept a
35.
by mpoteat 4y ago
You can actually accomplish this in Typescript, I linked a blog post in one of my other comments. The key is mapping through all of the arguments and enforcing that argument N's output is a subtype of argument N+1's input.
36.
by mpoteat 4y ago
You can implement a type-aware map, reduce, filter, etc. if you use point free semantics with higher kinded types: https://code.lol/post/programming/higher-kinded-types/ I have to admit it's a bit heavy,
37.
by mpoteat 4y ago
But you can type 'pipe' correctly in Typescript, without resorting to overloads: https://code.lol/post/programming/typesafe-function-composit... It's even more powerful if you restrict yourself to p
38.
by mpoteat 4y ago
Thanks! :)
39.
by mpoteat 4y ago
Hey there folks - over my vacation I decided to write 'hkt-toolbelt' to scratch an itch I've been having with writing type-level Typescript. This package allows you to do higher order 'map' operations on the type le
40.
Abusing the type system for fun and profit(github.com)
5 points by mpoteat 4y ago|3 comments
41.
by mpoteat 4y ago
So are you saying Pareto distributions follow linear relationships? Are you sure about that? I would read up on the topic if I were you. Statistics can be unintuitive sometimes, and basing your argument on supposition can be unreliable. I&#
42.
by mpoteat 4y ago
Neural networks operate on floating point values. Are you saying that e.g. 64 bits of resolution isn't enough to accurately model a neuron? The idea of significant figures in physics puts a limit on what is useful in practice. I could
43.
by mpoteat 4y ago
I believe that neural networks do perform meaningful computations - they are universal function approximators, and certain variants of transformer networks have been proven to be Turing complete. What is your evidence that neural networks d
44.
by mpoteat 4y ago
If the model responded, "I have not visited New York because I am a computer", would you consider that to be a good step? If you require physical embodiment, that is fair - but I don't think there's any principled reason
45.
by mpoteat 4y ago
Thanks for the question. The point I am making is that if the capabilities of multi-modal neural models continues to improve, it will become harder to convince folks one way or the other. The reason I went with that scenario is that I thoug
46.
by mpoteat 4y ago
Why not? Imagine a look up table of every possible intelligent conversation under 10,000 words. We then construct an agent which merely looks up a given prompt in the table. Why should this agent not be considered intelligent? Does the meth
47.
by mpoteat 4y ago
What if the most expedient way to accurately continue the text sequence is to temporarily "embody" as an agent that would have generated the prior text? This would involve encoding emotions, performing reasoning ability on behalf
48.
by mpoteat 4y ago
Suppose a child was raised by a more advanced version of large scale language model, with the ability to detect and act on its environment, as well as form memories. Further suppose that this child develops a deep emotional connection with
49.
by mpoteat 4y ago
Out of curiosity, what is your evidence that modern large-scale language models are "incapable of belief"? What constitutes belief in your view?
50.
by mpoteat 4y ago
Why does this article on code practices unnecessarily mention NSFW topics, which now precludes my sharing this (otherwise well written and insightful article) with my coworkers? The subheader of the website mentions they specialize in profe
51.
by mpoteat 5y ago
I have indeed seen codebases where it seems like the programmer was being charged per source code byte. Full of single letter methods and such - it takes a large confusion of ideas to motivate such a philosophy.
52.
by mpoteat 5y ago
Indeed, in the limit of maximal abstraction, i.e. semantic compression, code becomes unreadable by humans in practice. We can see this in code golf competitions.
53.
by mpoteat 5y ago
Perhaps this is pedantic, but that doesn't look like good procedural code to me. Instead, it looks like a set of mathematical equations. I think there is intrinsic value in simple, procedural code that has state and produces side effec
54.
by mpoteat 5y ago
This is also my practice. Any code that is complicated enough to require a special comment is also complicated enough to be its own function.
55.
by mpoteat 5y ago
On the contrary, I find standard JSDoc and its variants to be an excellent tool for internal documentation. With hovering support in modern editors, it allows context explanation in a very streamlined and human way. The author mentions for
56.
by mpoteat 5y ago
There is none! Variance could be arbitrarily high I suppose. In the limit, if you assume a uniform distribution, I don't think that a single sample will give you any information about the underlying distribution characteristics. Howeve
57.
by mpoteat 5y ago
My view is that we can reason about organisms living in space because we are one of them. We have a sample size of one, but assuming that properties of different space-faring organisms are distributed normally, it stands to reason that the
58.
by mpoteat 5y ago
Hey David, I really feel for you. These PR-esque situations are never fun, but I think you’ve done an excellent job of handling this. I believe there is a bias people have of viewing (somewhat ironically) things in terms of a “David vs. Gol
59.
by mpoteat 5y ago
I agree that while it might be fun / efficient / impressive to learn the various methods of quickly specifying mathematical diagrams using symbolic entry, it distracts from the underlying message of the lecture. Experiential salie
60.
by mpoteat 5y ago
It's well considered by a lot of people in the industry that a prospective's grades and even which school they went to aren't a good predictor of skill.

More ›