Lambda the Ultimate

type	title	author	last post
Forum topic	Programming by poking: why MIT stopped teaching SICP Dramatizing? by marco Party Line by marco Yah, it is a naturally occurring construct by marco That's not true either by marco Do you think category theory is symbolic logic? by marco It is spectacularly right by marco Dunno by marco Not programmer, CS by marco I'll Bite by marco	Sean McDirmid	2018-01-26 06:42
Forum topic	Non-determinism: a sublanguage rather than a monad Doesn't look to be that easy. by marco Is that supposed to be evidence? by marco Nitpicking but agreed by marco Sophistry by marco I'll try! by marco Substituting a particular for a universal by marco	Greg Buchholz	2017-10-28 07:57
Forum topic	The Platonic Solids of Software Construction and Their Realization in C Bjarne is very important but only gets to vote by marco If he would exist by marco Necessitarianism? by marco	bryanedds	2017-09-29 19:00
Story	Project Snowflake: Non-blocking safe manual memory management in .NET Mark phase by marco	naasking	2017-09-13 20:37
Forum topic	Type system based on epistemic modal logic? Solid idea by marco	Jon Purdy	2017-09-12 02:48
Forum topic	SK in Prolog Depends on equal by marco I programmed a bit anyway, not sure I got it right. by marco	marco	2017-09-10 07:05
Forum topic	Something I forgot I disagree on your reading by marco Yah, that's not how all that works, I think by marco Comparing type systems by marco Of course it fails. by marco Testing 1, 2, 3.. by marco I don't think you are right by marco Not well-formed? by marco	marco	2017-08-26 06:44
Forum topic	Language features for tracing JIT? I found it a refreshing post by marco	Luke Gorrie	2017-08-21 14:33
Story	Happy Birthday, dear Lambda: 17 is good edition Ha! by marco Depends by marco It's where the money is by marco Good thinking! by marco Egel Language by marco	Ehud Lamm	2017-08-18 06:51
Forum topic	The question of the possibility of a simple formal foundation to the natural languages. All jokes aside by marco Set... by marco Perfume or ring by marco 'And' and 'or' can switch meaning in NL by marco And also, of course, they by marco Propositional connectives don't have a clear meaning by marco Even most math is that by marco Can you convey feelings? by marco	Enrique Perez Arnaud	2017-08-16 01:24
Forum topic	New simple proof system Love it! by marco	Edwin Zacharias	2017-08-13 22:29
Forum topic	hobbes, Morgan Stanley OSS Post it. Please? by marco Wut? by marco	Kalani	2017-07-27 14:55
Forum topic	What would be involved in moving logic beyond FOL? Try strong and weak fairness by marco I knew this! by marco - by marco	Charles Stewart	2017-07-14 15:18
Forum topic	Just entertainment: Click, click, click! Don't refuse to click the by marco	marco	2017-07-13 22:32
Story	YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters Hehe, we disagree on principle by marco We don't even know what OO is... by marco Because it works^tm? by marco Reinstantiable module declarations by marco Look at all this mathematical beauty! by marco FP is excellent at that niche of problems it is excellent at! by marco	Ehud Lamm	2017-07-12 11:44
Forum topic	Affine Types - Introductory reading Categorical nonsense, indeed by marco Well look at that! by marco I scanned Girard's early papers by marco Ad-hoc at best by marco Because each formula is used exactly once? by marco Mistakes by marco Simple static checks on the term by marco	filipallberg	2017-07-10 02:17
Forum topic	Is Datalog negation(¬) similar to the built-in predicate (≠)? There's a short reference by marco Wild guess by marco	Milton Silva	2017-07-05 12:01
Forum topic	How to name the inverse functions of constructors - by marco Deconstructor was a common name at my college by marco	hbrandl	2017-07-03 00:16
Story	Type Systems as Macros So, it's in Lisp, huh.. by marco	naasking	2017-06-25 11:19
Forum topic	A refutation of Gödel's first incompleteness theorem I've been looking for a parabel to clarify by marco	Enrique Perez Arnaud	2017-05-25 18:11
Forum topic	Any thoughts on WanaDecrypt0r? Not like that by marco If you raise the bar high enough, people will walk underneath it by marco Why would they? by marco Ah, I was wondering by marco	marco	2017-05-21 21:12
Forum topic	Prove: 'Cont r a = (a -> r) -> r' forms a monad Last I know we are using undecidable type systems by marco Excluded types by marco A possible use for typing everything by marco That would be mostly useless by marco Depends on who you ask, I guess. by marco Mwa, I am not that nuanced by marco Is System F a Turing Tarpit? by marco Terms? by marco Agreed, I stepped into the Turing Tarpit by marco int -> int by marco ...	marco	2017-05-16 02:03
Forum topic	Practical Principled FRP: Forget the past, change the future, FRPNow! Have it your way by marco Brits like tea by marco That looks like a by marco I agree with David here by marco That's the origin of 'monadic' programming by marco Intensional vs extensional equality by marco I read it a bit by marco Of course there is a notion of equality by marco By the way by marco Not that interested by marco ...	Sean McDirmid	2017-05-12 16:41
Forum topic	Domain specific language for playing games Oh, you are the original author by marco Games is where a lot of the money is by marco More a general comment on that DSLs for gaming are widespread. by marco Kartoffel and Sweeney by marco	davidb	2017-05-03 22:47
Forum topic	Egel Language v0.1	marco	2017-04-22 21:19
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation