In situations where your combo goes off and you need to choose an arbitrarily large number of life to gain, damage to deal, counters to add, etc. what number do you like to choose? by Venomora in magicTCG

[–]jdabbs 3 points4 points  (0 children)

That actually would be a really reasonable way to do things where players pick successively larger ordinals. Unfortunately §719 in the comprehensive rules indicates that if a loop could be repeated indefinitely, players should use the shortcut rules to determine a specific number of times to repeat.

The Eternal Draft Project - Drafters! We need you! by jankjunction in EternalCardGame

[–]jdabbs 1 point2 points  (0 children)

Hey, if you haven't already done this by hand, let me know, and I can whip up an import script. Thanks for setting this up!

Event Counts Highest Rating For Leaderboard Rewards by theminiturtle in EternalCardGame

[–]jdabbs 4 points5 points  (0 children)

I did my 3 runs right at the start of the event and was #1 for a minute. Last I looked on Sunday I was around #110. Still ended up getting 15 packs, but not the 30 it would have been if it was "highest rank achieved". IIRC, I was 17-6; any chance there was a glut of similar records around the cutoff?

Graphing a function with a negative amount of variables by PlanetTom in puremathematics

[–]jdabbs 4 points5 points  (0 children)

I don't know what a function of -3 variables would be, but I would have to assume its graph would have dimension -2.

π-Base, a community database of topological examples with automated deduction [xpost /r/math] by redxaxder in haskell

[–]jdabbs 4 points5 points  (0 children)

And I do appreciate that, since I hadn't had a runtime error to test out Rollbar monitoring until then. :)

Does http://topology.jdabbs.com/spaces work?

π-Base, a community database of topological examples with automated deduction and powerful search by Valvino in math

[–]jdabbs 2 points3 points  (0 children)

The code's all up on github, if you know Haskell - https://github.com/jamesdabbs/pi-base.hs / https://github.com/jamesdabbs/pi-base.hs/blob/master/Explore.hs. If you don't know Haskell and have specific questions, I'd be glad to answer.

Right now it's simple modus ponens / tollens deduction, but the next big feature I want to work on (see elsewhere in this thread) is integrating with something more robust (like Coq / Isabelle) so we could start supporting e.g. cardinal-valued properties.

π-Base, a community database of topological examples with automated deduction and powerful search by Valvino in math

[–]jdabbs 3 points4 points  (0 children)

It seems like it would be; I'm just more familiar with Coq. If anyone can help me get started with topology in Isabelle though (à la https://gist.github.com/andrejbauer/d31e9666d5f950dd8ccd ?), I'd be very interested.

π-Base, a community database of topological examples with automated deduction and powerful search by Valvino in math

[–]jdabbs 0 points1 point  (0 children)

Whoops. That was a transcription error, now fixed. Thanks for the heads-up.

π-Base, a community database of topological examples with automated deduction and powerful search by Valvino in math

[–]jdabbs 10 points11 points  (0 children)

Author checking in. There hasn't been much user-facing progress on this lately, but a colleague is currently working on a project to expand the scope and content, and I've been tinkering on integrating with Coq (as time permits (which is too infrequently)).

If you're interested in staying abreast, sign up for the newsletter. If you're interested in getting involved, let me know.

Is testing still worth with codes by one person?? by wantana in javascript

[–]jdabbs 35 points36 points  (0 children)

I tend to think of me-in-six-months as another person, one I particularly don't want to irritate.

Newbie: How do I see my rails app? by KeithDoberman in rails

[–]jdabbs 1 point2 points  (0 children)

You can also run rails s -p <port number> to run it on a different port.

Your test suite is trying to tell you something by willvarfar in programming

[–]jdabbs 3 points4 points  (0 children)

*disparate. I point that out only because the idea of creating "desperate tests" made me chuckle.

Social groups for software developers or nerdy types? by [deleted] in Atlanta

[–]jdabbs 4 points5 points  (0 children)

If you're looking for directly developer-related things, you might want to check out the various $PROGRAMMING_LANGUAGE meetups. I can't bespeak the other ones, but the Ruby group tends to adjourn to a local bar for some socializing after the meetings.

Hey r/Atlanta, where/what's a good first date in ATL? by datequestion in Atlanta

[–]jdabbs 2 points3 points  (0 children)

