recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	POPL 2016 Research program... These titles piqued my by Jules Jacobs Does LtU have suggestions or highlights? by gasche Preprint gathering repo by gasche	Sean McDirmid	2015-12-13 11:48
Story	Compilers as Assistants Even better counterexamples by andru only works if the line numbers are accurate by andru to-read list by John Shutt Thought provoking. by Andrew Moss Then we still have to focus by Sean McDirmid Nice post by Ross Angle Is thinking purely by John Shutt OCaml IDE by gasche Its amazing that math is by Sean McDirmid art vs. science by raould ...	bashyal	2015-12-04 15:35
Story	Programming with Algebraic Effects and Handlers Algebraic effects and handlers in Javascript by chrisoliver Comparison to Extensible Interpreters? by naasking So, the yield that is as by naasking Caution about conflating shift with yield by Oleg Yield/run by matijapretnar You don't need delimited by naasking IIRC, Balat, di Cosimo and by neelk Nice by Matt Hellige Algebraic effects vs. delimited continuations by matijapretnar eff : shift/reset = while/if-then-else : goto by andrejbauer ...	Matt Hellige	2015-12-04 03:11
Forum topic	Logical and Functional Programming in Each Other pure parallel union find by dmbarbour Affine Vector by Andrew Moss more than the sum of the parts by raould performance semantics by dmbarbour "Preserving simple semantics" by pkhuong Affine Vectors by dmbarbour Escape from Zurg by Andrew Moss It should be easy by Ivan V. Escape from the what again? by gasche There are options by Andrew Moss ...	Jack Waugh	2015-12-02 19:01
Forum topic	The impact of syntax colouring on program comprehension	Jules Jacobs	2015-11-26 12:54
Forum topic	Andrei's answer to "Which language has the brightest future in replacement of C between D, Go and Rust? And Why?" better tools by Allan McInnes Hm by gasche Value ranges need to be defined to be useful by Allan McInnes ...and there are a lot of by Sean McDirmid hand verification all the way down by raould I've been talking to autonomous robotics people... by neelk Abstraction layers aren't by adrieng That is in line with what by Sean McDirmid See DO-178/ED-12 by neelk They care about the plane by Sean McDirmid ...	Sean McDirmid	2015-11-24 16:45
Forum topic	Hacker’s Brain – The Psychology of Programming "Successful" is vague.No by Sean McDirmid That programming is more by naasking There will always be bias in by Sean McDirmid Theorem proving by John Shutt Bias? by chrisoliver	Sean McDirmid	2015-11-23 03:27
Forum topic	Neural Programmer-Interpreters	Sean McDirmid	2015-11-22 12:33
Story	BWK on "How to succeed in language design without really trying" Not a bad summary... by Ehud Lamm labor saving devices by Thomas Lord	Ehud Lamm	2015-11-21 08:11
Story	When Is A Functional Program Not A Functional Program? whither function bodies by raould Computability at higher types by adrieng Church-Turing thesis by Vladimir Slepnev C is actually safer... by Jason Dusek G and h are supposed to be by Matt M might be starting to clue in, i can hope... by raould Monomorphic types by Vesa Karvonen more than that by Dave Herman Fair catch by Philippa Cowderoy re: Entirely possible to reason about in all circumstances by Vesa Karvonen ...	neelk	2015-11-20 21:56
first page previous page next page last page