ishkabible's Profile User Rating: *****

Reputation: 1683 Grandmaster
Group:
Authors
Active Posts:
5,886 (2.47 per day)
Joined:
03-August 09
Profile Views:
101,695
Last Active:
User is offline 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

Icon   ishkabible 5k posts!

Posts I've Made

  1. 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>
  2. 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.
  3. 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.
  4. 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!
  5. 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

E-mail:
Private
Website URL:
Website URL  http://

Comments

  • (6 Pages)
  • +
  • 1
  • 2
  • 3
  • Last »
  1. Photo

    Martyr2 Icon

    22 Aug 2013 - 10:26
    Just wanted to thank you for my 4000th rep vote back on Aug 12th. Appreciate it!
  2. Photo

    Precise Icon

    18 May 2013 - 13:32
    Hello I would like to speak to you about something important. About a game. email me at [email protected] I dont know how else to get in contact with you. Thanks.
  3. Photo

    Xupicor Icon

    24 Nov 2012 - 01:19
    No witty rep meaning at the moment. Though 1415 AD was memorable, that's the year Jan Hus (John Huss) was burned, an event which pushed his followers (later known as Hussites) to fight. Hussite Wars were a bloody period, but mighty interesting. ;)
  4. Photo

    Xupicor Icon

    21 Nov 2012 - 13:24
    Now your rep says you're "lala" :P That could mean "a doll" where I'm from. Yes, it has more than meaning here too... ;)
    So, how's it going, doll? ;p
  5. Photo

    ishkabible Icon

    10 Sep 2012 - 10:42
    Hey, my rep says I'm 'leet'
  6. Photo

    BenignDesign Icon

    07 Jul 2012 - 05:18
    spelling expret works too!
  7. Photo

    BenignDesign Icon

    06 Jul 2012 - 18:48
    Then I would go legitimately subtle... like "speling expert" or "spelling export" .... drop or change ONE letter... hence, subtle.
  8. Photo

    BenignDesign Icon

    05 Jul 2012 - 10:31
    I don't remember what it said in the first place.
  9. Photo

    BenignDesign Icon

    01 Jul 2012 - 21:15
    Not nearly subtle enough.
  10. Photo

    ishkabible Icon

    30 Jun 2012 - 21:20
    perhaps...it has to be subtle enough though
  11. Photo

    BenignDesign Icon

    30 Jun 2012 - 16:23
    Your title would be WAY funnier if there was a spelling error in it.
  12. Photo

    hulla Icon

    11 Mar 2012 - 08:45
    1K rep :)
  13. Photo

    r.stiltskin Icon

    04 Dec 2011 - 20:19
    Been busy.
  14. Photo

    hulla Icon

    21 Nov 2011 - 08:23
    What's an esoteric hack? O.O
    What's a purely functional programming language? I've never used one before but they sound interesting . . .
  15. Photo

    ishkabible Icon

    22 Oct 2011 - 20:02
    im a "master" now!!
  • (6 Pages)
  • +
  • 1
  • 2
  • 3
  • Last »