welcome: please sign in

Full Text Search: "linkto:"AdamChlipala""

Results 26 - 47 of 47 results out of about 5851 pages. (1.46 seconds)

RegisteredAgent . . . 1 match
...= Registered agent info = On April 3, 2007, AdamChlipala signed us up with [[http://www.incorp.com/|InCorp]]. Here is the latest registered agent information: In``Corp Services,...

0.6k - rev: 8 (current) last modified: 2011-04-07 17:35:22

OurHistory/ColocationProvidersEvaluation . . . 1 match
...er them, given their much lower rates for colocation at our current modest needs. --AdamChlipala I think that any provider which does not respond in a timely manner should be remo...

6.1k - rev: 34 (current) last modified: 2008-07-07 04:27:59

OurHistory/ColocationPlansServiceProviders . . . 1 match
... member base. 6. [[http://www.simpli.biz/|Simpli]] (my personal favorite so far --AdamChlipala) 7. [[http://www.switchanddata.com/index.asp|Switch and Data]] has many carrier-ne...

4.5k - rev: 33 (current) last modified: 2009-08-26 12:05:12

OnSiteVisits/20080423 . . . 1 match
...edy, JustinLeitgeb {{http://www.schizomaniac.net/hcoop/20080423_adamc_leitgebj_ntk_small.jpg}} Counterfeit candid shot. Left to right: AdamChlipala, JustinLeitgeb, NathanKennedy...

0.4k - rev: 4 (current) last modified: 2009-09-13 11:42:03

NamingConventions . . . 1 match
...w! ''Everything here is open to debate, but let's at least agree on something.'' --AdamChlipala = Informal usage = The informal name for our cooperative is "HCoop," with exactly...

1.0k - rev: 6 (current) last modified: 2011-04-22 22:58:09

MemberManual/Email/EximFilter . . . 1 match
... save $home/Maildir/.HCoop/ endif }}} == Filtering out bogus bounce messages == AdamChlipala found a trick a while back that allows you to filter out bogus bounce messages. ht...

8.4k - rev: 25 (current) last modified: 2020-09-03 21:58:33

MattCarberry/Statement . . . 1 match
...h emphasis on the immediacy of this. However, I think it might be useful to revisit AdamChlipala's idea in his [[Election2008]] speech as a long term goal of HCoop. "Create ano...

2.6k - rev: 4 (current) last modified: 2015-03-18 01:02:14

IrcMeetings/20210417 . . . 1 match
...een suggested for this instead of dealing with formally adopting one before getting AdamChlipala removed as the contact, as he has not been a board member in many years and it's no...

1.9k - rev: 6 (current) last modified: 2021-04-17 14:48:04

IrcMeetings/20110423 . . . 1 match
...tion results * Elect officers * Coordinate transfer of hcoop documents from FrankBynum to the new secretary * Finalize details of `hcoop.net` transfer from AdamChlipala to HCoop...

0.3k - rev: 2 (current) last modified: 2011-04-20 18:08:44

IrcMeetings/20101205 . . . 1 match
... Monthly expenses, member count, deficit size, etc. * Electing a new treasurer (if AdamChlipala still wishes to vacate the position) * Information on treasurer duties from Adam...

0.8k - rev: 14 (current) last modified: 2011-04-23 00:41:11

IrcMeetings/20080419 . . . 1 match
...r whose balance is negative * Agree about removal of the three stale user accounts AdamChlipala mentioned on hcoop-sysadmin * Decide on dues structure for the next few months *...

0.6k - rev: 3 (current) last modified: 2008-07-07 04:28:18

IrcMeetings/20071118 . . . 1 match
... step (mostly #6) can be reverted instantaneously. == New Machine Readiness == * AdamChlipala has finished his non-wishlist items for Domtool. * MichaelOlson finished Mailman s...

5.4k - rev: 25 (current) last modified: 2008-07-07 04:27:55

FinancingIssues . . . 1 match
... own devising, then please record here your name and the details of your offer. * AdamChlipala is willing to make a donation towards this if a few other people agree to split the...

10.4k - rev: 46 (current) last modified: 2012-09-03 06:51:20

EnvironmentalPolicy . . . 1 match
...lly wrong, it should cost less than $100/year to offset most of our CO2 emissions. AdamChlipala says: . I know we discussed this when you first joined, but would you mind rehash...

6.4k - rev: 26 (current) last modified: 2013-03-07 21:59:15

Election2006 . . . 1 match
...revent last-minute nominees from being left off of the ballot. = Nominations = 1. AdamChlipala. Nominated by NathanKennedy. 1. NathanKennedy. Nominated by NathanKennedy. 1. Dav...

3.5k - rev: 10 (current) last modified: 2012-12-20 03:03:42

DomTool/ArchitectureOverview . . . 1 match
...to introduce new bugs. But the result definitely isn't so aesthetically pleasing. --AdamChlipala = Access control lists = As in the cases of so many fancy systems, DomTool has it...

7.8k - rev: 7 (current) last modified: 2013-01-24 05:18:19

DomTool . . . 1 match
... machines = Old pages = * DomainTool describes the previous version of domtool. * DomtoolTwo is the preview added by AdamChlipala before we began migrating to our new servers. ...

1.9k - rev: 23 (current) last modified: 2019-04-27 23:35:57

DeveloperGuidelines . . . 1 match
...ns several modules. Most of them are custom tools implemented in ML and "owned" by AdamChlipala, so that most others won't even need to check them out for modification. However, ...

1.3k - rev: 3 (current) last modified: 2014-03-19 01:23:56

DaemonAdmin/MySQL . . . 1 match
...needs to do things to particular tables, and dbtool isn't run on table creation. --AdamChlipala''' = Steps to perform = == Logical steps == 1. Create user's database volume in...

5.2k - rev: 35 (current) last modified: 2012-04-23 04:19:38

ClintonEbadi . . . 1 match
... (someone has to do it), and the current lead sysadmin / DomTool maintainer / lo-fi AdamChlipala replacement. <<TableOfContents>> = Board Statements = See [[/BoardStatements]] ...

18.2k - rev: 97 (current) last modified: 2021-11-06 17:50:12

CategoryHomepage . . . 1 match
...##master-page:Unknown-Page ##master-date:Unknown-Date #acl -All:write Default #format wiki #language en A category for WikiHomePage''''''s. Known homepages in this category: <<Ful...

0.2k - rev: 1 (current) last modified: 0

AdminGroup . . . 1 match
...m pages on the wiki. It is not a listing of HCoop admins per se. * FrankBynum * AdamChlipala * ClintonEbadi * NathanKennedy * BjörnLindström * RyanMikulovsky * DavorOceli...

0.3k - rev: 9 (current) last modified: 2011-09-17 08:59:11

Previous 1 2