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

Pages: 1-4041-

/prog/ is an exciting place

Name: Anonymous 2011-02-23 6:13

Every day, every hour, every minute our world is changing. Each and every one of us takes part in this change. We observe it, we react to it, we cause it. We all come from different parts of this world and we all experiencing a different facet of existence. We all have our own story, our own path from which we came, and yet we all made our way here, to /prog/. No matter where we come from, we all participate in this message board, this evolving world wide programming community. This is why /prog/ is great.

Name: Anonymous 2011-02-23 6:18

One word: LISP.

Name: Anonymous 2011-02-23 6:19

mescaline: the only way to fly

Name: Anonymous 2011-02-23 6:34

Name: Anonymous 2011-02-23 7:41


┏━━━━━━┓    ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓
┃ read ┠──► ┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃
┗━━━━━━┛    ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛
              │           │           │
              ▼           ▼           │
         ┏━━━━━━━━┓    ┏━━━━━━┓       │
         ┃ define ┃    ┃ fibs ┃       │
         ┗━━━━━━━━┛    ┗━━━━━━┛       │
        ┌─────────────────────────────┘
    ▼
      ┏━━━┳━━━┓   ┏━━━┳━━━┓
      ┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──┐
      ┗━┿━┻━━━┛   ┗━┿━┻━━━┛  │
        │      ┌────┼────────┘
        ▼      │    ▼
   ┏━━━━━━━━┓  │  ┏━━━┳━━━┓
   ┃ lambda ┃  │  ┃ ● ┃ ╱ ┃
   ┗━━━━━━━━┛  │  ┗━┿━┻━━━┛
   ┌───────────┘    │
   ▼                ▼
 ┏━━━┳━━━┓        ┏━━━┓
 ┃ ● ┃ ●─╂┐       ┃ n ┃
 ┗━┿━┻━━━┛│       ┗━━━┛
   │      │ ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓  
   ▼      └►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂─┐
┏━━━━━┓     ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │ 
┃ let ┃       │           │           │           │       │
┗━━━━━┛       ▼           │           ▼           ▼       │
           ┏━━━━━━┓ ┌─────┘         ┏━━━━┓      ┏━━━┳━━━┓ │ ┏━━━┳━━━┓   ┏━━━┳━━━┓
           ┃ loop ┃ │    ┏━━━┓      ┃ if ┃      ┃ ● ┃ ●─╂─┼►┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃
           ┗━━━━━━┛ │    ┃ > ┃◄┐    ┗━━━━┛      ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛
  ┌─────────────────┘    ┗━━━┛ └──────────────────┘       │   └───────┐   └─────┐
  ▼       ┌───────────────────────────────────────────────┘           │         ▼
┏━━━┳━━━┓ │ ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓ │ ┏━━━┓ ┏━━━┓
┃ ● ┃ ●─╂─┼►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃ ┌►┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃ └►┃ i ┃ ┃ n ┃
┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━━━┛ ┗━━━┛
  │       │   │           │           │       │   │     ┌─────┘
  ▼       │   └───────┐   └───────┐   └───────┘   ▼     ▼
┏━━━┳━━━┓ │ ┏━━━┳━━━┓ │ ┏━━━┳━━━┓ │ ┏━━━┳━━━┓   ┏━━━┓ ┏━━━┳━━━┓   ┏━━━┳━━━┓
┃ ● ┃ ●─╂─┼►┃ ● ┃ ╱ ┃ └►┃ ● ┃ ●─╂─┼►┃ ● ┃ ╱ ┃   ┃ r ┃ ┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃
┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛   ┗━━━┛ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛
  │     ┌─┼───┼───────────┼───────┘   │                 │           │
  ▼     │ │   ▼           ▼           ▼                 ▼           ▼
┏━━━┓   │ │ ┏━━━┓       ┏━━━┓       ┏━━━┓           ┏━━━━━━━┓     ┏━━━┓
┃ i ┃   │ │ ┃ 0 ┃       ┃ a ┃       ┃ 0 ┃           ┃ quote ┃     ┃ ╱ ┃
┗━━━┛   │ │ ┗━━━┛       ┗━━━┛       ┗━━━┛           ┗━━━━━━━┛     ┗━━━┛
  ┌─────┘ └────────────────┐
  ▼                        ▼
