shalabhc

11 ms·

61.
by shalabhc 8y ago
Looks promising! Since this subsumes the database - what kind of transnational data consistency is provided? How do upgrades to your data model work?
62.
Propositions Are Not Types (2018)(medium.com)
2 points by shalabhc 8y ago|0 comments
63.
by shalabhc 8y ago
How does Nim prevent modifying an object after it has been added to a Table? (Or is it always copied?)
64.
What We Talk About When We Talk About Computation(pron.github.io)
4 points by shalabhc 8y ago|0 comments
65.
LegoOS: a disseminated, distributed OS for hardware resource disaggregation(blog.acolyer.org)
1 points by shalabhc 8y ago|0 comments
66.
People Don't Write Programs(pron.github.io)
2 points by shalabhc 8y ago|0 comments
67.
by shalabhc 8y ago
I'm aware of extended attributes and it definitely seems like a step above the completely opaque byte arrays that are the status quo. I suppose we could call it db as a file system. Another interesting idea is the data types in Amiga O
68.
by shalabhc 8y ago
That ST video is great. Yes, apps are silos - why? Making non-siloed apps is harder, and integration across these is harder still. Is it possible to design the underlying system/substrate such that siloed apps are not the structures gr
69.
by shalabhc 8y ago
> The big difference is, you instrument a program, but you do not instrument a system. We do instrument systems, consider strace or https://zipkin.io/ > A comparison would be a computer system is like a biological eco
70.
by shalabhc 8y ago
(Author here) > Changing the word to something else doesn't actually make the problem easier to solve. This is true, but what exactly is 'the problem' in the first place? Framing makes a difference. Do we assume we are des
71.
by shalabhc 8y ago
Yup! There are many versions of Subtext. The most relevant to decision tables is perhaps schematic tables: https://vimeo.com/140738254 "a cross between decision tables and data flow graphs"
72.
by shalabhc 8y ago
So where do Smalltalkers and Lispers go?
73.
by shalabhc 8y ago
This looks great! Is it possible to integrate with hypothes.is (e.g. import all hypothes.is annotations)?
74.
by shalabhc 8y ago
Is there a way to uniformly represent links and relationships between IPFS files in IPFS itself?
75.
An Engineer’s Guide to the Docuverse(lord-enki.net)
60 points by shalabhc 8y ago|9 comments
76.
by shalabhc 8y ago
To get another taste of the kinds of systems possible in the 70s, in spite of the constraints, see Kay's demo of a revived Smalltalk-78 system: https://youtu.be/AnrlSqtpOkw?t=3m3s (I believe this system is about 10-20K
77.
by shalabhc 8y ago
Also check out Flowsheets by Glen Chiacchieri: https://tinyletter.com/Flowsheets/letters/flowsheets-v2-and-...
78.
by shalabhc 8y ago
Related, Ted Nelson recently posted a series of videos describing the important ideas on Xanadu, the original hypertext project: https://m.youtube.com/watch?v=hMKy52Intac#
79.
by shalabhc 8y ago
"our call stack has become a tree" This is a really useful property to have and reason about. Instead of several independent coroutines with arbitrarily overlapping lifetimes, we can now think of all coroutines as organized in a
80.
by shalabhc 9y ago
> The size of the shards depends on the data. You're right. What I meant was that a 'shard' in actordb isn't meant to be 'all data on one machine/node' - which is how many other databases view sharding,
81.
by shalabhc 9y ago
IIUC these are micro shards - e.g. one sqlite instance per user. Depending on the key, distributed transactions may be rare.
82.
by shalabhc 9y ago
Check out http://www.actordb.com/ for a massively sharded sqlite system.
83.
Anna: A KVS for any scale(blog.acolyer.org)
50 points by shalabhc 9y ago|4 comments
84.
by shalabhc 9y ago
> Imperative programs, on the other hand, always have a ready axis for decomposition: time. Insightful comment. When using libraries, we always use the API in an imperative way. Even if the library uses a declarative model, we pass aroun
85.
by shalabhc 9y ago
Right - you'd also need object 'histories', so handling every message in effect produces a new version of the process.
86.
by shalabhc 9y ago
Hmm, not sure what specific aspect you're looking for but here's some related stuff: For 'managed time' ideas in the 'small', see https://www.microsoft.com/en-us/research/publication&#
87.
by shalabhc 9y ago
Right - Erlang does the 'objects and messaging' idea quite well. I'm not sure if all effects of sending a message to an Erlang process are 'isolated'? E.g. could a process write to the disk directly or would that al
88.
by shalabhc 9y ago
Seek out other answers on Quora by Alan Kay? Also check out Tea Time from the Croquet project: https://en.wikipedia.org/wiki/Croquet_Project#Synchronizatio... IIUC one idea here is to apply the concept of 'reliabl
89.
The Scopes Programming Infrastructure(scopes.readthedocs.io)
2 points by shalabhc 9y ago|0 comments
90.
by shalabhc 9y ago
"Programming in the large" is mentioned a few times in the article but we're still thinking programming one OS process at a time, fiddling with low level data structures - is this really 'in the large'?

More ›