Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Jan 23 04:58

    siddhartha-gadgil on master

    chomp halts optionally (compare)

  • Jan 23 04:38

    siddhartha-gadgil on master

    always reposting (compare)

  • Jan 23 04:36

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 23 04:22

    siddhartha-gadgil on master

    halting if no failures in chomp Merge branch 'master' of https:… (compare)

  • Jan 23 04:12

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 23 03:54

    siddhartha-gadgil on master

    reposting only for failures (compare)

  • Jan 23 03:43

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 23 03:41

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 23 02:57

    siddhartha-gadgil on master

    chomping with higher cutoff fir… (compare)

  • Jan 22 16:18

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 22 13:32

    siddhartha-gadgil on master

    reporting earlier proofs in par… (compare)

  • Jan 22 13:02

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 22 13:01

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 22 09:30

    siddhartha-gadgil on master

    additional bots in parallel cho… (compare)

  • Jan 22 09:26

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 22 01:07

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 21 12:20

    siddhartha-gadgil on master

    avoiding duplicate proofs (compare)

  • Jan 21 12:19

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 21 09:07

    siddhartha-gadgil on master

    logs updated (compare)

  • Jan 21 01:06

    siddhartha-gadgil on master

    logs updated (compare)

babu-akhil
@babu-akhil
What does +U mean in this definition trait Func[W <: Term with Subs[W], +U <: Term with Subs[U]]
Piotr Paradziński
@lemastero

I'd like to play around with ProvingGround - I am Scala programmer so I thought I will try to address some issue marked as newbie-friendly like this: siddhartha-gadgil/ProvingGround#166
is it a good idea.

Maybe going through this course first: https://stepik.org/course/49181/promo would be better? I did some reading/watching around HoTT before (A. Thorsten lectures etc) but HoTT book is still on my reading list (I failed a few times already) :)

Siddhartha Gadgil
@siddhartha-gadgil
@lemastero sorry I didn't check this chat for a long time.
You are of course most welcome to play around.
Those issues are important, and good to approach as there are tests to avoid breaking anything.
They are a bit intricate as they need a full understanding of recursion and it's implementation
ixaxaar
@ixaxaar
Why scala? would it be more easier to say play around with Agsy of agda given now there also exists agda-cubical and haskell-torch to connect agda with neural networks for auto proof search?
ixaxaar
@ixaxaar
also could i attend some of your lectures without taking up a full time course? :grimacing:
I've been struggling with math for some time now and it would be interesting to take actual classes
some background -> https://www.reddit.com/r/math/comments/hli5lt/lost_in_pure_math_need_direction/
Siddhartha Gadgil
@siddhartha-gadgil
I need a general purpose language since I don't know what I am going to try. Perhaps the special way is better for something, even for everything
Siddhartha Gadgil
@siddhartha-gadgil
Also my lectures in the next semester will be online, so you are welcome to watch
ixaxaar
@ixaxaar
I have been working through some of the assignments, thats how I came to know of this proving-ground, thank you so much for putting them up online!
Also if you meant next semester's lecture recordings that would be amazing, thank you!
Dmytro Mitin
@DmytroMitin
@siddhartha-gadgil would you publish ProvingGround for 2.13? https://mvnrepository.com/artifact/io.github.siddhartha-gadgil
Siddhartha Gadgil
@siddhartha-gadgil
@DmytroMitin I have not published for a while. I shoud do so (I have very little experience with SonaType)
Siddhartha Gadgil
@siddhartha-gadgil
@DmytroMitin just published I hope, and it was easy this time (assuming it worked). The last time I had to set up a PGP key and so on. Being a mathematician largely self-taught in programming, I am wary of build, publish and such tasks.
Dmytro Mitin
@DmytroMitin
Thank you.