Z-Bo

type sort icontitleauthorlast post
StoryApplications of Blockchain to Programming Language Theory Z-Bo2020-04-23 14:47
StoryTensor Considered Harmful Z-Bo2019-11-09 02:27
Forum topicHistogram: You have to know the past to understand the present by Tomas Petricek spdegabrielle2019-09-24 22:04
StorySeven Sketches in Compositionality: An Invitation to Applied Category Theory Andris Birkmanis2019-05-24 22:34
Story"Three Things I Wish I Knew When I Started Designing Languages" Charles Stewart2019-05-14 00:54
StorySelective Functors Z-Bo2019-03-05 18:39
Forum topicRepresenting Type Information in Dynamically Typed Languages Ray Dillinger2018-04-06 21:50
StoryProject Snowflake: Non-blocking safe manual memory management in .NET naasking2017-09-13 20:37
Forum topicType system based on epistemic modal logic? Jon Purdy2017-09-12 02:48
Forum topichobbes, Morgan Stanley OSS Kalani2017-07-27 14:55
Storykdb+ 3.5 released last month Z-Bo2017-03-26 23:57
Forum topicSplitting witnesses up Z-Bo2016-11-30 17:22
Forum topicOn the (Alleged) Value of Proof for Assurance shap2016-11-24 01:04
StoryAutomating Ad hoc Data Representation Transformations naasking2016-09-29 18:54
StoryPowerShell is open sourced and is available on Linux Ehud Lamm2016-08-21 21:31
Forum topicAlice, Bob, and Penthesilea: mutually suspicious code and data owners johnwcowan2016-07-29 14:27
StoryAdmin Ehud Lamm2016-07-24 14:16
Forum topicRemora: An Array-Oriented Language with Static Rank Polymorphism raould2016-04-24 16:35
StoryProgress on Gradual Typing gasche2016-01-28 15:13
Forum topicAndrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" Sean McDirmid2015-11-24 16:45
StorySTABILIZER : Statistically Sound Performance Evaluation gasche2015-08-19 14:43
StoryFacebook open sources "Infer", static program analysis tool Z-Bo2015-07-28 18:54
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicWhat makes LtU more or less enjoyable? gasche2015-05-07 06:03
Forum topicVirgil: a statically-typed language balancing functional and OO features Kartik Agaram2014-10-25 23:08