user | Lambda the Ultimate

user

view
track

type	title	author	last post
Forum topic	Generational Real-Time Garbage Collection I think the state of the art by Jules Jacobs fine questions by raould What is the point? by HeikoWengler	raould	2014-07-29 00:47
Forum topic	No Instruction Set Computer NISC	raould	2014-07-28 23:03
Forum topic	Real time GC for FPGAs	raould	2014-07-25 17:11
Forum topic	Annual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014 Are the so-called fundamental constructs machine processable? by Jason Livesay	paulboca	2014-07-24 20:46
Story	Interactive scientific computing; of pythonic parts and goldilocks languages Two Syntaxes Better? by Keean Schupke Android NDK by Keean Schupke Hm by gasche Maybe Cython/RPython is the by mamcx Nobody forces Python devs to use C by Keean Schupke Not really the problem by renox Constraints by Keean Schupke Possible in one language? by renox Necessary division, but may be possible in one language by Keean Schupke Yes, it's painful by John Nagle ...	gasche	2014-07-24 16:28
Forum topic	upvoting? If it was done again, more by Sean McDirmid ok by raould personal no-voting preference by Rys McCusker	raould	2014-07-24 02:07
Forum topic	Declarative Interaction Design for Data Visualization Dataflow is becoming by Sean McDirmid Fit by lmeyerov Popped on my google scholar by Sean McDirmid	lmeyerov	2014-07-23 09:23
Forum topic	Do Logic Languages Need Negation? Proving Heyting Algebra is Distributive by Keean Schupke Different Discussion by Keean Schupke Logic Variables vs Non-Deterministic Functions by Keean Schupke See computational by Jules Jacobs From the paper I linked to by naasking Confused by Keean Schupke Functional logic languages by naasking Curry Howard by Keean Schupke value notation over performance by Keean Schupke Why would you want to extend by naasking ...	Keean Schupke	2014-07-22 17:47
Forum topic	wither formal methods? whence formal methods? by Dave	raould	2014-07-22 10:22
Forum topic	What's in a name? natural language is slippery by Rys McCusker not really a universal technique by Rys McCusker using hashes as names by dmbarbour Seems flawed by Keean Schupke example of hash as name by Rys McCusker Machine learning. by Sean McDirmid I think my language would be by Matt M But symbolic reasoning as a by naasking We already do that with URLs by Sean McDirmid How about this: libraries by Jules Jacobs ...	Sean McDirmid	2014-07-22 03:28
first page previous page next page last page