┏━━━┳━━━┓   ┏━━━┳━━━┓    ┏━━━┳━━━┓    ┏━━━┳━━━┓
┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃    ┃ ● ┃ ●─╂───►┃ ● ┃ ╱ ┃
┗━┿━┻━━━┛   ┗━┿━┻━━━┛    ┗━┿━┻━━━┛    ┗━┿━┻━━━┛
  │           │     ┌──────┘            │
  ▼           ▼     ▼                   │
┏━━━┓       ┏━━━┓ ┏━━━┳━━━┓   ┏━━━┳━━━┓ │
┃ b ┃       ┃ 1 ┃ ┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃ │
┗━━━┛       ┗━━━┛ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │
    ┌───────────────┼───────────┼───────┘

Name: Anonymous 2011-02-23 7:41


    ▼               ▼           ▼
  ┏━━━┳━━━┓    ┏━━━━━━━━━┓    ┏━━━┓
  ┃ ● ┃ ●─╂┐   ┃ reverse ┃    ┃ r ┃
  ┗━┿━┻━━━┛│   ┗━━━━━━━━━┛    ┗━━━┛
    │      │
    ▼      ▼
┏━━━━━━┓ ┏━━━┳━━━┓   ┏━━━┳━━━┓
┃ loop ┃ ┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂─────────┐
┗━━━━━━┛ ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┏━━━┓ │
  ┌────────┘           └────────►┃ b ┃ │
  ▼                              ┗━━━┛ │
┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓ ┌────┘
┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┃ │
┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │
  │     ┌─────┼───────────┼───────┘
  ▼     │     ▼           ▼
┏━━━┓   │   ┏━━━┓       ┏━━━┓
┃ + ┃   │   ┃ i ┃       ┃ 1 ┃
┗━━━┛   │   ┗━━━┛       ┗━━━┛
  ┌─────┘
  ▼
┏━━━┳━━━┓   ┏━━━┳━━━┓
┃ ● ┃ ●─╂──►┃ ● ┃ ╱ ┠─────┐
┗━┿━┻━━━┛   ┗━┿━┻━━━┛     │
  │ ┏━━━┳━━━┓ │ ┏━━━┳━━━┓ │ ┏━━━┳━━━┓
  └►┃ ● ┃ ●─╂─┼►┃ ● ┃ ●─╂─┼►┃ ● ┃ ╱ ┃
    ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛
      │       │   │       │   │
      ▼       │   ▼       │   ▼
    ┏━━━┓     │ ┏━━━┓     │ ┏━━━┓
    ┃ + ┃     │ ┃ a ┃     │ ┃ b ┃
    ┗━━━┛     │ ┗━━━┛     │ ┗━━━┛
  ┌───────────┘       ┌───┘
  ▼                   │
┏━━━┳━━━┓   ┏━━━┳━━━┓ │ ┏━━━┳━━━┓
┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂─┼►┃ ● ┃ ╱ ┃
┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │ ┗━┿━┻━━━┛
  │           │       │   │
  ▼           ▼       │   ▼
┏━━━━━━┓    ┏━━━┓     │ ┏━━━┓
┃ cons ┃    ┃ a ┃     │ ┃ r ┃
┗━━━━━━┛    ┗━━━┛ ┌───┘ ┗━━━┛
     ┌────────────┘
     ▼
  ╔══════╗
  ║ eval ║
  ╚══════╝
   ▲    ┃
   ┃    ▼
  ╔═══════╗
  ║ apply ║
  ╚═══════╝
┌─────┘
│  ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓   ┏━━━┳━━━┓
└─►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂──►┃ ● ┃ ●─╂─┐
   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛   ┗━┿━┻━━━┛ │
 ┌───┼───────────┼───────────┼───────────┼───────────┼───────────┼───────┘
 │   ▼           ▼           ▼           ▼           ▼           ▼
 │ ┏━━━┓       ┏━━━┓       ┏━━━┓       ┏━━━┓       ┏━━━┓       ┏━━━┓
 │ ┃ 0 ┃       ┃ 1 ┃       ┃ 1 ┃       ┃ 2 ┃       ┃ 3 ┃       ┃ 5 ┃
 │ ┗━━━┛       ┗━━━┛       ┗━━━┛       ┗━━━┛       ┗━━━┛       ┗━━━┛
 │ ┏━━━┳━━━┓    ┏━━━┳━━━┓    ┏━━━┳━━━┓    ┏━━━┳━━━┓    ┏━━━┳━━━┓    ┏━━━┳━━━┓
 └►┃ ● ┃ ●─╂───►┃ ● ┃ ●─╂───►┃ ● ┃ ●─╂───►┃ ● ┃ ●─╂───►┃ ● ┃ ●─╂───►┃ ● ┃ ╱ ┃
   ┗━┿━┻━━━┛    ┗━┿━┻━━━┛    ┗━┿━┻━━━┛    ┗━┿━┻━━━┛    ┗━┿━┻━━━┛    ┗━┿━┻━━━┛
     │            │            │            │            │            │
     ▼            ▼            ▼            ▼            ▼            ▼
   ┏━━━┓       ┏━━━━┓       ┏━━━━┓       ┏━━━━┓       ┏━━━━┓       ┏━━━━┓
   ┃ 8 ┃       ┃ 13 ┃       ┃ 21 ┃       ┃ 34 ┃       ┃ 55 ┃       ┃ 89 ┃
   ┗━━━┛       ┗━━━━┛       ┗━━━━┛       ┗━━━━┛       ┗━━━━┛       ┗━━━━┛

Name: Anonymous 2011-02-23 8:14

>>1

>Each and every one of us

>We all

>community

That would be cool, if only more than 3 persons visited /prog/ on a regular basis.

Name: VIPPER 2011-02-23 8:31

>>7
Its funny if you consider, i reload /prog/ all 5 minutes, i have no other activities than gaming, programming and world4ch.
One might deduce that world4ch is my only "social" activity, yet still i never manage to say something interesting.

I must be the most autistic person on this planet.

Name: Anonymous 2011-02-23 8:33

>>8
That was a most interesting post.

Name: Anonymous 2011-02-23 8:40

smoke weed everyday

Name: Anonymous 2011-02-23 8:47

smoke dubs everydau

Name: Anonymous 2011-02-23 9:01

>>8
Consider this: A pack of uncouth louts.
Unloungelike, brutish louts nearing your /lounge/ home. Eating your /lounge/ pancakes. Sipping your /lounge/ whiskey.
And you can't do shit since they're ill-mannered. The lout leader grabs your textboard and spams it with his kopipe.
The belligerent louts finally dominate your BBS. They post barbaric threads and you are forced to be their slave.
Such is the downfall of /lounge/.

Name: Anonymous 2011-02-23 9:18

>>5,6
what's that exactly? i'm intrigued.

i know it's a visualization of the memory of a lisp like langauage, what i'm wondering is how do you go about creating it? is it generated? if so, can you post source?

Name: Anonymous 2011-02-23 9:30

>>13
What you're seeing is a ````````codan''''''''.

Name: Anonymous 2011-02-23 11:02

>>13

Those boxes are visualised conses, a cons is a list holding two values, a nil value means that the list terminates.
A cons can point to another cons.
Example of a cons with the first value 5 and then a pointer to another cons which terminates the list with it's nil value:


(cons 4 (cons 5 nil))

Output is a list which looks like this:
'(4 5)

Name: Anonymous 2011-02-23 14:58

>>15
too lisp; didn't read

Name: Anonymous 2011-02-23 15:09

>>15
i know what cons cells are lol, what i'm wondering is: how do you generate the boxes? or did you draw them manually?

in racket you can access the currently defined variables like so:


(define g (cons 1 1))
(namespace-mapped-symbols)
'(procedure ... g ... prop:flat-contract)
(namespace-variable-value 'g)
'(1 . 1)

Name: Anonymous 2011-02-23 19:41

>>17
Drawed manually, of course. Writing something that autogenerates it would take much more time than doing it by hand, but I'm sure it would need to break the 80 character limit (that breaks it just once, with the (< i n)) or making it too much complex.

Actually, it would be a pretty good /prog/ challenge.

Name: Anonymous 2011-02-23 20:00

Drawed

Name: Anonymous 2011-02-23 20:16

>>19
English is not my first language.

Name: Anonymous 2011-02-24 2:19

bamp

Name: Anonymous 2011-02-24 4:17

Name: Anonymous 2011-02-24 4:42

>>20
That's no excuse.

Name: Anonymous 2011-02-24 4:51

>>23
!!!!!@@@##¼łĸłjđIHBTIHBTIHBT!!

Name: Anonymous 2011-02-24 5:15

>>23
Than hax im anus.

Name: Anonymous 2011-02-24 10:01

>>8
I got your back Vipper

Name: Anonymous 2011-02-24 12:32

>>26
GET HIS ANUS AS WELL

Name: Anonymous 2011-02-24 13:25

Every day, every hour, every minute our world is changing. Each and every one of us takes part in this change. We observe it, we react to it, we cause it. We all come from different parts of this world and we all experiencing a different facet of existence. We all have our own story, our own path from which we came, and yet we all made our way here, to /prog/. No matter where we come from, we all participated in this message board, found that there is no one here who knows how to program, then left. This is why /prog/ will never be great.

Name: Anonymous 2011-02-24 18:25

>>28
Nobody can really program in this world, only The Sussman.

Name: Anonymous 2011-02-24 18:38

>>28
Aw man, u don't have to feel left out here. We're all autists here. I got anyone's back, as long as their a loner like me.

Name: Anonymous 2011-02-24 18:38

Err, I meant >>27

Name: Anonymous 2011-02-24 19:37

>>30
AGYU~

Name: Anonymous 2011-02-24 19:41

>>29
Yes. And every programmer out there, man or woman, has the Divine inside them.

The Sussman is within me. I am The Sussman.

Name: Anonymous 2011-02-24 19:48

And to think I found /prog/'s quality to be low in early 2009, right after FV had spent his first stay here and apparently had driven away a signifficant number of good posters. Now I look back to those days and wish they would come back. I can honestly say I've never seem /prog/ in a shittier state than the one it's in now. It's like a mix of /lounge/, /g/ and /halp/. I guess it's my fault too, since I don't really have any interesting ideas to start new threads. Now I feel bad about it. I guess I'll go masturbate for a while.

Name: Anonymous 2011-02-25 2:56

>>32
AGYU?

Name: Anonymous 2011-02-25 16:26

Name: Anonymous 2011-09-19 6:33

bampu

Name: Anonymous 2011-09-19 8:28

nice thread you've got here

Name: VIPPER 2011-09-19 12:35

Yes, i like it too.

Name: Anonymous 2011-09-25 3:13

>>11
Fuck off, spammer.

Name: Anonymous 2013-01-19 23:05

/prog/ will be spammed continuously until further notice. we apologize for any inconvenience this may cause.

Name: Anonymous 2013-08-31 22:34


The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment. The work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory. The work of analysts such as Henri Lebesgue demonstrated the great mathematical utility of set theory, which has since become woven into the fabric of modern mathematics. Set theory is commonly used as a foundational system, although in some areas category theory is thought to be a preferred foundation.

Name: Anonymous 2013-08-31 23:20


Assuming the axiom of choice, multiplication of infinite cardinal numbers is also easy. If either κ or μ is infinite and both are non-zero, then




   
    κ · μ = max(κ, μ)

Name: Anonymous 2013-09-01 0:05


Generalizing finite and the ordinary infinite sequences which are maps from the positive integers leads to mappings from ordinal numbers, and transfinite sequences. Cardinal numbers define the size of sets, meaning how many members they contain, and can be standardized by choosing the first ordinal number of a certain size to represent the cardinal number of that size. The smallest ordinal infinity is that of the positive integers, and any set which has the cardinality of the integers is countably infinite.

Name: Anonymous 2013-09-01 0:50


From this definition, it is clear that a set is a subset of itself; for cases where one wishes to rule out this, the term proper subset is defined. A is called a proper subset of B if and only if A is a subset of B, but B is not a subset of A.

Name: Anonymous 2013-09-01 1:36


Set-theoretic topology studies questions of general topology that are set-theoretic in nature or that require advanced methods of set theory for their solution. Many of these theorems are independent of ZFC, requiring stronger axioms for their proof.

Name: Anonymous 2013-09-01 2:21


There is a set A such that for all functions f (on the set of non-empty subsets of A), there is a B such that f(B) does not lie in B.

Name: Anonymous 2013-09-01 3:06


König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals. (The reason for the term "colloquially", is that the sum or product of a "sequence" of cardinals cannot be defined without some aspect of the axiom of choice.)

Don't change these.
Name: Email:
Entire Thread Thread List