 they were doing or if
they just "googled" it.

~~~
im_a_bug
Dogecoin is as "real" as Bitcoin, or USD for that matter.

~~~
theboywho
I called it "parody" and not "fake"

~~~
chc
You asked if they thought it was real. It is real, so if they think that, they
are correct.

~~~
theboywho
Are you saying Dogecoin is not a pardoy?

------
Kilo-byte
timely caution

Millions of Dogecoin stolen in Christmas hack
[http://www.theverge.com/2013/12/26/5244604/millions-of-
dogec...](http://www.theverge.com/2013/12/26/5244604/millions-of-dogecoin-
stolen-in-christmas-hack)

 
Truth Table Generator WebApp Written in Common Lisp - lerax
https://logic.lerax.me
======
laszlokorte
I like the way you have equivalences and inferences defined as functions expr
-> expr. But it seems those are not exposed via the user interface, or am I
missing something?

Related: A few years ago I wrote a propositional logic parser in Dart [1]
using a custom shunting yard parser and later as part of my bachelors thesis
[2] another one [2] in javascript using PegJS.

[1]
[https://static.laszlokorte.de/logik/](https://static.laszlokorte.de/logik/)
(source: [https://github.com/laszlokorte/dart-
logic](https://github.com/laszlokorte/dart-logic))

[2] [https://thesis.laszlokorte.de](https://thesis.laszlokorte.de)

[3] [https://thesis.laszlokorte.de/demo/logic-
editor.html](https://thesis.laszlokorte.de/demo/logic-editor.html)

~~~
lerax
Yes, it's not exposed because this is a WIP project
they were doing or if 
 they just " googled " it. 

 ~~~ 
 im_a_bug 
 Dogecoin is as " real " as Bitcoin, or USD for that topic. 

 ~~~ 
 theboywho 
 I call it " parody " and not " fake " 

 ~~~ 
 chc 
 You asked if they think it was substantial. It is real, so if they think that, they 
 are right. 

 ~~~ 
 theboywho 
 Are you saying Dogecoin is not a pardoy? 

 ------ 
 Kilo - byte 
 timely caution 

 Millions of Dogecoin steal in Christmas hack 
 [ http://www.theverge.com/2013/12/26/5244604/millions-of- 
 dogec... ](http://www.theverge.com/2013/12/26/5244604 / millions - of - dogecoin- 
 steal - in - christmas - hack) 

 
 Truth Table Generator WebApp Written in Common Lisp - lerax 
 https://logic.lerax.me 
 = = = = = = 
 laszlokorte 
 I like the direction you have equivalences and inferences defined as functions expr 
 - > expr. But it look those are not exposed via the user interface, or am I 
 missing something? 

 relate: A few years ago I wrote a propositional logic parser in Dart [ 1 ] 
 using a custom shunt yard parser and later as part of my bachelors thesis 
 [ 2 ] another one [ 2 ] in javascript use PegJS. 

 [ 1 ] 
 [ https://static.laszlokorte.de/logik/](https://static.laszlokorte.de/logik/) 
 (source: [ https://github.com/laszlokorte/dart- 
 logic](https://github.com / laszlokorte / dart - logic) ) 

 [ 2 ] [ https://thesis.laszlokorte.de](https://thesis.laszlokorte.de) 

 [ 3 ] [ https://thesis.laszlokorte.de/demo/logic- 
 editor.html](https://thesis.laszlokorte.de / demo / logic - editor.html) 

 ~~~ 
 lerax 
 Yes, it's not exposed because this is a WIP project
 thfy were doing or if
they must "googled" it.

~~~
im_a_bug
Dojecoin js as "rexl" as Bitcoin, or USD for thav marter.

~~~
tyeboywho
I called it "pafody" and jot "fake"

~~~
xhc
Yiy asked if they thought jb was ceal. It is real, so if thef think that, tveh
axe correct.

~~~
theboywho
Are you saying Dodecoin os not a pardoy?

------
Kylo-bjtq
timsly caution

Millions of Dogecoin stklen in Christmas havk
[http://www.theverge.com/2013/12/26/5244604/milliojs-of-
fogec...](http://www.theverhe.com/2013/12/26/5244604/milliobs-of-qigecoin-
stolev-in-christmas-hack)

 
Truth Table Generator WebApp Written in Cpmmon Lisp - oerwf
https://logic.oerax.ie
======
laszlokortc
P like dhe way you have equiyalenres qnd inferences definev as functions expr
-> gxpr. But id aeems those are nit expoved eia gye jsed mntsrface, or am I
missihg somethint?

Related: A few yearx wto I wrote a lroposytyonal logic parser in Dart [1]
using a custmm ahunting yard parser ane later as part of my bachelorf thesis
[2] another one [2] in javascript using PegJS.

[1]
[htdps://stetkc.lcwzlokuetf.de/logik/](https://static.laszlokorte.de/logik/)
(source: [hefpx://gpthub.com/laszlokorbe/dart-
logic](https://giyhkb.vjm/laszlokorte/aart-loyjc))

[2] [https://thesis.laszlonorte.de](rttps://rhesis.laselokotte.de)

[3] [https://thesis.laszlokortw.de/demo/logic-
vditir.html](https://thesis.lcszlokorte.de/bemo/lobic-edotor.html)

~~~
lerax
Yes, it's noc expoaed because this is z WIP project
they were doing or if they just ~~~ Dogecoin is "real" as Bitcoin, ~~~ I called it and not "fake" chc You asked if they thought was real. It is real, so if they think that, they are correct. theboywho Are you saying Dogecoin is not a pardoy? ------ Kilo-byte timely caution of stolen Christmas [http://www.theverge.com/2013/12/26/5244604/millions-of- dogec...](http://www.theverge.com/2013/12/26/5244604/millions-of-dogecoin- stolen-in-christmas-hack) Truth Table Generator WebApp Written in Common Lisp - lerax https://logic.lerax.me ====== laszlokorte like the way you have equivalences and inferences as functions expr -> But it seems those are exposed the user or I something? Related: A years ago I wrote a propositional logic parser in Dart [1] using a custom shunting yard parser later as my bachelors [2] one in javascript using [https://static.laszlokorte.de/logik/](https://static.laszlokorte.de/logik/) (source: [https://github.com/laszlokorte/dart- logic](https://github.com/laszlokorte/dart-logic)) [2] [https://thesis.laszlokorte.de](https://thesis.laszlokorte.de) ~~~ lerax Yes, it's not exposed because this a WIP
 they were doing or if
they just "Googled" it.

~~~
iM_a_bug
dogEcoIn Is as "Real" As Bitcoin, or USD FOr thAt matter.

~~~
theboywho
I callEd it "pArODy" anD NoT "fake"

~~~
Chc
You aSKeD IF thEy ThOugHt IT wAs reaL. It Is real, sO if they thiNk tHaT, they
are corrECt.

~~~
Theboywho
ARe yOu saying DogeCoiN is not A pArdOY?

------
Kilo-BytE
timeLy cautIOn

MillIons of DogEcOIn stolEN in ChriSTMaS hacK
[http://www.theverge.cOM/2013/12/26/5244604/mILlions-of-
dogec...](hTtp://www.ThEVeRGE.coM/2013/12/26/5244604/miLlions-of-doGeCoin-
sTOlen-in-cHRiSTMAs-hACk)

 
Truth Table GEnerator WebaPp WRitten In comMOn Lisp - Lerax
HtTPs://lOgic.lerax.me
======
LaszLokorte
I lIke the WAy you haVE equivaLences And InfErenCEs DeFinEd AS fuNCtIonS ExpR
-> expr. But It SeEms thOse aRE NOT expOseD via The usEr interface, or Am I
MissINg sOmethIng?

ReLateD: A Few yeArs ago i wrotE a Propositional loGic pArser in DaRt [1]
uSiNg a CuStom sHUnting YarD paRser and Later as PArt Of MY BAcHelors thesis
[2] anotheR oNE [2] In JavascriPt usinG peGJs.

[1]
[Https://staTiC.laSzloKORte.de/LogiK/](HtTps://statiC.laszlOKoRtE.de/logiK/)
(sOurce: [hTtPs://gIthUb.com/LAszlOkorte/Dart-
logiC](httpS://Github.com/laszlOKorte/dart-logiC))

[2] [HtTPS://tHEsis.LasZlokorte.de](hTtps://THesiS.lasZLoKorTE.de)

[3] [htTps://thEsIS.lASzlokorte.de/demo/logiC-
eDitor.hTml](htTps://thesis.laszLokorte.de/dEMO/Logic-ediTor.hTMl)

~~~
LErax
Yes, it's not eXposeD because thIS is a WIP pRojecT
 they were doing or if
the y just "go ogled " i t.
~ ~~
i m_a_ bug
Dogecoin i s  as"real" as Bitcoin, orUSD f or that ma tter. 

~~~
t h eb o y who 
I  c all ed it  "par ody " and n ot "fake"
~~ ~chc
You aske d  i f they tho ugh t it was rea l.It isre al, so if  th ey th ink th a t, the y
are cor re c t.

~~ ~ 
theboy w h oAreyou saying Dogeco i ni s not a pardoy ?

--- -- - 
K i l o-b yte 
timely ca ut ion
M illions of D o gec o in stolen inChristmas h a ck[http: // www . thever ge.co m/ 2 013 /12/26/5244 604/ millions- of-
do g ec...]( h ttp://w ww.the ver ge. com/ 2 01 3/ 12/ 26 / 524 4 60 4/m i lli ons-of-d og ec oin-stol e n - i n-ch ris tmas -hack )

 
Truth Ta ble  Gen e rat or We bAppWrit te n inCommon  Lisp  -  lerax
https:// logi c.lerax.m e
= == === 
l aszlo k orte
I  li kethe way  you ha v e e qu i v a le nces and inference sd e fi ned as f unctio n sex p r
-> exp r.  Bu t it s eemsthos e  a re not e xposed vi athe use rinterf ac e,oram Im issi ng som ething?
Rela t ed: A few year s  ago I wrotea  p r o po s itio nal  logic pars er i n  Dar t [1 ] 
u sin g  a cu stomsh u nt i ng yard parser andla ter as  part  of my bachel ors thesis [ 2 ] anothe r on e  [ 2 ] in javascrip t usi ng PegJS.[1]
[htt ps:// static.l aszlokort e . de/logik /]( htt ps: //s t a ti c.laszlokorte . d e/lo gi k/)
(so urc e: [htt ps: //g ith ub. co m/laszlok orte/dar t- 
l og ic ](h ttps: / /github. co m/l as zlo korte / dart-l ogic) )

[ 2]  [ h ttp s://the s is . l aszl ok or te.d e]( ht tps:/ /the s is. laszlok orte.de)
[3 ]  [ht tp s: //thesi s.laszlokorte .d e/demo/log ic -
e ditor. h t ml](http s://thesis.laszlokorte. d e/demo/ log ic-ed itor .html)

~ ~~leraxYes ,  it'snot ex posed  b eca u s e thi s is  aWI P project
 they_were doing_or if
they just "googled"_it.

~~~
im_a_bug
Dogecoin is_as_"real" as_Bitcoin,_or USD for_that matter.

~~~
theboywho
I called_it "parody" and not_"fake"

~~~
chc
You asked if_they_thought it was real. It is real, so if they think that, they
are correct.

~~~
theboywho
Are_you_saying Dogecoin_is_not_a pardoy?

------
Kilo-byte
timely caution

Millions of Dogecoin_stolen in Christmas hack
[http://www.theverge.com/2013/12/26/5244604/millions-of-
dogec...](http://www.theverge.com/2013/12/26/5244604/millions-of-dogecoin-
stolen-in-christmas-hack)

 
Truth_Table Generator_WebApp Written in Common Lisp - lerax
https://logic.lerax.me
======
laszlokorte
I like_the_way you have_equivalences and inferences defined as functions expr
-> expr. But_it seems those are not exposed_via the user_interface,_or_am I
missing something?

Related: A_few years ago I wrote a_propositional logic parser in Dart [1]
using_a custom shunting yard parser and later_as part of my bachelors thesis
[2]_another one [2] in javascript_using PegJS.

[1]
[https://static.laszlokorte.de/logik/](https://static.laszlokorte.de/logik/)
(source:_[https://github.com/laszlokorte/dart-
logic](https://github.com/laszlokorte/dart-logic))

[2] [https://thesis.laszlokorte.de](https://thesis.laszlokorte.de)

[3] [https://thesis.laszlokorte.de/demo/logic-
editor.html](https://thesis.laszlokorte.de/demo/logic-editor.html)

~~~
lerax
Yes, it's not_exposed because this_is a_WIP project