Linkstream

66 views06:05

[esoteric language, used in the industry, formal reasoning]
https://en.wikipedia.org/wiki/Esterel

synchronous programming language for the development of complex reactive systems

68 views06:07

Ron Pressler Why Writing Correct Software is Hard
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/

73 views06:08

Linkstream

David Moon "http://users.rcn.com/david-moon/PLOT/page-1.html" [no implementations yet]
http://users.rcn.com/david-moon/PLOT/page-1.html

72 views06:10

Linkstream

LISP that is better formalized than McCarthy's (quote)
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4948

citeseerx.ist.psu.edu

CiteSeerX — M-LISP: A Representation-Independent Dialect of LISP with Reduction Semantics

CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): In this paper we introduce M-LISP, a simple new dialect of LISP which is designed with an eye toward reconciling LISP's metalinguistic power with the structural style of operational…

71 viewsedited 06:15

Linkstream

http://joeduffyblog.com/2007/11/09/the-slippery-slope-of-lockfreedom/

Joeduffyblog

Joe Duffy - The slippery slope of lock-freedom

Joe Duffy's Blog | Adventures in the high-tech underbelly

73 views06:20

Linkstream

So you want to write a Lisp interpreter? Welcome!
https://github.com/kanaka/mal/blob/master/process/guide.md

GitHub

mal/process/guide.md at master · kanaka/mal

mal - Make a Lisp. Contribute to kanaka/mal development by creating an account on GitHub.

74 views06:21

Linkstream

[RU] Левенчук про системную информатику
http://ailev.livejournal.com/1272169.html#comments

Livejournal

Системная информатика

Моя идея остаётся прежней: моделирование, программирование, онтологизирование (и, думаю, обучение как в machine learning) -- это предметная область для одного и того же отношения абстрагирования, как мереология -- это предметная область одного и того же отношения…

80 views06:22

Linkstream

http://www.kalzumeus.com/2010/06/17/falsehoods-programmers-believe-about-names/

Kalzumeus

Falsehoods Programmers Believe About Names

|
Kalzumeus Software

Classic essay about how software routinely bumbles human names.

87 views06:47

Linkstream

+ Single Letter Surnames
http://digitalcommons.butler.edu/cgi/viewcontent.cgi?article=2660&context=wordways

93 views06:48

Linkstream

http://www.cryptologie.net/article/358/generating-ones-own-elliptic-curve/

www.cryptologie.net

Generating one's own elliptic curve.

Dear Mr.DAVID
I am learning about generating an elliptic curves cryptography , in your notes I find:-
JPF: Many people don’t trust NIST curves. How many people verified the curve generation? Open source tools would be nice.
Flori: people don't trust NIST…

95 views05:46

Linkstream

Bayesian filtering: From Kalman filters to particle filters, and beyond
www.dsi.unifi.it/users/chisci/idfric/Nonlinear_filtering_Chen.pdf

103 views05:54

Linkstream

Channel photo updated

06:09

Linkstream

A founder's perspective on 4 years with Haskell
http://baatz.io/posts/haskell-in-a-startup/

89 views23:39

Linkstream

Augmented dog!

93 views10:15

Linkstream

Forwarded from Лепра +

This media is not supported in your browser

VIEW IN TELEGRAM

2 views10:15

Linkstream

DDC is a research compiler used to investigate program transformation in the presence of computational effects.
http://trac.ouroborus.net/ddc/

100 viewsedited 14:10

Linkstream

Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
http://people.csail.mit.edu/devadas/pubs/tardis.pdf

76 views10:36

Linkstream

TicToc: Time Traveling Optimistic Concurrency Control
http://people.csail.mit.edu/yxy/pubs/tictoc.pdf

81 views10:37

Linkstream

The Totem Single-Ring Ordering and Membership Protocol (1995)
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.767&rep=rep1&type=pdf

82 views11:20

About

Blog

Apps

Platform