typetitle sort iconauthorlast post
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
StoryLtU's new server Anton van Straaten2014-10-20 16:51
Forum topicReactive Programming J Storrs Hall2014-08-06 03:32
StoryseL4: Formal Verification of an Operating-System Kernel James Iry2014-07-29 07:19
Forum topicYou don't mean people actually still use it?! Ehud Lamm2014-04-25 01:13
Story.NET Compiler Platform ("Roslyn") Ehud Lamm2014-04-22 23:53
StoryStudy finds that when no financial interests are involved programmers choose DECENT languages Ehud Lamm2014-04-15 05:59
Forum topicModern Shell Language Pavel P2014-04-06 11:51