Changes

Changes feed

Show: All | Calagator::Events | Calagator::Sources | Calagator::Venues

Time

Attribute with previous and current values

Change #5836

2011-02-07

14:26:50

update Calagator::Event 1250459728 TBD Roll back

title

TBD

→

UpdatePDX monthly meeting

Change #5835

2011-02-07

13:54:45

update Calagator::Event 1250459727 UpdatePDX: Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.org Roll back

description	The second monthly Update Portland meetup. Come here Dan Colish's plans for using Redis and how Michel Pellitier is using Xapian at <a href="http://idealist.org">Idealist.org</a> for full-text search. Please RSVP on the meetup site and <a href="http://groups.google.com/group/update-pdx">sign up for the mailing list</a>.	→	<a href="http://idealist.org">Idealist.org</a> recently rolled out a new support which included a completely re-architectured backend. 3 developers from Idealist.org will be presenting on different components of infrastructure: <strong>Long Talks:</strong> (~30min) * Michel Pellitier on Using Xapain for Full-Text Search * Jason Kirtland on Using RabbitMQ for Pub/Sub <strong>Short Talk:</strong> (~15 min) * Dan Colish on Redis - "If you're not using Redis, you suck" Please RSVP on the meetup site and <a href="http://groups.google.com/group/update-pdx">sign up for the mailing list</a>.
locked	nil	→	false
title	UpdatePDX: Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.org	→	UpdatePDX: Idealist.org Infrastructure - Redis, Xapian, and RabbitMQ

Change #5834

2011-02-07

13:47:39

update Calagator::Event 1250459728 UpdatePDX: Jason Kirtland on AMQP at Idealist Roll back

title

UpdatePDX: Jason Kirtland on AMQP at Idealist

→

TBD

Change #5833

2011-02-07

10:45:34

update Calagator::Event 1250459721 Galois Tech talk: The Strategy Challenge in Computer Algebra Roll back

description	Presented by Grant Passmore. In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms reduce the search space by tailoring its exploration to a particular class of problems. In fully automatic theorem provers, this may happen through formula weights, term orders and quantifier triggers. In interactive proof assistants, one may build strategies by programming tactics and carefully crafting systems of rewrite rules. Given that automated deduction often takes place over undecidable theories, the recognition of a need for strategy is natural and happened early in the field. In computer algebra, the situation is rather different. In computer algebra, the theories one works over are often decidable but inherently infeasible. For instance, the theory of real closed fields (i.e., nonlinear real arithmetic) is decidable, but any full quantifier elimination algorithm for it is guaranteed to have worst-case doubly exponential time complexity. The situation is similar with algebraically closed fields (e.g., through Groebner bases), and many others. Usually, decision procedures arising from computer algebra admit little means for a user to control them. But, when it comes to practical applications, is an infeasible theory really so different from an undecidable one? The Strategy Challenge in Computer Algebra is this: To build theoretical and practical tools allowing users to exert strategic control over the execution of core computer algebra algorithms. In this way, such algorithms may be tailored to specific problem domains. For formal verification efforts, the focus of this challenge upon decision procedures is especially relevant. In this talk, we will motivate this challenge and present two examples from our dissertation: (i) the theory of Abstract Groebner Bases and its use in developing new Groebner basis algorithms tailored to the needs of SMT solvers (joint with Leo de Moura), and (ii) the theory of Abstract Cylindrical Algebraic Decomposition and a family of real quantifier elimination algorithms tailored to the structure of nonlinear real arithmetic problems arising in specific formal verification tool-chains. The former forms the foundation of nonlinear arithmetic in the SMT solver Z3, and the latter forms the basis of our tool RAHD (Real Algebra in High Dimensions).	→	Presented by Grant Passmore. In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms reduce the search space by tailoring its exploration to a particular class of problems. In fully automatic theorem provers, this may happen through formula weights, term orders and quantifier triggers. In interactive proof assistants, one may build strategies by programming tactics and carefully crafting systems of rewrite rules. Given that automated deduction often takes place over undecidable theories, the recognition of a need for strategy is natural and happened early in the field. In computer algebra, the situation is rather different. In computer algebra, the theories one works over are often decidable but inherently infeasible. For instance, the theory of real closed fields (i.e., nonlinear real arithmetic) is decidable, but any full quantifier elimination algorithm for it is guaranteed to have worst-case doubly exponential time complexity. The situation is similar with algebraically closed fields (e.g., through Groebner bases), and many others. Usually, decision procedures arising from computer algebra admit little means for a user to control them. But, when it comes to practical applications, is an infeasible theory really so different from an undecidable one? The Strategy Challenge in Computer Algebra is this: To build theoretical and practical tools allowing users to exert strategic control over the execution of core computer algebra algorithms. In this way, such algorithms may be tailored to specific problem domains. For formal verification efforts, the focus of this challenge upon decision procedures is especially relevant. In this talk, we will motivate this challenge and present two examples from our dissertation: (i) the theory of Abstract Groebner Bases and its use in developing new Groebner basis algorithms tailored to the needs of SMT solvers (joint with Leo de Moura), and (ii) the theory of Abstract Cylindrical Algebraic Decomposition and a family of real quantifier elimination algorithms tailored to the structure of nonlinear real arithmetic problems arising in specific formal verification tool-chains. The former forms the foundation of nonlinear arithmetic in the SMT solver Z3, and the latter forms the basis of our tool RAHD (Real Algebra in High Dimensions).
end_time	2011-02-07 14:30:00 -0800	→	2011-02-07 17:30:00 -0800
locked	nil	→	false
start_time	2011-02-07 13:30:00 -0800	→	2011-02-07 16:30:00 -0800

