setori88

9 ms·

31.
Artiq: Next-generation control system for quantum information experiments(github.com)
5 points by setori88 11y ago|0 comments
32.
Es - An extensible shell with first-class functions, lexical scope, exceptions(wryun.github.io)
2 points by setori88 12y ago|0 comments
33.
by setori88 12y ago
We implemented a flow-based programming language in Mozart Oz at github.com/fractalide/fractalide if you're interested.
34.
by setori88 12y ago
Chatty software able to synchronize state over the open internet using declarative concurrency is a distributed system. A high performance cluster running something like distributed message passing concurrency erlang is a distributed system
35.
The Good Country Index(goodcountry.org)
1 points by setori88 12y ago|0 comments
36.
by setori88 12y ago
Okay when I first started using NixOS as a desktop, I knew it would bite me. But I'm a firm believer of the way NixOS handles state, so I suffered through both my and NixOS' growing pains. Basically I had to change my graphics car
37.
by setori88 12y ago
Oh right, interesting. Now generally speaking I'd suspect things like concurrency, lazy and non-determinism should be made explicit in a language, these concepts should be language level not library/macro level. I'm quite cur
38.
by setori88 12y ago
(Please correct me if I'm wrong) but the NixOS functional language is also lazy. Guix does not have this lazy feature. Though on the other hand, it does play well with the rest of GNU.
39.
by setori88 12y ago
I've gotten over all the features of Nix, its become my environment of choice. What continuously impresses me now is the Nix community. An issue with your system can be resolved within minutes of a github issue submission. I'd lik
40.
by setori88 12y ago
Agreed, though updating your system shouldn't break other packages. If those other packages are a security risk then they too should be updated. Once done, garbage collect that which is not used.
41.
by setori88 13y ago
Quisquater was involved in the development AES. Are the NSA trying to find ways to crack it?
42.
Paradigms of Computer Programming by Peter Van Roy - EdX videos(youtube.com)
2 points by setori88 13y ago|0 comments
43.
by setori88 13y ago
Now regarding NixOS in general; its a smashingly good system, I use it on a daily basis, but proper documentation is in dire need.
44.
by setori88 13y ago
I'd also quite like to know how to do automatic image generation for different architectures once all tests have passed. That would be fun to see.
45.
by setori88 13y ago
I would love to see some good examples on how to create custom development environments. ie one for erlang, C, oz etc
46.
Content centric network(ccnx.org)
1 points by setori88 13y ago|0 comments
47.
by setori88 13y ago
Numenta is completely self funded. No VC would touch Numenta - (in the beginning) Do you really think Hawkins a man who dedicated his life to reverse engineering the neocortex will determine his success by a quick and dirty 'feature' sellou
48.
Numenta has released its Cortical Learning Algorithm (CLA) - dual license/GPL3(github.com)
4 points by setori88 13y ago|0 comments
49.
First teleportation between macroscopic objects leads to quantum internet(extremetech.com)
2 points by setori88 14y ago|0 comments
50.
by setori88 14y ago
fair enough, appreciate your input.
51.
by setori88 14y ago
appreciated - this deletionism mentality, i feel is slightly incorrect. would it not be better to have an attitude of accuracy? whereby ensuring the content is accurate. if the wikipedia servers cannot handle the strain of amassing the know
52.
by setori88 14y ago
thank you i see now.
53.
by setori88 14y ago
i should be more clear - github has the potential to be a real threat to wikipedia in the long run. a group of hive minded individuals developing code together with powerful tools, tools more powerful than web text boxes. with a stretch of
54.
by setori88 14y ago
reason for deletion?
55.
Peter van Roy: Ozma: Extending Scala with Oz Concurrency(infoq.com)
8 points by setori88 14y ago|0 comments
56.
by setori88 15y ago
Im pretty certain that the 'final' level that he talks about doesn't make use of timeouts, but stream monitors that raise temp fault, perm failure and okay flags. he makes no mention of streams nor of the concept of a port which (in oz) is
57.
Theory and Practice of Logic Programming [pdf](arxiv.org)
4 points by setori88 15y ago|1 comments
58.
by setori88 15y ago
an accompanying video http://vimeo.com/6625412
59.
Breaking the Time Barrier: The Temporal Engineering of Software(amazon.com)
1 points by setori88 15y ago|1 comments
60.
by setori88 15y ago
The xdg framework is quite astounding. http://www.mozart-oz.org/mogul/doc/debusmann/xdk/ with a paper here: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.113... It uses oz's advanced constraint spaces over different input typ

More ›