Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon.

Pages: 1-

Category Theory Learning Materials

Name: Anonymous 2013-01-03 4:00

Abstract and Concrete Categories The Joy of Cats http://katmat.math.uni-bremen.de/acc/

Toposes, Triples and Theories http://www.cwru.edu/artsci/math/wells/pub/ttt.html

The Catsters http://www.youtube.com/user/TheCatsters

Name: Anonymous 2013-01-03 4:10

Oppan Lambda Style https://www.youtube.com/watch?v=Ci48kqp11F8

Name: Anonymous 2013-01-03 4:16

PROLOG vs SCHEME vs HASKELL
GO!

Name: Anonymous 2013-01-03 4:17

U MENA HASKAL

Name: Anonymous 2013-01-03 4:20

Learn Prolog Now http://www.learnprolognow.org/

Prolog: A first course http://homepages.inf.ed.ac.uk/pbrna/prologbook/

Logic Programming and Prolog https://www.ida.liu.se/~ulfni/lpp/

Name: Anonymous 2013-01-03 7:20

名状しがたいプログラミング言語のようなもの Nyaruko https://github.com/masarakki/nyaruko_lang

Name: Anonymous 2013-01-03 10:08

>>6
fucking pathetic tard entertainment crap

Name: Anonymous 2013-01-03 10:14

>>7
Still better than Prolog.

Name: Anonymous 2013-01-03 10:17

>>8
youre a total shithead

Name: Anonymous 2013-01-03 10:35

How's prolog performing in real life, considering the compilators available and such?
Just interested...

Name: Anonymous 2013-01-03 10:38

>>9
You're a total snail, Yannick.

>>10
Relations > Functions.

Name: Anonymous 2013-01-03 10:40

>>10
there is new, distributed implementation of prolog available. it's called erlang
it pretty much kicks ass besides syntaxin web-programming field

Name: Anonymous 2013-01-03 10:41

>>11
c'est pas moi, espece de connard scatophage

Name: Anonymous 2013-01-03 10:46

>>10
the surface syntax is shit and the language is somewhat awkward, but there are a lot of great ideas.

Name: Anonymous 2013-01-03 10:51

>>13
I don't even understand French and I understood your post. Why is that, Yannick-kun?

Name: Anonymous 2013-01-03 10:52

>>12
I know Erlang, not impressed by its performance, I get better performance using C alone (the same language the Erlang run-time is implemented in), but the same can be said for C# 4.0, even, so it's not hard. It hurts, I know, but it's a fact. Computers are imperative, one instruction at the time and nothing can eclipse that fact. Then I guess it hurt more when you got told that Ericsson kicked Erlang to the trash can a long time ago.

Name: Anonymous 2013-01-03 10:53

>>15
parce que l'esprit français est entré dans toi à coups de queues dans le cul

Name: Anonymous 2013-01-03 10:54

I get better performance using C alone (the same language the Erlang run-time is implemented in)
Please re-read what you just posted.

In case you still don't see what you just did, that's like saying coal is as strong as carbon fiber because they're both made of carbon.

Name: Anonymous 2013-01-03 11:02

>>17
cul means ANUS, right?

Name: Anonymous 2013-01-03 11:06

>>19
précisement, enculé

Name: Anonymous 2013-01-03 11:11

>>16
get better performance using C alone
that's true for single-threaded numerical methods.
anything mildly multi-threaded, sync-intensive will make your anus bleeding while you reimplement half of erlang in c again.
>Computers are imperative, one instruction at the time
gb2 zx basic, lel
>Ericsson kicked Erlang
never heard about that before. dare to proof?

Name: Anonymous 2013-01-03 11:12

>>18
A small word: "alone", meaning excluding anything else, say beasts like Erlang.

Name: Anonymous 2013-01-03 11:16

>>21
>never heard about that before. dare to proof?
How about reading, hmmm.....GETTING STARTED WITH ERLANG?

Name: Anonymous 2013-01-03 11:18

>>22
Looks like you don't understand.

Of course C alone is going to be faster, that's stupidly obvious. What I'm trying to say is that a VM made in a language X is never going to be faster than language X and therefore it's pointless to compare VM-made-in-X with X. You don't seem to understand that simple fact.

Name: Anonymous 2013-01-03 11:26

>>23
notion of such fact cannot be included in promo-book obviously.
>>24
obvious bullshit. ever heard of jit or pypy or about common lisp beating shit out of crappy c code?

Name: Anonymous 2013-01-03 11:31

>>25

Okay, I'll go now and take a long shit on the toilet, then I'll come back and give you links, proof. Please wait.

Name: Anonymous 2013-01-03 11:36

>>25
Common Lisp has its own compiler. Common Lisp wasn't made in C (at least SBCL).

Name: Anonymous 2013-01-03 12:05

>>26
http://en.wikipedia.org/wiki/Erlang_(programming_language)

Shortly thereafter, Erlang was banned within Ericsson Radio Systems for new products, citing a preference for blah blah blah. The ban caused Armstrong and others to leave Ericsson. The implementation was open sourced at the end of the year. Blah blah blah.

Here you have a commercial operation banning their own shit, firing their own guy, casting it open source (of course to keep their remaining AXD301 clients in Africa operational) and generally being nasty and overall aggressive telling the world that Erlang was a terrible crap shot. It's like they need you to know they'll never pull that shit on you again. *Thanks, we got it!*

Name: Anonymous 2013-01-03 12:10

>>24
You're onto something, but not really, combined with >>21, then yes but still no because it's a generic solution there's seldom any reason to re-implement Erlang. You see if I need a hundred thousand tasks to be implemented and executed on one machine at once, that machine will be earmarked for that task and I'll just fire up good ol' C, allocate an array, a few pthreads....and wouldn't you know it..I'll be processing those tasks faster than you'll be starting erlang.

Name: Anonymous 2013-01-03 12:23

>>29
The 9-9 availability infrastructure nonsense bullshit is just that by the way, I've talked with AXD301 technicians and they tell me plain and simply that they'll install the hardware power it up, write their report and from their on its the local technicians (mostly niggers) problem and that all they hear from it. I figure a 9.9999999% success would be easy to accomplish if that's all there were to it.

Name: Anonymous 2013-01-03 13:28

>>28
Blah blah blah.
it's not ``blah'', you cheap manipulator
The ban at Ericsson was eventually lifted, and Armstrong was re-hired by Ericsson in 2004
commercial operation banning their own shit
means nothing in a corporate background. The reason could be anything from "we better hire an army of cheap and abundant java-niggers" to completely non-related snakepit machinations.
>>30
its the local technicians (mostly niggers) problem
that proves that system was complex yet resilent enough to be maintened by stupid niggers.
>>29
I'll be processing those tasks faster than you'll be starting erlang.
as i've said before that's highly dependent on exact problem. if task are just cpu-hungry, mostly isolated - you win, otherwise you suck balls. i doubt you'll be able to handle io right with your custom solution.
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -