ishkabible's Profile
Reputation: 1683
Grandmaster
 Group:
 Authors
 Active Posts:
 5,886 (2.47 per day)
 Joined:
 03August 09
 Profile Views:
 101,695
 Last Active:
 Yesterday, 06:24 PM
 Currently:
 Offline
Previous Fields
 Country:
 US
 OS Preference:
 Windows
 Favorite Browser:
 Chrome
 Favorite Processor:
 Intel
 Favorite Gaming Platform:
 PC
 Your Car:
 Honda
 Dream Kudos:
 425
Latest Visitors

jon.kiparsky
17 Jan 2016  16:47 
Betsemes
23 Dec 2015  10:23 
tarmizi_adam2005
05 Nov 2015  08:27 
hulla
17 Oct 2015  19:13 
macosxnerd101
27 Sep 2015  18:23 
dhakalyaad@gm...
03 Aug 2015  22:42 
outrageouscoder
13 Jun 2015  01:47 
ndc85430
10 Jun 2015  05:00 
xclite
06 Jun 2015  08:26 
modi123_1
05 Jun 2015  13:01
Posts I've Made

In Topic: [link] NULL is the Worst
Posted 12 Feb 2016
<begin elitest/hipster functional programming fanboy comment>
We've had Option/Maybe in functional programming for decades and no null. We have had the solution for years
</end> 
In Topic: Any recommendations on math reads & exercises before University?
Posted 8 Feb 2016
I think the best thing is to see what all is out there. It took me a long time to find the subject area I was specifically interested beyond "wow this programming stuff is really neat". I didn't think I would be as interested in probability theory as I was (and too date, probability theory is probably the only thing I use calculus for) as I was. I didn't know anything about formal proofs or proof theory but that wound up being on of my favorite areas along with mathematical logic in general.
A good few starting areas to dip your feet in before going to uni:
 Calculus
 Probability
 Formal proofs in propositional logic
 Computability
 Type theory
 Set theory
 Combinatorics
 Graph Theory
 Number Theory
Note I am not suggesting that you learn all of these areas but rather, just read a bit about them and the kinds of problems they help solve. If one sounds interesting, start reading further into it. Focus on the kinds of problems the area solves and not how to solve them at first. If you focus on how to get the solutions first you a) probably won't see the full picture (as is the case with many of my peer's in regards to probability theory) or you will be turned off by the difficulty of solving problems. Specifics are not important at this stage but figuring out what you like is because you are about to invest a lot of time, effort and money (be it yours or someone elses) at uni and going in 100% blind is basically just throwing a portion of value you are purchasing away.  Calculus

In Topic: Help with logic: Rules of Inference
Posted 1 Feb 2016
Just proposing a different way to start here (the way I started my proof of this). I really like doing things by case personally.
Anyhow, first consider the case in which S is true and see if you can conclude what you want. Then assume P is true and see if you can get what you want. Finally you reason that if we can get the same conclusion if either S or P is true then because (S v P) is true the conclusion that holds either way is true. This is the standard way to logically eliminate an or. de Morgan's laws are less natural IMO and more useful for algebraic reasoning than actual thought and proof writing. 
In Topic: Challenge: Interval Arithmetic
Posted 18 Jan 2016
I didn't see your __init__ function correctly. so I tought Interval(self.min, self.max) would produce bounds that went the wrong way, looks good to me now! 
In Topic: Challenge: Interval Arithmetic
Posted 17 Jan 2016
I think that looks pretty good except for 1 minor issue with how you implemented negation. You have the directions backwards I believe.
Ok so now since we have an implementation to play with, we can now do something really really cool. A lot of math that works on regular old numbers now works here as well!!! For instance, consider this function (using Jon's python code).
def con(x): return Interval((x, x)) def pow(x, n): #define a power function for intervals here def aproxSin(x): return pow(x, 3) / con(6) + pow(x, 5) / con(120) + pow(x, 5) / con(5040)
this should come pretty close to computing the sin function for small values. More over we get an error bound out! In fact with just a few basic operations we can derive efficient algorithms for many many kinds of operations!
My Information
 Member Title:
 spelling expret
 Age:
 22 years old
 Birthday:
 September 8, 1993
 Gender:
 Location:
 Marion Ks
 Interests:
 making and playing video games, language design, IRC bots, C++ templates, learning new languages
 Forum Leader:
 C++, Assembly
 Full Name:
 Jake Ehrlich
 Years Programming:
 4
 Programming Languages:

Experienced: C/C++, Lua
Ok: D, Java, Haskell, Python, x86 assembly
Learning: PHP
Contact Information
 Email:
 Private
 Website URL:
 http://
Friends

skyhawk133 
rexsam99 
Splatocaster 
Elcric 
eker676 
Alex6788 
Dogstopper 
anonymous26 
janotte 
megaz 
EnvXOwner 
jeremejazz 
jelskie 
simeesta 
Martyr2 
Gudger 
r.stiltskin 
redrose92 
Tjohns 
D.Mulroy 
Bane.C++ 
RevTorA 
RetardedGe... 
v0rtex 
Ty Meador 
Nikhil_07n 
Anarion 
supercorey 
sudheesh1995 
OLH064 
Narek Baba... 
hulla 
rdhc1330 
aaron1178 
Gorian 
TechDee 
zhenica 
Whizzy 
uautkarsh 
Choscura 
indyarocks 
NeoTifa 
rgfirefly24 
aresh 
fromTheSprawl 
Sodai 
indelako 
geohhot 
raspinudo 
Hatred
Showing 50 random friends of 54 (View all)
Comments
Martyr2
22 Aug 2013  10:26Precise
18 May 2013  13:32Xupicor
24 Nov 2012  01:19Xupicor
21 Nov 2012  13:24So, how's it going, doll? ;p
ishkabible
10 Sep 2012  10:42BenignDesign
07 Jul 2012  05:18BenignDesign
06 Jul 2012  18:48BenignDesign
05 Jul 2012  10:31BenignDesign
01 Jul 2012  21:15ishkabible
30 Jun 2012  21:20BenignDesign
30 Jun 2012  16:23hulla
11 Mar 2012  08:45r.stiltskin
04 Dec 2011  20:19hulla
21 Nov 2011  08:23What's a purely functional programming language? I've never used one before but they sound interesting . . .
ishkabible
22 Oct 2011  20:02