ctenb

7 ms·

61.
by ctenb 1y ago
See helix.vim on GitHub
62.
by ctenb 1y ago
Yes, it feels neglectful that the author has not mentioned this prior art, especially since they are near identical
63.
by ctenb 1y ago
Abstract is an abstract word. Your interpretation is just one of the possible meanings. You could argue that this language is abstract because the data has no intrinsic meaning.
64.
by ctenb 1y ago
I don't see how predefined keywords are a bad thing. True/false is near universal
65.
by ctenb 1y ago
Very nice! I've often wondered how close you could get to a POSIX-like syntax with something like this while maintaining a LISP semantics as much as possible. Especially pipelines are much easier to read with the | and > operators.
66.
by ctenb 1y ago
Math is about discovering universal truths: Given a set of axioms and following theorems, the theorems will apply in any scenario where the axioms are true. So that makes maths both invented (the axioms) and discovered (the theorems) and r
67.
by ctenb 1y ago
You linked the wrong article
68.
by ctenb 1y ago
I mean, technically almost all of math can be related to other math one way or another. To say the CT has a lot to do with computation is definitely a stretch. CT is not a recognized Computer Science subject. It's mostly used in the
69.
by ctenb 1y ago
It's also wrong, since computer science is traditionally mostly about computation, which has nothing to do with CT
70.
by ctenb 1y ago
Examples? I haven't really seen many applications of CT, even though I looked for them since I find the idea of CT interesting
71.
by ctenb 1y ago
> you can also specify that two mappings compose Two mappings with corresponding domain/codomain have to compose by definition of a category. It's not something you can specify.
72.
by ctenb 1y ago
Your definition is overly broad and makes everything a programming language, at which point the term isn't useful anymore.
73.
by ctenb 1y ago
What do you mean by this analogy?
74.
by ctenb 1y ago
It works for me, but differently than I first thought. You don't select and move line shapes as a whole, but only segments in a perpendicular direction
75.
by ctenb 1y ago
> Public speaking becomes easier as you do it more and the more you do it, the easier it becomes. That's saying the same thing twice :)
76.
by ctenb 1y ago
Source?
77.
by ctenb 1y ago
Plug or not, this is relevant and on-topic. +1 to offset this unnecessary voting behavior.
78.
by ctenb 1y ago
Is this story fiction or non-fiction? It seems utterly absurd
79.
by ctenb 1y ago
Assignments should in total be worth ten percent of the total mark. Not too much to cheat over and waste your chance of valuable feedback. Not too little to ignore, so giving some short term incentive to actually work on them.
80.
by ctenb 1y ago
I don't see how potentially ruining someone's exam classifies as fun
81.
by ctenb 1y ago
You assume too much context from people. If you know the problem space I'm sure your explanation is technically correct. But random people do not have that preknowledge.
82.
by ctenb 1y ago
I read the page three times, I have no ideas what it's about :(. Something about funding and opensource, but no clue how or why
83.
by ctenb 1y ago
Why do you count it as a highlight if your product failed to meet expectations?
84.
by ctenb 1y ago
Mutliplexer -> Multiplexer
85.
by ctenb 1y ago
I find that his bodily gestures and facial expressions greatly add to his performance, yet I can find most of his songs in audio format only? Does anyone know if there are more recordings available, apart from the concert in denmark?
86.
by ctenb 1y ago
Sorry to go tangential, I was reading your blog posts following the link from your post. The monoid example is possible without static interface methods: you could use the new() constraint and have the empty constructor act as identity elem
87.
by ctenb 1y ago
She is leaving the company, not the platform
88.
HMQ: Principal Type Inference Under a Prefix(microsoft.com)
2 points by ctenb 1y ago|0 comments
89.
by ctenb 1y ago
This article nowhere suggests that lines of code is something to be maximized.
90.
by ctenb 1y ago
Indeed, and to answer your question: more difficult

More ›