sesm

13 ms·

271.
by sesm 2y ago
Recently I was writing Pedestal code (for the first time in my life) and ChatGPT was ok at generating boilerplate for it. If the nature of the code is boilerplate like and there is online documentation that ranks high in Google search, I su
272.
by sesm 2y ago
> They initially told him the design was good as is and required no feedback and change, but once the project was about to be deployed they suddenly became very opinionated Because the design usually is presented in a way that looks the
273.
by sesm 2y ago
Will it be possible to manually position the nodes? Ideally, manually position some nodes and auto-layout the rest.
274.
by sesm 2y ago
For example, our concept of 'work most of your time to afford food and place to live' for Aristotle would translate to a single word 'slave'. Good for him that he didn't have to do it and had slaves working for him
275.
by sesm 2y ago
In a real problem you can have equations with parameters, where coefficients depend on some other parameters. And you should be able to answer questions about the roots depending on parameter values, like 'in which range of parameters
276.
by sesm 2y ago
Hard disagree. Group theory, for example, is not just another language, but is absolutely necessary for proving Abel's theorem. So the question was: Group theory -> Abel's theorem Category theory -> ??? (below I got the answ
277.
by sesm 2y ago
As far as I understand, fundamental groups were defined by Poincare in 1895. And functors in category theory are a generalisation of this idea (i.e. proving something for fundamental groups and then relating this back to topological spaces)
278.
by sesm 2y ago
Thanks again! It will take some time for me to digest, but at least now I know in which direction to look.
279.
by sesm 2y ago
Thanks, this looks very interesting!
280.
by sesm 2y ago
That sounds good, but what's the easiest to state mathematical problem that requires Category Theory apparatus for the solution?
281.
by sesm 2y ago
Is there any Category Theory tutorial that illustates that we need this apparatus to solve some real problem? For example, for Group Theory there is an excellent book 'Abel's theorem in problems and solutions' that does exact
282.
by sesm 2y ago
React components are clearly not FRP data transformations, they don't have any notion of data flows, observable/computed values, etc.
283.
by sesm 2y ago
I don't agree that React is FRP. FRP is a generic solution that builds data-UI synchronization around data, and assumes that incremental UI updates will be written in UI code. React puts data-UI synchronization code inside UI component
284.
by sesm 2y ago
> First off, Swift has both memory & data race safety (as of v6) But v6 is not released yet, right?
285.
by sesm 2y ago
Slightly off topic: is there a developer proxy that has a similar UI? I don't want to wrap the app in docker just see network logs in a nice UI.
286.
by sesm 2y ago
"Not even wrong" is a title of a book about String Theory by Peter Woit. I've noticed a common tactic in online disinformation campaigns: taking a common term associated with critique of some concept and spamming it in a diff
287.
by sesm 2y ago
It's like string theory - a framework with tons of free parameters which will never produce a coherent physical theory, but you can always write a paper that contains a promise of explaining any observation with the right fine-tuning o
288.
by sesm 2y ago
Because Flow is an actual developer tool, not a rent-seeking landgrab with a marketing budget.
289.
by sesm 2y ago
There was no real competition, Flow was a practical internal tool with 0 marketing budget. Typescript is typical MS 3E strategy with a huge budget. Needless to say, Flow is much more practical and less intrusive, but marketing budget captur
290.
by sesm 2y ago
Because it's Cl- ions in salt vs Cl2 in gas.
291.
by sesm 2y ago
Wouldn't UncheckedEmail be just string?
292.
by sesm 2y ago
Premature abstraction and premature optimization are just instances of Heffalump Trap pattern.
293.
by sesm 2y ago
I've seen scripts that probe ports with nc until they find a free one. They usually log to stdout which port they found.
294.
by sesm 2y ago
Related: list of web server one-liners https://gist.github.com/willurd/5720255
295.
by sesm 2y ago
Assuming Gaussian distribution, how many criteria should be graded, so that 90% of applicants are in top 10% for at least one criterion?
296.
by sesm 2y ago
But you can already put React in the terminal with react-curse.
297.
by sesm 2y ago
So, the new design has smaller API surface area and more possibilities for late binding, that's nice.
298.
by sesm 2y ago
Which Next are you talking about here?
299.
by sesm 2y ago
To me the most common confusion when reading the code is the lack of documented intention behind the code. You can think of deciphering intention from code as a backwards problem, which is exponentially harder then forward problem (checkin
300.
by sesm 2y ago
Last time I checked 3rd party plugin 'Remotely Sync' worked fine on mobile. You just create a new vault with any name you want, install the plugin, fill-in the settings and the sync will copy content of your existing vault there.

More ›