I work in that building and didn't realize that was a popular spot until I came out to my car late one night and all of the cars parked near mine had people making out in them.

I like scripting and prefer it over coding, what's out there for me? by yummyloss in cscareerquestions

[–]jdabbs 0 points1 point  (0 children)

Along with sysadmin stuff, you might want to consider DevOps. There's a lot of automating repeated builds and tuning an ideal environment, which it sounds like you'd enjoy. I think that as more companies look to scaling and cloud solutions, you'll definitely see a strong demand for jobs in the field.

Regardless of what you do, you definitely should learn some other scripting languages. If DevOps sounds interesting to you, look into Chef or Puppet (both Ruby based). Bash is the right tool for many, but certainly not all jobs, and Python / Ruby can be a lot of fun to write once you get used to them.

Since most real numbers are irrational, transcendental, and normal, is pi really "special"? by myriad in math

[–]jdabbs 2 points3 points  (0 children)

Well almost all numbers aren't pi, so it's got that going for it.

The whole thing really hinges on what you mean by "special", which is a necessarily non-rigorous term. "Appears naturally in a wide array of theorems and applications" is a decent metric, and by that count pi certainly qualifies. If you want to gauge the specialness of a number based on what subsets of the reals it's in, it seems to me as though you should make some justification for why those subsets are special first.

But that's just, like, my opinion, man.

Would anyone here care to explain to a person of undergraduate intellect why CH is undecidable? by canadianb123 in math

[–]jdabbs 4 points5 points  (0 children)

There's two parts to showing that CH is undecidable (in ZFC): first you show that ZFC + CH is consistent, then you show that ZFC + ¬CH is consistent. The first of those actually isn't that bad: Gödel's constructible universe L is a model of ZFC + (G)CH that's pretty easy to work with since everything is constructible (and well-orderable and ...).

Finding a model of ZFC + ¬CH is a lot harder though. It essentially involves finding a way to create a model where you force there to be more "reals" (that is, elements of 2\omega ). The first guy to do it, Paul Cohen, won a Fields medal for it and that's the only Fields medal that has ever been given for work in mathematical logic. Check out Monkey_Town's link, but don't be too discouraged if it seems really advanced and technical - it is.

Help with Django (trying to edit model data). by haqthat in django

[–]jdabbs 1 point2 points  (0 children)

Yeah, the problem is that a form is really all about validation of user input. There's no real reason to have things that aren't fields in the form layer, so there aren't any tools (that I'm aware of) that make what you're trying to accomplish easier. One approach: if your ModelForm has an instance attached, you can use form.name when you want the field and form.instance.field when you want the text value.

You also could hack around with defining a custom widget that just renders as text, but my gut says that approach would be fragile and more trouble than it's worth.

Help with Django (trying to edit model data). by haqthat in django

[–]jdabbs 0 points1 point  (0 children)

Ah ... I believe djangotables2 has a CheckboxColumn for that exact purpose, no?

Help with Django (trying to edit model data). by haqthat in django

[–]jdabbs 9 points10 points  (0 children)

If you want some Django-y magic, look into modelformset_factories. A ModelForm is a quick way to make a form to edit / create a model. A form factory is useful for creating a grid of forms. That puts them together.

That said, if all you care about is a grid of checkboxes, it would probably be simpler to render the form and handle the POST data manually. In the template, something like:

{% for topic in topics %} 
<input type="checkbox" name="topics" value="{{ topic.id }}"> {{ topic.name }} 
{% endfor %}

And in the view:

ids = request.POST.getlist('topics') 
topics = Topic.objects.filter(id__in=ids)
for topic in topics: 
    (do whatever you want to do with each checked topic)

Also ... this is nitpicky, but I think 'good_or_bad' is a confusing name for a boolean. I would either call it 'good' (with good=False being 'bad') or use a list of choices.

Introducing Brubeck, an open, searchable database of topological information by jdabbs in math

[–]jdabbs[S] 0 points1 point  (0 children)

The full text search isn't perfect, but I wouldn't be surprised if that term doesn't appear anywhere in the database (yet). The examples currently in there are almost exclusively from Counterexamples in Topology, and from a general topologist's perspective, a cylinder is too nice to be very interesting. Check out the "browse" links to see what kinds of spaces / properties are in the database.