user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra GÃ¶del et. al.)" Inconsistency Robustness is the emerging paradigm by Hewitt Removed by j4n bur53 Is Pedagogical Logic capabable for inference in math? by Hewitt Removed by j4n bur53 Logical Idealism? by Hank Thediek Is Pedagogical Logic suitable for practical reasoning? by Hewitt States can model nondeterminacy but not indeterminacy by Hewitt States can be indeterminate by Hank Thediek Removed by j4n bur53 Requiring Instances in proof steps can be self defeating by Hewitt ...	Hewitt	2013-10-26 19:36
Forum topic	Write tracking for Nimrod Maybe I don't understand by Matt M If this write-set mechanism by Araq The examples you give are by Araq I agree by Matt M Worried by gasche Yes, a good point. Read by Araq You need to track reads too by magnus	Araq	2013-10-23 17:22
Forum topic	Usable Live Programming The essay on by Sean McDirmid Intellitrace works by by Sean McDirmid Ideas by Winheim Raulsh web essay by Sean McDirmid Accepted into onward. by Sean McDirmid Dobbs/Allen on MPW by Rys McCusker homework: food for thought by Rys McCusker Interactivity in papers are by Jules Jacobs Also difficult by Sean McDirmid Yes true, although I think by yaxu ...	Sean McDirmid	2013-10-20 06:05
Story	Taking Off the Gloves with Reference Counting Immix Good, bad, ... I'm the guy with checkin privileges. by Rys McCusker I skimmed Berger's by naasking Here I veer way off topic. by Rys McCusker No inconvenience; feedback is good. by Rys McCusker hidden CPC reference? by gasche Devil's advocate. by pjmlp Rust by phazer Non sequitur, but true. by Rys McCusker Maybe not by Matt Hellige Does not scale. by pjmlp ...	naasking	2013-10-18 02:42
Forum topic	List of ICFP2013 papers with preprints Point taken by gasche Second, that reviewers have by Sean McDirmid Counterexamples by Sam Tobin-Hochstadt Interestingly (?), my by Lindsey Kuper Accepting fewer papers puts by Sean McDirmid a draft is not the end by gasche What is open by dmbarbour What is "open research"? by Sam Tobin-Hochstadt Hu? by gasche I'm quite sure they do, by Sean McDirmid ...	vieiro	2013-10-15 10:58
Story	Copatterns: the final approach to codata? I understood Oleg to be by Matt M See Section 4.2 of the by Cameron Zwarich Transfinite induction? by Matt M Copatterns: not the final approach to codata by Oleg Typo: s/Andreal/Andreas/ by Manuel J. Simoni Thanks. Great first post! by Ehud Lamm	gasche	2013-10-11 22:36
Forum topic	An "adaptive" LALR(1) parser I've been toying with	Kalani	2013-10-09 19:35
Story	LVars: monotonic update for deterministic parallel programming Two more things by gasche Encoding LVars as I-structures by Lindsey Kuper A minor type-and-effect system by rnewton IVars plus unification by rnewton Burton's papers by Lindsey Kuper Typing these things by Matt M I wonder by Matt M Improving Values by dmbarbour Single assignment, logic unification, and general lattices by gasche	gasche	2013-10-08 06:30
Forum topic	Trip Reports on Dagstuhl Live Coding seminar Thank you. I'm willing to by Sean McDirmid I'm a fairly used to having by yaxu Think of it as training when by Sean McDirmid Well I have to admit this by yaxu Hanging out in a Parisian by Sean McDirmid Yes I think that's it. Good! by yaxu I understand that. I'm not by Sean McDirmid It's worth noting though by yaxu Thanks for your efforts by yaxu Perhaps we are talking by Sean McDirmid ...	yaxu	2013-10-07 12:48
Forum topic	concurrency app examples for cooperative multi-tasking docs? More about what I had in mind. by Rys McCusker I'll have to make up what the game does. by Rys McCusker You can help me get some by munificent	Rys McCusker	2013-10-05 08:31
first page previous page next page last page