Change #5832

2011-02-07

00:33:10

create Calagator::Event 1250459767 Portland Ruby Brigade monthly meeting Roll back

description	nil	→	<i>GROUP: The Portland Ruby Brigade is a user group for Ruby programmers in the Portland Oregon area. Join other developers for presentations and discussions about Ruby and its uses. VENUE: This meetingâs space is kindly provided by Robert Half Technology at their 2nd Floor Conference Room. Enter the KOIN Tower from SW Columbia between 2nd and 3rd Avenue, take the back elevators to the 2nd floor, and then follow the pdxruby signs.</i>
end_time	nil	→	2011-05-03 21:00:00 -0700
id	nil	→	1250459767
start_time	nil	→	2011-05-03 19:00:00 -0700
title	nil	→	Portland Ruby Brigade monthly meeting
url	nil	→	http://pdxruby.org/
venue_id	nil	→	202391576

Change #5831

2011-02-06

13:49:12

update Calagator::Event 1250459713 To Be Decided - Agile PDX Roll back

title	To Be Decided - Agile PDX	→	AgilePDX monthly meeting
url	http://xpdx.org	→	http://agilepdx.org

Change #5830

2011-02-06

13:48:57

update Calagator::Event 1250459712 To Be Decided - Agile PDX Roll back

title

To Be Decided - Agile PDX

→

AgilePDX monthly meeting

Change #5829

2011-02-06

10:30:44

create Calagator::Event 1250459766 Portland Werewolf - February Gathering Roll back

