Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
enugu
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
61.
▲
by
enugu
2y ago
There have been proposals to have global state in programming languages which function like databases with the advantages of monitoring/persistence/naming etc, but also retain the modularity of local state. https://www.
62.
▲
by
enugu
2y ago
Some of Tufte's criticism of slide bullets is not specific to PowerPoint, but could be extended to software which work with nested nodes like Roam/Workflowy(software which I like). Workflowy, in fact, allows you to convert a tree
63.
▲
by
enugu
2y ago
Don't think you should be intimidated just by reading the article itself. It is using several domain specific terms. But you would encounter that in many other contexts - for instance a group discussing an intricate board game you a
64.
▲
by
enugu
2y ago
One of the motivations of copyleft licenses like GPL which are a part of open source, was the freedom for users to see and modify code. The fact that the user works with the software in a browser rather than inside a native app is a technic
65.
▲
by
enugu
2y ago
It is absurd to call this license change stealing when the previous work is still available under the original license. This is more like someone who is giving to the community, still continuing to give, but with a slightly more strict lice
66.
▲
by
enugu
2y ago
In this discussion of a specific point in the post, the promise of Hylo language and mutable value semantics can be overlooked. Namely, we get a lot of the convenience of functional programming (mutating one variable doesn't change any
67.
▲
by
enugu
2y ago
OCaml is not an unsophisticated language. It inherits the features of ML and has first class modules, which is not present by default in Haskell (present in backpack). Not having first class modules leads to a lot of issues. Also, there is
68.
▲
by
enugu
2y ago
"Make illegal states unrepresentable" can be done by encapsulating the variables inside a single data object(struct/class/module) and only exporting constraint respecting functions. Also, Algebraic Data Types can be pres
69.
▲
by
enugu
2y ago
Doesn't skipping view layers mean that constraints held by intermediate layers can be violated? Say a city stats(location, weather) component is held inside a region component which in turn is in charge of a product route generating co
70.
▲
by
enugu
2y ago
This page ( https://reasonml.github.io/docs/en/module ) is useful to see how a FP language can do what he wants. Because we have functors, which are functions from a group of modules/classes to another module&#
71.
▲
by
enugu
2y ago
To your main point, I wouldn't say exactly that the component stores the state. But, rather that every component provides an initial value, possible events, and a default event handler which is a function from value to value. In effect
72.
▲
by
enugu
2y ago
This is a digression, but regarding OOP, my somewhat provocative view, is that it is not a natural thing, but in most languages, it is atleast 4 different concepts 1. Encapsulation/Namespace, 2. Polymorphism, 3. Extensibility(Inheritan
73.
▲
by
enugu
2y ago
FP nerd: The pure core is nice and composable, with the imperative shell at the boundary. State Skeptic: Yes, But! How do you compose the 'pure core + impure shell' pieces? FPN: Obviously, you compose the pure pieces separately. Y
74.
▲
by
enugu
2y ago
Yes, I do agree with you - live image programming has to be composable/comprehensible/reproducible, and crucial state shouldn't be in anonymous objects. (I've even thinking of replacing mutable objects with with pure fun
75.
▲
by
enugu
2y ago
OK, but files are external to the system. Within the Smalltalk environment, everything is an object and files are required as the ambient OS works with files. You can say that some objects within the environment, containing program source a
76.
▲
by
enugu
2y ago
Reasonable observations on office behaviour are being processed into glib stereotypes on culture. Employees routinely show discontent in India, (just one instance https://www.reuters.com/world/india/workers-apple
77.
▲
by
enugu
2y ago
Sure, files are a detail. But, the concept of namespace doesn't need to be attached to a file, it can just be a convenient convention to attach a namespace to a file. In live environments like Smalltalk images, there are no files. I th
78.
▲
by
enugu
2y ago
Yes, I should have mentioned polynomials with rational coefficients(or indeed any algebraic numbers as coefficients due to transitivity of being algebraic).
79.
▲
by
enugu
2y ago
One interesting result implies that numbers like 3^(sqrt(3)) will be transcendental (ie no polynomial will evaluate them to 0). https://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theo...
80.
▲
by
enugu
2y ago
This is a good account of a software modelling process. But, this is not specific to booleans. Database constraints involve the same issue. One motivation for encapsulation in software was to preserve constraints in the data (or in other wo
81.
▲
by
enugu
2y ago
A formal program with funding, faculty and grad students would greatly help to make something which is not superficial. (Although I don't know of how much making art is a university subject, art criticism seems to be more in vogue). Cu
82.
▲
by
enugu
2y ago
There is a tendency here to pattern match the advice in this article with frustrating experiences about office politics. But I dont see this as a post about politics. Rather, what I got was that the spec is an incomplete description and the
83.
▲
by
enugu
2y ago
Hyperfiddle and Quadratic implement some of the items on your wishlist (richer data types, modern programming languages, working with arrays, better connectivity to data tools).
84.
▲
by
enugu
2y ago
We can think of the Compiler as a function from a string to a string - high level (HLC), to low level code(LLC). LLC can include the garbage collection code(if it is run as a standalone executable instead of garbage collection being done b
85.
▲
by
enugu
2y ago
The overtyping seems not about not about static vs dynamic but about nominal typing(functions based on the abstract type) vs structural typing/row-polymorphism (functions based on specific fields). Go seems to have structural typing, t
86.
▲
by
enugu
2y ago
There seems to be an analogy to servers being capable enough for usual demand(income>spending), but fails due to some downtime for some servers(out of a job) or peak loads(medical emergency). This can be amortized by having data centers
87.
▲
by
enugu
2y ago
Javy project seems more active.
88.
▲
by
enugu
2y ago
For sandboxing in JS, we can use sandboxed iframes or webworkers. Both of those communicate to hosted code via postmessage which serializes an object and this can be used as a base for implementing function calls. Whereas if I understand co
89.
▲
by
enugu
2y ago
Could this ever function as a less resource intensive substitute for Electron apps? WASM doesn't have DOM access, but could it be added in these extensions? Edit: Maybe this question doesn't make sense as the OS would need to have
90.
▲
by
enugu
2y ago
Is there a good way for a startup to find a vendor who has agreements with larger companies and is willing to ship the startup's product?
More ›