description	nil	→	Come out and play at our monthly game of werewolf at the Lucky Lab on Hawthorne. Check out the site for details (http://www.portlandwerewolf.com). Event starts at 6p. Game starts at 7p. If you are planning on coming and want to play please respond with "attending". That way we know who is coming and you are guaranteed to play. Ticket Info: Donations appreciated, for the room rental.
end_time	nil	→	2011-02-09 21:00:00 -0800
id	nil	→	1250459766
source_id	nil	→	996334494
start_time	nil	→	2011-02-09 18:00:00 -0800
title	nil	→	Portland Werewolf - February Gathering
venue_id	nil	→	202390282

Change #5828

2011-02-06

10:29:16

update Calagator::Event 1250459711 Agile Experience Lightning Talks & Chartering Session - Agile PDX Roll back

url

http://xpdx.org

→

http://agilepdx.org

Change #5827

2011-02-06

09:24:06

update Calagator::Event 1250459713 TDB - Agile PDX Roll back

description	TDB This event is free and is at our new location, Puppet Labs. It begins at 6:30 pm with pizza, sponsored by PNSQC (Many thanks to both Puppet Labs and PNSQC for supporting agile in Portland). The program starts at 7:00 pm. After the program you're invited to join us for a no-host gathering at a nearby brewpub for further discussion.	→	To Be Decided This event is free and is at our new location, Puppet Labs. It begins at 6:30 pm with pizza, sponsored by PNSQC (Many thanks to both Puppet Labs and PNSQC for supporting agile in Portland). The program starts at 7:00 pm. After the program you're invited to join us for a no-host gathering at a nearby brewpub for further discussion.
title	TDB - Agile PDX	→	To Be Decided - Agile PDX

Change #5826

2011-02-06

09:23:55

update Calagator::Event 1250459712 TDB - Agile PDX Roll back

description	TDB This event is free and is at our new location, Puppet Labs. It begins at 6:30 pm with pizza, sponsored by PNSQC (Many thanks to both Puppet Labs and PNSQC for supporting agile in Portland). The program starts at 7:00 pm. After the program you're invited to join us for a no-host gathering at a nearby brewpub for further discussion.	→	To Be Decided This event is free and is at our new location, Puppet Labs. It begins at 6:30 pm with pizza, sponsored by PNSQC (Many thanks to both Puppet Labs and PNSQC for supporting agile in Portland). The program starts at 7:00 pm. After the program you're invited to join us for a no-host gathering at a nearby brewpub for further discussion.
title	TDB - Agile PDX	→	To Be Decided - Agile PDX

Change #5825

2011-02-06

09:23:20

destroy Calagator::Event 1250459714 TDB - Agile PDX Roll back

Change #5800

2011-02-05

20:24:09

create Calagator::Event 1250459765 JoomlaPDX User Group Roll back

description	nil	→	<b>This month's topic: What's New in Joomla 1.6</b> ---------- <b>Speaker:</b> Kendall Cabe, co-founder of <a href="http://www.timestwotechnology.com">Times Two Technology</a> and member of the <a href="http://joomlachicago.com">Chicago Joomla User Group</a> ---------- The February 9th meeting of the Joomla Portland Users Group looks to be a great start. Come help kick off the user group and find out what this group is all about. While you are here, learn a bit about Joomla 1.6, the newest version of Joomla! content management system. We'll discuss what's new in 1.6 and what's coming up in future releases. ---------- <b>Schedule:</b> February 9th Meeting Agenda 6:30 pm - Networking and Refreshments 7:00 pm - What is Joomla PDX? Led by Joomla PDX organizers 7:15 pm - Joomla 1.6: What's New and What's coming Led by Kendall Cabe 7:45 pm - After Meeting Networking This group is open to users of all experience levels. Registration is required. For more information <a href="http://joomlapdx.com">visit JoomlaPDX.com</a>
end_time	nil	→	2011-02-09 20:00:00 -0800
id	nil	→	1250459765
start_time	nil	→	2011-02-09 18:30:00 -0800
title	nil	→	JoomlaPDX User Group
url	nil	→	http://joomlapdx.com
venue_id	nil	→	202392367

Change #5798

2011-02-04

21:50:12

update Calagator::Event 1250459711 TDB - Agile PDX Roll back

title

TDB - Agile PDX

→

Agile Experience Lightning Talks & Chartering Session - Agile PDX

Change #5797

2011-02-04

21:45:38

create Calagator::Event 1250459764 Portland Startup Weekend Roll back

description	nil	→	Startup Weekend is coming back to Portland for the 4th time, and we are headed to the suburbs! Prior Portland Startup Weekends have launched companies such as Mugasha, CPUsage and Taggr. The event is a 54 hour sprint where software developers, business people, designers, and other experts go from ideas to full fledged businesses by Sunday night. To learn more, visit www.startupweekend.org.
end_time	nil	→	2011-04-03 21:00:00 -0700
id	nil	→	1250459764
start_time	nil	→	2011-04-01 17:00:00 -0700
title	nil	→	Portland Startup Weekend
url	nil	→	http://portland.startupweekend.org
venue_id	nil	→	202392234

Change #5796

2011-02-04

14:38:04

update Calagator::Event 1250459728 UpdatePDX: Jason Kirtland on AMQP at Idealist Roll back

description

ABOUT THE GROUP: With new databases springing up faster than new food carts this meetup aims to cut through the hype and disseminate knowledge from people who have been using, scaling, and getting-paged-by databases and other systems in production environments. Meetups will be a presentation on someone's experience with a database or related technology in production preceded by 1 or 2 people giving 5 minute lightning talks on technologies they've just begun using and are excited about. Hopefully a few months after giving a lightning talk the speaker will return to present on their experience as the main presentation. If nothing else, come by to have a beer and share war stories with others trying to fight through the hype and keep their systems humming.

→

Change #5795

2011-02-04

14:37:31

update Calagator::Event 1250459727 Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.or<img class="brImage" src="http://img1.meetupstatic.com/img/clear.gif" alt="" width="0" />g Roll back

title

Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.or<img class="brImage" src="http://img1.meetupstatic.com/img/clear.gif" alt="" width="0" />g

→

UpdatePDX: Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.org

Change #5794

2011-02-04

14:36:01

update Calagator::Event 1250459728 Jason Kirtland on AMQP at Idealist Roll back

description	nil	→	ABOUT THE GROUP: With new databases springing up faster than new food carts this meetup aims to cut through the hype and disseminate knowledge from people who have been using, scaling, and getting-paged-by databases and other systems in production environments. Meetups will be a presentation on someone's experience with a database or related technology in production preceded by 1 or 2 people giving 5 minute lightning talks on technologies they've just begun using and are excited about. Hopefully a few months after giving a lightning talk the speaker will return to present on their experience as the main presentation. If nothing else, come by to have a beer and share war stories with others trying to fight through the hype and keep their systems humming.
end_time	nil	→	2011-03-24 20:30:00 -0700
title	Jason Kirtland on AMQP at Idealist	→	UpdatePDX: Jason Kirtland on AMQP at Idealist
venue_id	nil	→	202392011

Change #5793

2011-02-04

11:33:13

update Calagator::Event 1250458992 Open Source Bridge 2011 (tentative) Roll back

title	Open Source Bridge 2011 (tentative)	→	Open Source Bridge 2011
venue_id	202390081	→	202392203

Change #5792

2011-02-04

06:37:20

create Calagator::Event 1250459763 Civic Webs Meetup Roll back

description	nil	→	Come and work with developers, designers, citizens, librarians, statisticians and urban planners to brainstorm and create applications that improve the city you live in. You don't need to process massive data sets, or have knowledge of the latest fancy database. We encourage "small data" projects and creativity in solving problems. Examples of things to do: Projects such as: http://grandmagrandma.com/page/projects Opening data: http://www.opendataday.org Scraping public data: http://scraperwiki.com/search/boston Max Ogden will be co-hacking from Boston, where he's currently placed for his Code for America fellowship.
end_time	nil	→	2011-02-12 17:00:00 -0800
id	nil	→	1250459763
start_time	nil	→	2011-02-12 09:00:00 -0800
title	nil	→	Civic Webs Meetup
venue_id	nil	→	202392061

Change #5791

2011-02-03

19:02:07

create Calagator::Event 1250459762 PDXPUG: Managing Terabytes Roll back

description	nil	→	Selena Deckelmann will be talking about managing terabyte instances of PostgreSQL. This will be a preview of her MySQL Users Conference talk: http://en.oreilly.com/mysql2011/public/schedule/detail/17195 Size can creep up on you. Some day you may wake up to a multi-terabyte Postgres system handling over 3000 tps staring you down. Learn the best ways to manage these systems as they grow, and find out what new features in 9.0 have made life easier for administrators and application developers working with big data. This talk will lead you through solutions to problems Postgres faces when it gets big: backups, transaction wraparound, bloat, huge catalogs and upgrades. You need to monitor the right things, find the gems in DBA-friendly database functions and catalog tables, and know the right places to look to spot problems early. We’ll also go over monitoring best practices and open source tools to get the job done. Working with multiple versions of Postgres back to version 8.2 will be included, and as well as tips on making the most out of new features in 9.0. War stories will be taken from real-world work with Emma, an email marketing company with a few large databases.
end_time	nil	→	2011-02-17 21:00:00 -0800
id	nil	→	1250459762
start_time	nil	→	2011-02-17 19:00:00 -0800
title	nil	→	PDXPUG: Managing Terabytes
url	nil	→	http://www.postgresql.org
venue_id	nil	→	202389965